Implementing a module for selecting test cases for Plavis/FSM tool

• Grant number: 05/03983-9
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: January 01, 2006
• End date: December 31, 2006
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Adenilso da Silva Simão
• Grantee: Leonardo Filonônes Teixeira
• Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil

Abstract

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.