Paper Info
Title
Exploring alternatives for transition verification
Abstract
When an implementation under test (IUT) is state-based, and its expected abstract behavior is given in terms of a finite state machine (FSM), a checking sequence generated from a specification FSM and applied to an IUT for testing can provide us with high-level confidence in the correct functional behavior of our implementation. One of the issues here is to generate efficient checking sequences in terms of their lengths. As a major characteristics, a checking sequence must contain all @b-sequences for transition verification. In this paper, we discuss the possibility of reducing the lengths of checking sequences by making use of the invertible transitions in the specification FSM to increase the choice of @b-sequences to be considered for checking sequence generation. We present a sufficient condition for adopting alternative @b-sequences and illustrate typical ways of incorporating these alternative @b-sequences into existing methods for checking sequence generation to reduce the lengths. Compared to the direct use of three existing methods, our experiments show that most of the time the saving gained by adopting alternative @b-sequences falls in the range of 10-40%.
Year
DOI
Venue
2009
10.1016/j.jss.2009.05.019
Journal of Systems and Software
Keywords
Field
DocType
correct functional behavior,finite state machine,exploring alternative,transition verification,direct use,expected abstract behavior,sequence generation,checking sequence,distinguishing sequence,existing method,specification fsm,efficient checking sequence,high-level confidence,conformance testing
Abstraction model checking,Model checking,Computer science,Implementation under test,Real-time computing,Conformance testing,Finite-state machine,Invertible matrix
Journal
Volume
Issue
ISSN
82
9
The Journal of Systems & Software
Citations 
PageRank 
References 
4
0.42
26
Authors
2
Name
Order
Citations
PageRank
L. Duan1123.65
Jessica Chen213512.38