Model-based Testing: Next Generation Functional Software Testing

Model-based testing (MBT) is an increasingly widely-used technique for automating the generation and execution of tests. There are several reasons for the growing interest in using model-based testing: The complexity of software applications continues to increase, and the user’s aversion to software defects is greater than ever, so our functional testing has to become more and more effective at detecting bugs; The cost and time of testing is already a major proportion of many projects (sometimes exceeding the costs of development), so there is a strong push to investigate methods like MBT that can decrease the overall cost of test by designing tests automatically as well as executing them automatically. The MBT approach and the associated commercial and open source tools are now mature enough to be applied in many application areas, and empirical evidence is showing that it can give a good ROI; Model-based testing renews the whole process of functional software testing: from business requirements to the test repository, with manual or automated test execution. It supports th