%0 Conference Proceedings
%T Test Generation by Constraint Solving and FSM Mutant Killing
%+ Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal (CRIM)
%+ General Motors [Warren]
%A Petrenko, Alexandre
%A Timo, Omer, Nguena
%A Ramesh, S.
%Z Part 1: Testing Methodologies
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 28th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Graz, Austria
%Y Franz Wotawa
%Y Mihai Nica
%Y Natalia Kushik
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-9976
%P 36-51
%8 2016-10-17
%D 2016
%R 10.1007/978-3-319-47443-4_3
%K FSM
%K Conformance testing
%K Mutation testing
%K Fault modelling
%K Fault model-based test generation
%K Test coverage
%K Fault coverage analysis
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X The problem of fault model-based test generation from formal models, in this case Finite State Machines, is addressed. We consider a general fault model which is a tuple of a specification, conformance relation and fault domain. The specification is a deterministic FSM which can be partially specified and not reduced. The conformance relation is quasi-equivalence, as all implementations in the fault domain are assumed to be completely specified FSMs. The fault domain is a set of all possible deterministic submachines of a given nondeterministic FSM, called a mutation machine. The mutation machine contains a specification machine and extends it with mutated transitions modelling potential faults. An approach for deriving a test suite which is complete (sound and exhaustive) for the given fault model is elaborated. It is based on our previously proposed method for analyzing the test completeness by logical encoding and SMT-solving. The preliminary experiments performed on an industrial controller indicate that the approach scales sufficiently well.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01643724/document
%2 https://inria.hal.science/hal-01643724/file/419911_1_En_3_Chapter.pdf
%L hal-01643724
%U https://inria.hal.science/hal-01643724
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9976