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.


  • A revised and extended version of this work appeared in VirLibComNet05

FormForVirtualLibrary edit

Title UCM-Based Generation of Test Goals
Authors D. Amyot, M. Weiss, and L. Logrippo
Type Conference
Conference/Journal Title ISSRE'04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL)
Month November
Year 2004
Keywords Formal specification, Scenario, Testing, Testing pattern, Use Case Map
Topic attachments
I Attachment Action Size Date Who Comment
WITUL04.pdfpdf WITUL04.pdf manage 138 K 11 Oct 2005 - 13:58 DanielAmyot Paper
WITUL04-pres.pptppt WITUL04-pres.ppt manage 546 K 11 Oct 2005 - 13:59 DanielAmyot Accompanying presentation
Topic revision: r1 - 11 Oct 2005, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback