Abstract

The Use Case Map (UCM) scenario notation can be used to model service requirements and high-level designs for reactive and distributed systems. It is then a natural candidate for use in the process of generating requirement-directed test suites. We survey several approaches for deriving test goals from UCM models. We distinguish three main approaches. The first approach is based on testing patterns, the second one on UCM scenario definitions, and the third one on transformations to formal specifications (e.g., in LOTOS). Several techniques will be briefly illustrated and compared in terms of quality of the test goals obtained, ease of use, and tool support. We also identify challenges in generating test cases from UCMs (as opposed to test goals) as well as opportunities for improving UCM-based testing.

Discussion

• A revised and extended version of this work appeared in Vir Lib Com Net 05