Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Artificial intelligence and mathematical theory of computation
The craft of software testing: subsystem testing including object-based and object-oriented testing
The craft of software testing: subsystem testing including object-based and object-oriented testing
Fast planning through planning graph analysis
Artificial Intelligence
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Applying use cases: a practical guide
Applying use cases: a practical guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Visualization of Use Cases through Automatically Generated Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automating test cases generation: from xtUML system models to QML test models
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
System testing using use cases for simulation model of an emergency room
International Journal of Advanced Intelligence Paradigms
Model based approach to assist test case creation, execution, and maintenance for test automation
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Extracting widget descriptions from GUIs
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Construction of messaging-based enterprise integration solutions using AI planning
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Automatic test case generation from functional requirements in NDT
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Hi-index | 0.00 |
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be automatically generated from these state charts. We do so by mapping state chart elements to the STRIPS planning language. The application of the state of the art planning tool graphplan yields the different test cases as solutions to a planning problem. The test cases (sequences of messages plus test data) can be used for automated or manual software testing on system level.