Title :
A simple method for deriving I/O constraints from test sequences
Author :
Wu, Wen-Jer ; Ho, Jui-Kuang ; Tang, Chuan Yi
Author_Institution :
Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Abstract :
I/O constraints are restrictions defined on the values of parameters of send or receive events in test sequences for test realization. I/O constraints generation is an important step when translating test sequences into abstract test suites. In this paper, a symbolic assignment substitution method is used to generate I/O constraints of test sequences derived from Extended Finite-State Machines (EFSM). The proposed method is simpler and combines the steps to determine feasibility of test sequence and to generate I/O constraints
Keywords :
conformance testing; finite state machines; formal verification; protocols; I/O constraints; abstract test suites; extended finite-state machines; protocol conformance testing; symbolic assignment substitution method; test realization; test sequences; Automata; Communication industry; Computer industry; Computer science; Formal specifications; Law; Legal factors; Protocols; Read only memory; Testing;
Conference_Titel :
Information Networking, 1998. (ICOIN-12) Proceedings., Twelfth International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7225-0
DOI :
10.1109/ICOIN.1998.648475
