Pairwise testing for software product lines: comparison of two approaches

被引:66
作者
Perrouin, Gilles [1 ]
Oster, Sebastian [2 ]
Sen, Sagar [3 ]
Klein, Jacques [4 ,5 ]
Baudry, Benoit [6 ]
le Traon, Yves [4 ,5 ]
机构
[1] Univ Namur, PReCISE, B-5000 Namur, Belgium
[2] Tech Univ Darmstadt, Real Time Syst Grp, Darmstadt, Germany
[3] INRIA Sophia Antipolis, F-06902 Sophia Antipolis, France
[4] Univ Luxembourg, SnT, Luxembourg, Luxembourg
[5] Univ Luxembourg, LASSY, Luxembourg, Luxembourg
[6] IRISA INRIA Rennes Bretagne Atlantique, Triskell Team, Rennes, France
关键词
Model-based engineering and testing; Test generation; t-wise and pairwise; Software product lines; Alloy; COMBINATORIAL; MODELS;
D O I
10.1007/s11219-011-9160-9
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability, which in turn leads to combinatorial explosion of the number of derivable products. Exhaustive testing in such a large products space is hardly feasible. Hence, one possible option is to test SPLs by generating test configurations that cover all possible t feature interactions (t-wise). It dramatically reduces the number of test products while ensuring reasonable SPL coverage. In this paper, we report our experience on applying t-wise techniques for SPL with two independent toolsets developed by the authors. One focuses on generality and splits the generation problem according to strategies. The other emphasizes providing efficient generation. To evaluate the respective merits of the approaches, measures such as the number of generated test configurations and the similarity between them are provided. By applying these measures, we were able to derive useful insights for pairwise and t-wise testing of product lines.
引用
收藏
页码:605 / 643
页数:39
相关论文
共 59 条
[1]  
[Anonymous], THESIS TU MUNICH
[2]  
[Anonymous], 2006, Introduction to Data Mining
[3]  
[Anonymous], 1995, QUALITY ENG USING RO
[4]  
[Anonymous], 2004, SIGSOFT SOFTWARE ENG
[5]  
[Anonymous], P 22 IEEE ACM INT C
[6]  
Batory D, 2005, LECT NOTES COMPUT SC, V3714, P7
[7]  
BATORY D, 2006, COMMUNICATIONS ACM
[8]   Automated analysis of feature models 20 years later: A literature review [J].
Benavides, David ;
Segura, Sergio ;
Ruiz-Cortes, Antonio .
INFORMATION SYSTEMS, 2010, 35 (06) :615-636
[9]   A comparison between SAT and CSP techniques [J].
Bennaceur, H .
CONSTRAINTS, 2004, 9 (02) :123-138
[10]  
Berger T., 2010, P IEEE ACM INT C AUT