Concurrent and Compositional Generation of Test Plans from Use Cases
📜 Abstract
This paper presents a framework for generating test plans concurrently and compositionally from use cases. The framework is based on systematic formalization of use cases and an associated semantic model that enables the derivation of test goals and test scenarios. The approach is exemplified by a series of steps beginning from the informal use case descriptions during the requirements engineering phase, their formalization, and the derivation of executable test plans. The framework supports verification and validation activities by ensuring the completeness and consistency of test plans.
✨ Summary
This paper introduces a framework for the generation of test plans from use cases, supporting concurrent and compositional testing methodologies. The authors detail a formalized approach that begins with informal use case descriptions, which are then systematically translated into formal specifications allowing for the derivation of specific test goals and scenarios. The framework provided aims to enhance verification and validation efforts by ensuring comprehensive and consistent test plan development.
The paper does not seem to have been widely cited or directly influential in subsequent literature, which suggests its impact on the field may be limited. While these methodologies may be beneficial in improving testing processes, no significant references indicate widespread adaptation or further development. If there are influences, they have not been prominent in leading databases or publications and remain obscured in this context without additional direct citations found through supplementary searches.