Statecharts: A visual formalism for complex systems
Science of Computer Programming
Graphs: theory and algorithms
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Statistical testing of software based on a usage model
Software—Practice & Experience
Software reuse: architecture, process and organization for business success
Software reuse: architecture, process and organization for business success
Cleanroom software engineering: technology and process
Cleanroom software engineering: technology and process
Generating transition probabilities to support model-based software testing
Software—Practice & Experience
Art of Software Testing
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Flattening statecharts without explosions
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
For incremental iterative software development processes, automated testing is necessary to enable evolution not only in terms of functionality, but in terms of software quality as well. Automation requires models to provide the necessary information. Scenarios and use cases do not only feed requirements engineering, they may also be the basis for testing. They have to be enriched by detailed behavioral information in order to be used for statistical test case generation. This paper introduces an approach for generating system-level test cases based on use case models and refined by state diagrams. These models are transformed into usage models to describe both system behavior and usage. The method is intended for integration into an iterative software development process model. The resulting test cases are suited to be carried out in conventional ways, i.e., either manually or using test tools. The method is supported by an XML-based tool for model transformation.