A Novel Model Based Testing (MBT) Approach for Software Validation

摘要

Software validation is an important activity in order test whether the correct software has been developed. Several testing techniques have been developed, and one of these is model based testing (MBT). The main purpose of Model based testing is to test a software product from a user's point of view. Hence, usage models are designed and then test cases are developed from the models. The development of test cases from the usage model can be made automatically by using a tool. In order to increase the efficiency of the test phase, software tools are important. This paper presents a tool for model based testing called MaTeLo. The tool is developed in a joint European project with six industrial partners and two university partners. As the major outcome of a European project, MaTeLo is a test tool based on the Markov Chain model. This project is used to investigate specification languages for various industries, specifications simulation methods and associated tools. MaTeLo provides an automatic generator which generates test cases based on a Markov Chain usage model and statistical testing methods. MaTeLo supports test execution in heterogeneous environments. In addition, it also provides users with test results analysis and quality reports generation. The tool use model-based metrics to accurately evaluate software reliability and performance throughout the development process. This project integrates the testing tools in real development environments for industrial validation. - MaTeLo offers a graphical way to formalize the requirements test specification based on a usage model that makes the links between Doors, TestStand. - MaTeLo generates automatically different kind of TestStand test sequences and systematically improves the SUT reliability; reduce the testing cost and duration