Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing

Lopez-Herrejon, R. E., Chicano F., Ferrer J., Egyed A., & Alba E. (2013). Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing. 2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013. 404–407.Software Product Lines (SPLs) are families of related software products, which usually provide a large number of feature combinations, a fact that poses a unique set of challenges for software testing. Recently, many SPL testing approaches have been proposed, among them pair wise combinatorial techniques that aim at selecting products to test based on the pairs of feature combinations such products provide. These approaches regard SPL testing as an optimization problem where either coverage (maximize) or test suite size (minimize) are considered as the main optimization objective. Instead, we take a multi-objective view where the two objectives are equally important. In this exploratory paper we propose a zero-one mathematical linear program for solving the multi-objective problem and present an algorithm to compute the true Pareto front, hence an optimal solution, from the feature model of a SPL. The evaluation with 118 feature models revealed an interesting trade-off between reducing the number of constraints in the linear program and the runtime which opens up several venues for future research.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Austrian Science Fund (FWF) project P21321-N15 and Lise Meitner Fellowship M1421-N15. Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2011-28194 and fellowship BES-2012-055967

Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines

Lopez-Herrejon, R. Erick, Ferrer J., Chicano F., Egyed A., & Alba E. (2014). Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines. Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2014, Beijing, China, July 6-11, 2014. 387–396.Software Product Lines (SPLs) are families of related software products, each with its own set of feature combinations. Their commonly large number of products poses a unique set of challenges for software testing as it might not be technologically or economically feasible to test of all them individually. SPL pairwise testing aims at selecting a set of products to test such that all possible combinations of two features are covered by at least one selected product. Most approaches for SPL pairwise testing have focused on achieving full coverage of all pairwise feature combinations with the minimum number of products to test. Though useful in many contexts, this single-objective perspective does not reflect the prevailing scenario where software engineers do face trade-offs between the objectives of maximizing the coverage or minimizing the number of products to test. In contrast and to address this need, our work is the first to propose a classical multi-objective formalisation where both objectives are equally important. In this paper, we study the application to SPL pairwise testing of four classical multi-objective evolutionary algorithms. We developed three seeding strategies — techniques that leverage problem domain knowledge — and measured their performance impact on a large and diverse corpus of case studies using two well-known multi-objective quality measures. Our study identifies the performance differences among the algorithms and corroborates that the more domain knowledge leveraged the better the search results. Our findings enable software engineers to select not just one solution (as in the case of single-objective techniques) but instead to select from an array of test suite possibilities the one that best matches the economical and technological constraints of their testing context.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Austrian Science Fund (FWF) project P25289- N15 and Lise Meitner Fellowship M1421-N15. Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2011-28194 and fellowship BES-2012-055967. Project 8.06/5.47.4142 in collaboration with the VSB-Tech. Univ. of Ostrava and Universidad de Málaga, Andalucía Tech

A parallel evolutionary algorithm for prioritized pairwise testing of software product lines

Lopez-Herrejon, R. Erick, Ferrer J., Chicano F., Haslinger E. Nicole, Egyed A., & Alba E. (2014). A parallel evolutionary algorithm for prioritized pairwise testing of software product lines. (Arnold, D. V., Ed.).Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014. 1255–1262.Software Product Lines (SPLs) are families of related software systems, which provide different feature combinations. Different SPL testing approaches have been proposed. However, despite the extensive and successful use of evolutionary computation techniques for software testing, their application to SPL testing remains largely unexplored. In this paper we present the Parallel Prioritized product line Genetic Solver (PPGS), a parallel genetic algorithm for the generation of prioritized pairwise testing suites for SPLs. We perform an extensive and comprehensive analysis of PPGS with 235 feature models from a wide range of number of features and products, using 3 different priority assignment schemes and 5 product prioritization selection strategies. We also compare PPGS with the greedy algorithm prioritized-ICPL. Our study reveals that overall PPGS obtains smaller covering arrays with an acceptable performance difference with prioritized-ICPL.Austrian Science Fund (FWF) project P25289-N15 and Lise Meitner Fellowship M1421-N15. Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2011-28194 and fellowship Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.BES-2012-055967. Project 8.06/5.47.4142 in collaboration with the VSB-Tech. Univ. of Ostrava and Universidad de Málaga, Andalucía Tech

Production of α\alpha-particle condensate states in heavy-ion collisions

The fragmentation of quasi-projectiles from the nuclear reaction $^{40}Ca$ + $^{12}C$ at 25 MeV/nucleon was used to produce excited states candidates to $\alpha$-particle condensation. The experiment was performed at LNS-Catania using the CHIMERA multidetector. Accepting the emission simultaneity and equality among the $\alpha$-particle kinetic energies as experimental criteria for deciding in favor of the condensate nature of an excited state, we analyze the $0_2^+$ and $2_2^+$ states of $^{12}$C and the $0_6^+$ state of $^{16}$O. A sub-class of events corresponding to the direct 3-$\alpha$ decay of the Hoyle state is isolated.Comment: contribution to the 2nd Workshop on "State of the Art in Nuclear Cluster Physics" (SOTANCP2), Universite Libre de Bruxelles (Belgium), May 25-28, 2010, to be published in the International Journal of Modern Physics

Diffusion tensor imaging metrics associated with future disability in multiple sclerosis

The relationship between brain diffusion microstructural changes and disability in multiple sclerosis (MS) remains poorly understood. We aimed to explore the predictive value of microstructural properties in white (WM) and grey matter (GM), and identify areas associated with mid-term disability in MS patients. We studied 185 patients (71% female; 86% RRMS) with the Expanded Disability Status Scale (EDSS), timed 25-foot walk (T25FW), nine-hole peg test (9HPT), and Symbol Digit Modalities Test (SDMT) at two time-points. We used Lasso regression to analyse the predictive value of baseline WM fractional anisotropy and GM mean diffusivity, and to identify areas related to each outcome at 4.1 years follow-up. Motor performance was associated with WM (T25FW: RMSE = 0.524, R2 = 0.304; 9HPT dominant hand: RMSE = 0.662, R2 = 0.062; 9HPT non-dominant hand: RMSE = 0.649, R2 = 0.139), and SDMT with GM diffusion metrics (RMSE = 0.772, R2 = 0.186). Cingulum, longitudinal fasciculus, optic radiation, forceps minor and frontal aslant were the WM tracts most closely linked to motor dysfunction, and temporal and frontal cortex were relevant for cognition. Regional specificity related to clinical outcomes provide valuable information that can be used to develop more accurate predictive models that could improve therapeutic strategies

Isospin transport in 84Kr + 112,124Sn collisions at Fermi energies

Isotopically resolved fragments with Z<=20 have been studied with high resolution telescopes in a test run for the FAZIA collaboration. The fragments were produced by the collision of a 84Kr beam at 35 MeV/nucleon with a n-rich (124Sn) and a n-poor (112Sn) target. The fragments, detected close to the grazing angle, are mainly emitted from the phase-space region of the projectile. The fragment isotopic content clearly depends on the n-richness of the target and it is a direct evidence of isospin diffusion between projectile and target. The observed enhanced neutron richness of light fragments emitted from the phase-space region close to the center of mass of the system can be interpreted as an effect of isospin drift in the diluted neck region.Comment: 8 pages, 7 figure