Advanced search
Start date
Betweenand

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.

News published in Agência FAPESP Newsletter about the scholarship:
More itemsLess items
Articles published in other media outlets ( ):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)