Model of partial ordering for use in testing concurrent systems

Authors
Petrenko, A Ulrich, A Chapenko, VP Timohovich, EA
Citation
A. Petrenko et al., Model of partial ordering for use in testing concurrent systems, AUTOM C C S, 32(6), 1998, pp. 10-18
Citations number
17
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
AUTOMATIC CONTROL AND COMPUTER SCIENCES
ISSN journal
01464116 → ACNP
Volume
32
Issue
6
Year of publication
1998
Pages
10 - 18
Database
ISI
SICI code
0146-4116(1998)32:6<10:MOPOFU>2.0.ZU;2-F
Abstract
Application of a partial ordering model, called the Mazurkiewicz trace mach ine, for use in testing concurrent systems is considered. The architecture of the tests and a general fault model of concurrent systems are discussed.