Title :
An approach to testing communicating behaviors between nondeterministic systems
Author :
Jiantao, Zhou ; Xinming, Ye
Author_Institution :
Coll. of Comput. Sci., Inner Mongolia Univ., Hohhot, China
Abstract :
This paper researches the testing of communicating behavior between nondeterministic systems described with LOTOS and modeled as Petri nets. Parallel enable and disable operations in LOTOS are used to represent communicating behaviors.
Keywords :
Petri nets; protocols; testing; LOTOS; Petri net; communicating behaviors; disable operations; enable operations; nondeterministic systems; testing; Computer science; Context modeling; Educational institutions; Interleaved codes; Petri nets; Protocols; Specification languages; System recovery; System testing;
Conference_Titel :
Communications, 1999. APCC/OECC '99. Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference
Conference_Location :
Beijing, China
Print_ISBN :
7-5635-0402-8
DOI :
10.1109/APCC.1999.820460
