Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
JUMBL: A Tool for Model-Based Statistical Testing
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Improved techniques for software testing based on markov chain usage models
Improved techniques for software testing based on markov chain usage models
MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3
QSIC '03 Proceedings of the Third International Conference on Quality Software
Using Markov Chain Usage Models to Test Complex Systems
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 09
Validating UML simulation models with model-level unit tests
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Scenario-Based statistical testing of quality of service requirements
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Veritas - a versatile modeling environment for test-driven agile simulation
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
We will first give a brief introduction to a versatile modeling environment that allows the early validation of system specifications by a test-driven agile simulation approach. The main focus of our paper is on providing techniques for automated test case generation relying on statistical usage models. Based on the open source software R for statistical computing and graphics the easy to handle test case generation and analyzing TestPlayer© tool was developped. Starting from customer-specific graphical Markov chain usage models test cases are automatically generated and visualized by highlighting selected nodes and arcs in the model. In addition, various metrics and corresponding diagrams offer analytical techniques to assess the quality of the derived test suite.