Advanced search
Start date

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

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


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:
Articles published in other media outlets (0 total):
More itemsLess items

Please report errors in scientific publications list by writing to: