DocumentCode
3523836
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
Volume
2
fYear
1999
fDate
18-22 Oct. 1999
Firstpage
1118
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/APCC.1999.820460
Filename
820460
Link To Document