Automated requirements-based generation of test cases for product families

• Published in: 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings pp. 263 - 266
• Main Authors: Nebut, Clémentine, Pickin, Simon, Traon, Yves Le, Jézéquel, Jean-Marc
• Format: Conference Proceeding
• Language: English
• Published: Piscataway, NJ, USA IEEE Press 06.10.2003; IEEE
• Series: ACM Conferences
• Subjects: Automatic test pattern generation; Automatic testing; Automation; Computer aided software engineering; Defense industry; Software and its engineering; Software and its engineering > Software creation and management; Software and its engineering > Software creation and management > Software verification and validation; Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis; Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging; Software engineering; Software testing; Subcontracting; Test pattern generators; Unified modeling language
• ISBN: 0769520359; 9780769520353
• ISSN: 1938-4300
• DOI: 10.1109/ASE.2003.1240317

Software product families (PF) are becoming one of the key challenges of software engineering. Despite recent interest in this area, the extent to which the close relationship between PF and requirements engineering is exploited to guide the V&V tasks is still limited. In particular, PF processes generally lack support for generating test cases from requirements. In this paper, we propose a requirements-based approach to functional testing of product lines, based on a formal test generation tool. Here, we outline how product-specific test cases can be automatically generated from PF functional requirements expressed in UML. We study the efficiency of the generated test cases on a case study.