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 version 3) compatible test case definitions.Our approach is a combination of statistical usage testing based on a given MCUM and specification-based testing that is using FDT inputs. Within MaTeLo, special attention is given to international standardized FDT notations, specifically ITU-T MSC (Message Sequence Chart). In addition, we make use of annotations to specify selected non-functional requirements to support the automated software testing of the real time systems. We also defined an XML-based representation format called MCML (Markov Chain Markup Language) to build a common interface between various parts of the MaTeLo tool set.

No abstract

In the system testing, communications between processors or different kind of units are more important to be validated. For this purpose, we present a framework for transforming the OMG 's Un@ed Modeling Language-Sequence Diagram (UML-SD) to the Markov chain whose encoding rule is a kind of Markup language (Markov Chain Markup Language-MCML). Then, the statistical software testing based project-Markov Test Logic (MaTeLo), and tligzther with those related technolqgies used in MaTeLo is introduced. Next, the main structure and encoding method for the XML based MCML is given. Right following this, the algorithm for translating UML-SD into Markov chain usagc? model (MCUM) and its corresponding tool implementation is denoted.