Towards a Formal Framework for Product Line Test Development

Product line test development is more complicated than the conventional test development for a single application. There were numerous research works in the past that address various issues and aspects that arise in product line testing and test development. However, we still lack a coherent framework that can guide product line test development and link various product line development concepts to relevant product line testing concepts. In this paper we provide a basis for a formal framework for product line test development by linking product line development concepts such as feature, variability, product line architecture, component and use case scenario to product line test concepts such as test architecture, variability for test and test scenario and by providing a systematic way for deriving product line tests, adapting product line tests to a specific product and deriving product specific tests.