Reusable Test Requirements for UML-Modeled Product Lines

Abstract

The object paradigm is increasingly being used in the construction of both centralized and distributed systems and is a key aspect of the current trend for model-driven architectures. In this paper, we present an approach to natural expression of test requirements and to formal validation in a UML-based development process which takes advantage of product lines (PL) specificities. We proceed by building behavioral test patterns (i.e. the test requirements) as combinations of use-case scenarios, these scenarios being product-independent and therefore constituting reusable PL assets. We then present a method for automated synthesis of test cases for specific products from these product-independent behavioral test patterns and product-specific design models, remaining entirely within the UML framework. We illustrate our approach using a virtual meeting PL case study. 1