Automated Software Testing of Asynchronous Systems

Authors:
Percy Pari Salas;Padmanabhan Krishnan
Affiliations:
Center for Software Assurance School of Information Technology, Bond University Gold Coast, QLD 4229 Australia;Center for Software Assurance School of Information Technology, Bond University Gold Coast, QLD 4229 Australia
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 9
Cited 0

Connections between a concrete and an abstract model of concurrent systems

Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Trace and testing equivalence on asynchronous processes

Information and Computation
Event Structure Semantics for CCS and Related Languages

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Testing Theories for Asynchronous Languages

Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Formal Test Automation: A Simple Experiment

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Protocol Synthesis from Context-Free Processes Using Event Structures

RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Unfolding concurrent well-structured transition systems

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A fresh look at testing for asynchronous communication

ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.