Title :
Refusal testing for MIOTS with nonlockable output channels
Author :
Li, Zhongjie ; Wu, Jianping ; Yin, Xia
Author_Institution :
Dept. of Comput., Tsinghua Univ., Beijing, China
Abstract :
This paper extends the refusal testing for multi input-output systems (MIOTS) to make it also applicable to test those implementations with nonlockable output channels. Starting with the MIOTS refusal testing theory, we distinguish two types of output channels: lockable and nonlockable, and develop a more general multi input-output refusal testing relation. A test generation algorithm is proposed to derive a complete test suite from a specification.
Keywords :
algorithm theory; formal specification; message switching; performance evaluation; testing; multi input-output refusal testing relation; multi input-output transition system; nonlockable output channels; test generation; Computer networks; Formal specifications; Mobile computing; Power system modeling; System testing;
Conference_Titel :
Computer Networks and Mobile Computing, 2003. ICCNMC 2003. 2003 International Conference on
Print_ISBN :
0-7695-2033-2
DOI :
10.1109/ICCNMC.2003.1243104