You are here: UCM Web>UCMVirtualLibrary>VirLibWitul04 (11 Oct 2005)


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.


Form For Virtual Library 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
pptppt WITUL04-pres.ppt manage 546.0 K 11 Oct 2005 - 13:59 Daniel Amyot Accompanying presentation
pdfpdf WITUL04.pdf manage 138.6 K 11 Oct 2005 - 13:58 Daniel Amyot Paper
Topic revision: r1 - 11 Oct 2005 - 14:00:18 - Daniel Amyot
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