Use case maps for object-oriented systems
Use case maps for object-oriented systems
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Art of Software Testing
Graphic visualization and animation of LOTOS execution traces
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
End-To-End Integration Testing Design
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Formal Approach to Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Structural Coverage For LOTOS - a Probe Insertion Technique
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Autolink: A Tool for Automatic Test Generation from SDL Specifications
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Introduction to the user requirements notation: learning by example
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Specification and validation of telecommunications systems with use case maps and lotos
Specification and validation of telecommunications systems with use case maps and lotos
Generating Scenarios from Use Case Map Specifications
QSIC '03 Proceedings of the Third International Conference on Quality Software
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Scenario-based performance engineering with UCMNAV
SDL'03 Proceedings of the 11th international conference on System design
Synthesizing SDL from use case maps: an experiment
SDL'03 Proceedings of the 11th international conference on System design
Applying reduction techniques to software functional requirement specifications
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
Computer Communications
Using coverage to automate and improve test purpose based testing
Information and Software Technology
| Hi-index | 0.00 |
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 therefore a natural candidate for use in the process of generating requirements-directed test suites. We survey several approaches for deriving test purposes 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 (such as LOTOS). Several techniques will be briefly illustrated and compared in terms of quality of the test purposes obtained, ease of use, and tool support. We also identify challenges in refining these test purposes into test cases as well as opportunities for improving current UCM-based testing.