• Articles •     Next Articles

Generating Conformance Tests for Nondeterministic Protocol Machines

Luo Gang;   

  1. Department d'IRO; Univerersitg de Montreal; C.P. 6128; Succ. A; Montreal; P.Q.; H3C 3J7 Canada;
  • Online:1994-07-10 Published:1994-07-10

We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both nondeterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed mehod can be used to test the control portion of software specified in the formal…

Key words: IP QoS; differentiated service; marker; RED (Random Early Detection);

[1] Rayner.D. OSI conformance testing. Computer Networks & ISDN Systems, 1987, 14:79-89.

[2] von Bochmann G. Trace analysis for conformance and arbitration testing. IEEE Trans.on Software Engineering, 1989, SE-15(11).

[3] Fujiwara S, von Bochmann G, Khendek F et al. Test selection based on finite state models.Trans.on Software Engineering, 1991, SE-17(6): 591-603. ……….
[1] Yu Li, Yong-Tian Wang, and Yue Liu. Fiducial Marker Based on Projective Invariant for Augmented Reality [J]. , 2007, 22(6): 890-897 .
[2] Ke-Ping Long, Yun Li, Rodney S. Tucker, and Chong-Gang Wang. A Novel Framework for IP DiffServ over Optical Burst Switching Networks [J]. , 2004, 19(6): 0-0.
[3] Ming-Kuan Liu, Fei-Yue Wang, and Daniel Dajun Zeng. Web Caching: A Way to Improve Web QoS [J]. , 2004, 19(2): 0-0.
[4] PANG Bin (庞 斌), SHAO HuaiRong (邵怀荣)2 and GAO Wen (高 文). An Admission Control Scheme for End-to-End Statistical QoS Provision in IP Networks [J]. , 2003, 18(3): 0-0.
[5] LONG KePing (隆克平), WANG Qian (王 茜), CHENG ShiDuan (程时端) and CHEN JunLiang (陈俊亮). Quantitative Adaptive RED in Differentiated Service Networks [J]. , 2003, 18(2): 0-0.
Full text



No Suggested Reading articles found!

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved