Model-based test case generation aims at allowing that test cases be derived from formal specifications, such as Finite State Machines. There are several generation methods, differing from each other by the properties required from the models and the quantity of generated test cases. Plavis/FSM tool aims at integrating several tools that support the generation of test cases from Finite State Machines. However, for pragmatical reasons, it is not always possible to use all generated test cases in the test of a given implementation. Therefore, it is necessary to provide mechanisms that support the selection of test cases, offering alternative selection criteria. The goal of this work is to design and implement a module for test case selection that can be integrated in the Plavis/FSM tool.
News published in Agência FAPESP Newsletter about the scholarship: