Generating Checking Sequences for User Defined Fault Models

Autor(es)

Petrenko, Alexandre ; Simao, Adenilso ; Yevtushenko, N ; Cavalli, AR ; Yenigun, H

• Tipo de documento: Artigo Científico
• Fonte: TESTING SOFTWARE AND SYSTEMS (ICTSS 2017); v. 10533, p. 6-pg., 2017-01-01.

Resumo

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)

• Processo FAPESP: 13/07375-0 - CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria
• Beneficiário: Francisco Louzada Neto
• Modalidade de apoio: Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs