Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Monitors: an operating system structuring concept
Communications of the ACM
Replay and Testing for Concurrent Programs
IEEE Software
On Using Static Analysis in Distributed System Testing
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
Control of Nondeterminism in Testing Distributed Multithreaded Programs
APAQS '00 Proceedings of the The First Asia-Pacific Conference on Quality Software (APAQS'00)
State-Based Reproducible Testing for CORBA Applications
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Design of a Toolset for Dynamic Analysis of Concurrent Java Programs
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
| Hi-index | 0.00 |
Reproducible testing is one of the effective ways to perform or repeat a desired test scenario in concurrent systems. When we apply it to distributed systems where remote calls are used as communication facilities, new deadlocks may be introduced when we incorporate the test control mechanism to the execution of the program under test. A static analysis technique has been thus explored to solve this problem. Using the static analysis, we can derive a test model from a given test constraint. This test model is then used in the test control procedure to help the test controller to avoid deadlocks. The test constraint carries information of not only the constraint from the test users, but also the program structure related to the remote calls. In this paper, we present our work on the automated construction of such test constraints from user's input and the program source code.