Testing based on Input Output Transition Systems

• Grant number: 12/09650-5
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: August 01, 2012
• End date: March 31, 2016
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Adenilso da Silva Simão
• Grantee: Sofia Larissa da Costa Paiva
• 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 (TBM) involves automated test cases generation from models produced during the software development cycle. We can find many methods for generating test cases from Finite State Machines (FSM). However, some classes of systems cannot be represented using FSM, and one of the models for such representation are Input/Output Transition Systems (IOTS). Although widely investigated, the theory for test case generation in IOTS does not support the same height as the existing theory for the generation from FSM. This project aims to investigate how recent results obtained in the FSM-based test can be applied in the context of IOTS based test.

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

PAIVA, SOFIA COSTA; SIMAO, ADENILSO. Generation of complete test suites from mealy input/output transition systems. FORMAL ASPECTS OF COMPUTING, v. 28, n. 1, p. 65-78, MAR 2016. (12/02232-3, 12/09650-5)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

PAIVA, Sofia Larissa da Costa. Applying fault models in complete test suite generation from Input/Output Transition Systems. 2016. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.