ADA: Concurrent Programming
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
ACM SIGAda Ada Letters
Debugging distributed C programs by real time reply
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Testing, debugging, and analysis of concurrent software
Testing, debugging, and analysis of concurrent software
An event-driven debugger for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
A window based visual debugger for a real time Ada tasking environment
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Leveraging User-Session Data to Support Web Application Testing
IEEE Transactions on Software Engineering
Saturation-based testing of concurrent programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Research in concurrent software testing: a systematic review
Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
| Hi-index | 0.00 |
An execution of a concurrent program P exercises a sequence of synchronization events, called a synchronization sequence or a SYN-sequence. This non-deterministic execution behavior creates a problem during the testing phase of P: when testing P with input X, a single execution is insufficient to determine the correctness of P with input X.In this paper, we show how to accomplish deterministic execution testing of a concurrent Ada program according to a given SYN-sequence. We first define the format of a SYN-sequence which provides sufficient information for deterministic execution. Then we show how to transform a concurrent Ada program P into a slightly different program P* (also written in Ada) so that an execution of P* with (X,S) as input, where X and S are an input and SYN-sequence of P respectively, determines whether or not S is feasible for P with input X and produces the same result as P with input X and SYN-sequence S would, provided that S is feasible. Tools for transforming concurrent Ada programs for deterministic execution testing are described.