MaTeLo – Statistical Testing Using Annotated Sequence Diagrams, Markov Chains and TTCN-3

In this report, we present a general framework for testing timecritical systems and software as it is proposed in the European IST project MaTeLo. The main task is to derive TTCN-3 compatible test case descriptions starting from annotated sequence diagrams, which specify additional non-functional requirements. In our methodology we combine statistical usage testing based on Markov chain usage models and specification-based monitoring using formal description techniques and sequence diagrams, defined in international standards, i.e. ITU-T MSC-2000 or OMG/UML.