Generation of test purposes from use case maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Advanced steps with standardized languages in the re-engineering process
Computer Standards & Interfaces
Generation of test purposes from Use Case Maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Enhanced use case map traversal semantics
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Composition of use cases using synchronization and model checking
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
UCM-Driven testing of web applications
SDL'05 Proceedings of the 12th international conference on Model Driven
Towards integrated tool support for the user requirements notation
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Hi-index | 0.00 |
The Use Case Map (UCM) notation is being standardizedas part of the User Requirements Notation(URN), the most recent addition to ITU-T's family of languages.UCM models describe functional requirementsand high-level designs with causal paths superimposed ona structure of components. The generation of individualscenarios from UCM specifications enables the validationof requirements and facilitates the transition from requirementsto design. In this paper, we address the challengesfaced during the automated generation of such scenarios.Scenario definitions and traversal algorithms arefirst used to extract individual scenarios from UCMs andto store them as XML files. Transformations to other scenariolanguages (for instance, Message Sequence Charts)are then achieved using XSLT. Possible applications ofthis two-step generation process include early validationand synthesis of design models. Illustrative examples aregiven based on our current tools and recent experiments.