Statistical testing of software based on a usage model
Software—Practice & Experience
Generating transition probabilities to support model-based software testing
Software—Practice & Experience
Hardware/Software Codesign and Rapid Prototyping of Embedded Systems
IEEE Design & Test
On the Design of the New Testing Language TTCN-3
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
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
Calculating the usage probabilities of statistical usage models by constraints optimization
Proceedings of the 5th Workshop on Automation of Software Test
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A comfortable testplayer for analyzing statistical usage testing strategies
Proceedings of the 6th International Workshop on Automation of Software Test
| Hi-index | 0.00 |
In this paper a general framework is presented for testing time-critical systems and software. The main focus is to derive a state-oriented statistical usage model from a set of usage scenarios in order to automatically generate test cases. We describe a methodology that was developed within the European IST project MaTeLo to ease testing by combining the advantages of formal description techniques, namely MSC, UML and TTCN-3. In the first step of our approach, a MCUM (Markov Chain Usage Model) is constructed. This model represents the formal basis for deriving TTCN-3 test case descriptions to perform executable specification-based tests for the system under test (SUT). In order to be independent of the chosen specification technique, i.e. MSC or UML sequence diagrams, we have defined an XML-based representation format for the MCUM, called MCML (Markov Chain Markup Language). This format represents a common interface between various tools of the MaTeLo approach. All steps in our methodology do also support the testing of QoS (Quality of Service) requirements that are annoted in a UML profile standard notation.