Benefits of using model-based testing tools

Abstract

This paper presents a methodology based on modeling that proved to help in developing cost-effective system testing techniques for complex discrete-event systems, such as real-time control systems and supervisors. The main point is to build an executable model of the application's environment, which we call an emulator, for system testing purposes. The emulator allows the testing team to validate the application in realistic workload conditions which can be produced only if the environment is represented by a state-based model able to respond to the application's commands as well as to send unsolicited events. A fundamental role is played by the particular modeling approach used which in this case is based on the Protob language and its support toolset. Three experiences in the area of manufacturing applications are illustrated and their results discussed.