Skip to main content
Automated software testing of asynchronous systems
Electronic notes in theoretical computer science
  • Percy Pari Salas, Bond University
  • Padmanabhan Krishnan, Bond University
Date of this Version
Document Type
Journal Article
Publication Details
Interim status: Citation only

Pari-Salas, P. & Krishnan, P. (2009). Automated software testing of asynchronous systems. Electronic notes in theoretical computer science, 253(2), 3-19.

Access the Journal's homepage.

2009 HERDC submission. FoR code: 0803

© Copyright 2009 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
Test automation faces challenges when applied to the testing of asynchronous systems. Automated testing tools need to deal with local non-determinism and, contrarily to most theoretical work, imperfect communication channels. We use event structures as the formalism to reason about the testing process. We differentiate between controllable and observable events but rely only on the sequence of controllable events to generate the test case. Observable events are used mainly as test oracle and to update the system state. We take existing testing tools and enhance them with practical mechanisms that allow them to perform asynchronous testing. These extensions are based on sound theory and have shown practical in dealing with real systems.
Citation Information
Percy Pari Salas and Padmanabhan Krishnan. "Automated software testing of asynchronous systems" NetherlandsElectronic notes in theoretical computer science Vol. 253 Iss. 2 (2009) p. 3 - 19
Available at: