Investigating the Improvement of Test Suite Generation Methods from Models

• Grant number: 08/01938-4
• Support Opportunities: Scholarships in Brazil - Master
• Start date: March 01, 2009
• End date: February 28, 2010
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Simone Do Rocio Senger de Souza
• Grantee: Jorge Francisco Cutigi
• 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 produces testing artifacts from models that are generated during the software development.Finite State Machines are one of the most used models that are available for test generationSeveral generation methods have been proposed in the last four decades, and there still are some recent contributions.In this work, the so-called sufficient conditions will be applied to improve generation methods from Finite State Machines, so that shorter tests may be generated, keeping the same effectivity in revealing faults. In particular, some recently identified sufficient conditions will be exploited.

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)

CUTIGI, JORGE FRANCISCO; SIMAO, ADENILSO; SOUZA, SIMONE R. S.. Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. COMPUTER JOURNAL, v. 59, n. 8, p. 1129-1143, AUG 2016. (08/01938-4)