Page 265 - 《软件学报》2024年第6期

向毅 等: 基于多样性 SAT 求解器和新颖性搜索的软件产品线测试 2841

2648532]
[8] Varshosaz M, Al-Hajjaji M, Thüm T, Runge T, Mousavi MR, Schaefer I. A classification of product sampling for software product lines.
In: Proc. of the 22nd Int’l Systems and Software Product Line Conf. (Vol. 1). Gothenburg: Association for Computing Machinery, 2018.
1–13. [doi: 10.1145/3233027.3233035]
[9] Cohen MB, Dwyer MB, Shi JF. Constructing interaction test suites for highly-configurable systems in the presence of constraints: A
greedy approach. IEEE Trans. on Software Engineering, 2008, 34(5): 633–650. [doi: 10.1109/TSE.2008.50]
[10] Johansen MF, Haugen Ø, Fleurey F. Properties of realistic feature models make combinatorial testing of product lines feasible. In: Proc.
of the 14th Int’l Conf. on Model Driven Engineering Languages and Systems. Wellington: Springer, 2011. 638–652. [doi: 10.1007/978-3-
642-24485-8_47]
[11] Lopez-Herrejon RE, Fischer S, Ramler R, Egyed A. A first systematic mapping study on combinatorial interaction testing for software
product lines. In: Proc. of the 8th IEEE Int’l Conf. on Software Testing, Verification and Validation Workshops (ICSTW). Graz: IEEE,
2015. 1–10. [doi: 10.1109/ICSTW.2015.7107435]
[12] Kuhn DR, Wallace DR, Gallo AM. Software fault interactions and implications for software testing. IEEE Trans. on Software
Engineering, 2004, 30(6): 418–421. [doi: 10.1109/TSE.2004.24]
[13] Cohen MB, Dwyer MB, Shi JF. Interaction testing of highly-configurable systems in the presence of constraints. In: Proc. of the 2007 Int’l
Machinery, 2013. 26–36. [doi: 10.1145/2491411.2491436]
Symp. on Software Testing and Analysis. London: Association for Computing Machinery, 2007. 129 –139. [doi: 10.1145/1273463.
1273482]
[14] Garvin BJ, Cohen MB, Dwyer MB. Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical
Software Engineering, 2011, 16(1): 61–102. [doi: 10.1007/s10664-010-9135-7]
[15] Johansen MF, Haugen Ø, Fleurey F. An algorithm for generating T-wise covering arrays from large feature models. In: Proc. of the 16th
Int ’l Software Product Line Conf. (Vol. 1). Salvador: Association for Computing Machinery, 2012. 46 –55. [doi: 10.1145/2362536.
2362547]
[16] Borazjany MN, Yu LB, Lei Y, Kacker R, Kuhn R. Combinatorial testing of ACTS: A case study. In: Proc. of the 5th IEEE Int’l Conf. on
Software Testing, Verification and Validation. Montreal: IEEE, 2012. 591–600. [doi: 10.1109/ICST.2012.146]
[17] Al-Hajjaji M, Krieter S, Thüm T, Lochau M, Saake G. IncLing: Efficient product-line testing using incremental pairwise sampling. In:
Proc. of the 2016 ACM SIGPLAN Int’l Conf. on Generative Programming: Concepts and Experiences. Amsterdam: Association for
Computing Machinery, 2016, 144–155. [doi: 10.1145/2993236.2993253]
[18] Pett T, Thüm T, Runge T, Krieter S, Lochau M, Schaefer I. Product sampling for product lines: The scalability challenge. In: Proc. of the
23rd Int’l Systems and Software Product Line Conf. (Vol. A). Paris: Association for Computing Machinery, 2019. 78–83. [doi: 10.1145/
3336294.3336322]
[19] Medeiros F, Kästner C, Ribeiro M, Gheyi R, Apel S. A comparison of 10 sampling algorithms for configurable systems. In: Proc. of the
38th IEEE/ACM Int’l Conf. on Software Engineering (ICSE). Austin: IEEE, 2016. 643–654. [doi: 10.1145/2884781.2884793]
[20] Henard C, Papadakis M, Perrouin G, Klein J, Heymans P, Le Traon Y. Bypassing the combinatorial explosion: Using similarity to
generate and prioritize T-wise test configurations for software product lines. IEEE Trans. on Software Engineering, 2014, 40(7): 650–670.
[doi: 10.1109/TSE.2014.2327020]
[21] She S, Lotufo R, Berger T, Wasowski A, Czarnecki K. Reverse engineering feature models. In: Proc. of the 33rd Int’l Conf. on Software
Engineering. Waikiki: ACM. 2011. 461–470. [doi: 10.1145/1985793.1985856]
[22] Kuhn R, Lei Y, Kacker R. Practical combinatorial testing: Beyond pairwise. IT Professional, 2008, 10(3): 19–23. [doi: 10.1109/MITP.
2008.54]
[23] Petke J, Yoo S, Cohen MB, Harman M. Efficiency and early fault detection with lower and higher strength combinatorial interaction
testing. In: Proc. of the 9th Joint Meeting on Foundations of Software Engineering. Saint Petersburg: Association for Computing
[24] Reisner E, Song C, Ma KK, Foster JS, Porter A. Using symbolic evaluation to understand behavior in configurable software systems. In:
Proc. of the 32nd ACM/IEEE Int’l Conf. on Software Engineering (Vol. 1). Cape Town: Association for Computing Machinery, 2010.
445–454 [doi: 10.1145/1806799.1806864]
[25] Cartaxo EG, Machado PDL, Neto FGO. On the use of a similarity function for test case selection in the context of model-based testing.
Software Testing, Verification and Reliability, 2011, 21(2): 75–100. [doi: 10.1002/stvr.413]
[26] Hemmati H, Briand L. An industrial investigation of similarity measures for model-based test case selection. In: Proc. of the 21st IEEE
Int’l Symp. on Software Reliability Engineering. San Jose: IEEE, 2010. 141–150. [doi: 10.1109/ISSRE.2010.9]
[27] Hemmati H, Arcuri A, Briand L. Achieving scalable model-based testing through test case diversity. ACM Trans. on Software