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
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;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015 16th IEEE/ACIS International Conference on
Conference_Location :
Takamatsu
DOI :
10.1109/SNPD.2015.7176270
