| Grant number: | 12/02232-3 |
| Support Opportunities: | Regular Research Grants |
| Start date: | August 01, 2012 |
| End date: | July 31, 2014 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques |
| Principal Investigator: | Adenilso da Silva Simão |
| Grantee: | Adenilso da Silva Simão |
| 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 testing is a promising strategy to automate test generation and execution. The test cases are derived from a model representing the software under test. Several test generation methods for Finite State Machines (FSMs) can be identified in the literature. However, FSMs can be inadequate to represent some classes of software and, therefore, other kind of models should be adopted. Input/Output Transition Systems (IOTS) are examples of such models. Even though IOTS is widely investigated, the theory upon which IOTS testing is based does not provide the same level of support test case generation as there exist for FSMs. Thus, the objective of this work is to investigate how recent results obtained for FSM-based testing can be applied in the context of IOTS-based testing. (AU)
| Articles published in Agência FAPESP Newsletter about the research grant: |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |