MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3


In this paper, we present a general framework for testing time-critical systems and software, as it is proposed in the European IST project MaTeLo. The main focus is on automatically generating a MCUM (Markov chain usage model) starting from an FDT (formal description technique) description in order to derive TTCN-3 (testing and test control notation… (More)
DOI: 10.1109/QSIC.2003.1319119


6 Figures and Tables