DocumentCode
729512
Title
A chain algorithm for conformance testing based on UIO sequences
Author
Weiwei Lin ; Hongwei Zeng
Author_Institution
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China
fYear
2015
fDate
1-3 June 2015
Firstpage
1
Lastpage
6
Abstract
State verification to check that the machine is in a specified state is a key technique in FSM-based conformance testing. This paper presents a special UIO sequence called CUIO which can verify as many states as possible and all transitions of FSM simultaneously. CUIO sequences are constructed by a chain algorithm which is proposed based on the traditional method of successor tree. As a result, desirable checking sequence can be obtained by CUIO with relatively low computational complexity.
Keywords
computational complexity; conformance testing; finite state machines; sequences; CUIO sequences; FSM-based conformance testing; chain algorithm; computational complexity; state verification; successor tree; Computational complexity; Computational modeling; Computers; Information science; Software; Software algorithms; Testing; CUIO; Conformance testing; UIO sequence; chain algorithm;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015 16th IEEE/ACIS International Conference on
Conference_Location
Takamatsu
Type
conf
DOI
10.1109/SNPD.2015.7176270
Filename
7176270
Link To Document