A novel framework for non-deterministic testing of message-passing programs

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2005, Pages 66-75

  Lei, Yu ^a   Wong, Eric ^b  

^a The University of Texas at Arlington   (United States)

^b The University of Texas at Dallas   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION TRACE; MESSAGE PASSING PROGRAMS; NON DETERMINISTIC TESTING; RANDOM DELAYS;

CODES (SYMBOLS); COMPUTER TESTING; FAULT TOLERANT COMPUTER SYSTEMS; HEURISTIC PROGRAMMING;

COMPUTER SYSTEMS PROGRAMMING;

EID: 33846992652     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2005.2     Document Type: Conference Paper

References (11)

1. R. Carver and Y. Lei, A general model of concurrent programs for reachability testing, Proc. of Int'l Conf. on Formal Engineering Methods, 2004.
2. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur. Multithread Java program test generation. IBM Systems Journal, Vol. 41(1), pp. 111-125, 2002.
3. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Trans. on Programming Languages and Systems, 9(3):319-349, 1987.
4. L. Lamport. Time, Clocks, and the Ordering of Events in a Dist. System, Comm. ACM, 1978, pp. 558-565.
5. S. D. Stoller. Testing concurrent Java programs using randomized scheduling. In Proceedings of the Second Workshop on Runtime Verification (RV), Vol. 70(4) of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.
6. th International Conference on Distributed Computing Systems, pp. 261-268, 1997.
7. K. C. Tai, Richard H. Carver, and Evelyn E. Obaid. Debugging concurrent Ada programs by deterministic execution. IEEE Trans. On Software Engineering, 17(1): pp. 45-63, 1991.
8. R. N. Taylor, D. L. Levine, and Cheryl D. Kelly, "Structural testing of concurrent programs", IEEE Transaction on Software Engineering, 18(3):206-214, 1992.
9. F. Tip. A Survey of Program Slicing Techniques, Journal of Programming Languages, pp. 121-189, 1995.
10. M. Weiser. Program Slicing, IEEE Transactions on Software Engineering, 10(4):352-357, 1982.
11. C. Yang and L. L. Pollock. Identifying redundant test cases for testing parallel language constructs. ARL-ATIRP First Annual Technical Conference, 1997.