MoSo-PoLiTe - Tool support for pairwise and model-based software product line testing

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 79-82

  Oster, Sebastian ^a   Zorcic, Ivan ^a   Markert, Florian ^a   Lochau, Malte ^b  

^a Technische Universität   (Germany)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Feature model; Pure::variants; Reusable test model

Indexed keywords

COMBINATORIAL TESTING; COMMERCIAL IMPLEMENTATION; COMMERCIAL TOOLS; FEATURE MODELS; INDUSTRIAL COOPERATION; MINIMAL SUBSET; MODEL BASED TESTING; MODEL-BASED; MODEL-BASED TEST; OPEN-SOURCE MODEL; PAIRWISE INTERACTION; PURE::VARIANTS; SOFTWARE PRODUCT LINE; TEST MODELS; TESTING SOFTWARE; TOOL SUPPORT;

EQUIPMENT; FEATURE EXTRACTION; NETWORK ARCHITECTURE; SOFTWARE DESIGN;

COMPUTER SOFTWARE REUSABILITY;

EID: 79952832435     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1944892.1944901     Document Type: Conference Paper

References (15)

1. A. Bertolino and S. Gnesi, "Use case-based testing of product lines, " SIGSOFT Softw. Eng. Notes, vol. 28, no. 5, pp. 355-358, 2003.
2. feasiPLe Consortium, "www.feasiple.de, " 2006-2009. [Online]. Available: www.feasiple.de.
3. A. Gonzalez and C. Luna, "Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities, " in Proc. of the Int. Conf. of the Chilean Computer Science Society, Washington, DC, USA, 2008, pp. 32-41.
4. H. Grönniger, H. Krahn, C. Pinkernell, and B. Rumpe, "Modeling Variants of Automotive Systems using Views, " in Modellierung, 2008.
5. J. Hartmann, M. Vieira, and A. Ruder, "A UML-based Approach for Validating Product Lines, " in Proc. of the Int. Ws on Software Product Line Testing, B. Geppert, C. Krueger, and J. Li, Eds., 2004, pp. 58-65.
6. J. D. McGregor, "Testing a software product line, " Tech. Rep. CMU/SEI-2001-TR-022, 2001.
7. E. M. Olimpiew, "Model-Based Testing for Software Product Lines, " Ph.D. dissertation, George Mason University, 2008.
8. S. Oster, F. Markert, and P. Ritter, "Automated Incremental Pairwise Testing of Software Product Lines, " in Proc. of the 14th International Software Product Line Conference, 2010.
9. S. Oster, A. Wübbeke, G. Engels, and A. Schürr, "Model-Based Software Product Lines Testing Survey, " in Model-based Testing for Embedded Systems, J. Zander, I. Schieferdecker, and P. Mosterman, Eds. CRC Press/Taylor&Francis, 2010, to appear.
10. G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. L. Traon, "Automated and scalable t-wise test case generation strategies for software product lines, " in Third International Conference on Software Testing, Verification and Validation, 2010, pp. 459-468.
11. A. Reuys, E. Kamsties, K. Pohl, and S. Reis, "Model-based System Testing of Software Product Families, " in CAiSE, 2005, pp. 519-534. (Pubitemid 41336125)
12. K. Scheidemann, "Verifying families of system configurations, " PhD Thesis, TU Munich 2007.
13. N. Szasz and P. Vilanova, "Statecharts and Variabilities, " in In Proc. of 2nd Int. Ws on. Variability Modelling of Software-intensive Systems, 2008, pp. 131-140.
14. A. Wasowski, "Automatic Generation of Program Families by Model Restrictions, " in SPLC, 2004, pp. 73-89.
15. S. Weißleder, D. Sokenou, and H. Schlingloff, "Reusing State Machines for Automatic Test Generation in Product Lines, " in Proceedings of the 1st Workshop on Model-based Testing in Practice (MoTiP2008), 2008.