%0 Conference Proceedings
%T On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications
%+ Tomsk State University [Tomsk]
%+ American University of Sharjah
%A Yevtushenko, Nina
%A El-Fakih, Khaled
%A Ermakov, Anton
%Z Part 2: Heuristics and Non-determinism in Testing
%< 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 139-152
%8 2016-10-17
%D 2016
%R 10.1007/978-3-319-47443-4_9
%K Nondeterministic finite state machines
%K Reduction relation
%K Fault model
%K Test derivation
%K Distinguishing test case
%K Definitely reachable states
%K Adaptive sequence
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X A method is proposed for deriving an adaptive checking sequence for a given deterministic implementation of a nondeterministic Finite State Machine (FSM) specification with respect to the reduction relation. The implementation is non-initialized, i.e., there is no reliable reset input. In order to obtain a sequence of reasonable length, in the proposed technique, we consider specifications with adaptive distinguishing test cases and adaptive transfer sequences. In fact, we show how under these considerations we can on-the-fly derive a checking sequence where the head part establishes the one-to-one correspondence between states of the implementation and the specification and if established the second part of the sequence is constructed for checking the one-to-one correspondence between transitions of the implementation and a submachine of the specification FSM. The latter construction appropriately utilizes information from the first part to reach and check intended transitions.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01643713/document
%2 https://inria.hal.science/hal-01643713/file/419911_1_En_9_Chapter.pdf
%L hal-01643713
%U https://inria.hal.science/hal-01643713
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9976