Generating Checking Sequences for User Defined Fault Models

Advanced search

Search - Use quotation marks to get a more specific result

Index

Field of knowledge

Start date

Betweenand

Full text
Author(s):	Petrenko, Alexandre ; Simao, Adenilso ; Yevtushenko, N ; Cavalli, AR ; Yenigun, H Total Authors: 5
Document type:	Journal article
Source:	TESTING SOFTWARE AND SYSTEMS (ICTSS 2017); v. 10533, p. 6-pg., 2017-01-01.
Abstract
In this paper, we investigate how a checking sequence can be generated from a Finite State Machine, with respect to a user-defined set of faults, modeled as a nondeterministic FSM, called Mutation Machine (MM). We propose an algorithm for generating a checking sequence in this scenario and demonstrate its correctness. (AU)

FAPESP's process:	13/07375-0 - CeMEAI - Center for Mathematical Sciences Applied to Industry
Grantee:	Francisco Louzada Neto
Support Opportunities:	Research Grants - Research, Innovation and Dissemination Centers - RIDC