Coverage based testing for concurrent software

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2008, Pages 533-538

  Takahashi, Juichi ^a   Kojima, Hideharu ^b   Furukawa, Zengo ^c  

^a SONY CORPORATION   (Japan)

^b HIROSHIMA CITY UNIVERSITY   (Japan)

^c KAGAWA UNIVERSITY   (Japan)

Author keywords

Concurrent software; Race condition; Testing

Indexed keywords

COMPUTING SYSTEMS; CONCURRENT PROGRAMMING; CONCURRENT PROGRAMS; CONCURRENT SOFTWARE; COVERAGE CRITERIA; DISTRIBUTED COMPUTING SYSTEMS; INTERNATIONAL CONFERENCES; MULTI-CORE PROCESSORS; QUALITY INDICES; RACE CONDITION; SOFTWARE PERFORMANCES; TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEMS; SOFTWARE TESTING; STANDARDS;

CONCURRENCY CONTROL;

EID: 51849161471     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCS.Workshops.2008.76     Document Type: Conference Paper

References (11)

1. S. Rapps, E.J. Weyuker, "Data flow analysis techniques for test data selection", Proc. of the 6th international conference on Software engineering, pp. 272-277, 1982.
2. S. Rapps, E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information" IEEE Trans. on Soft. Eng., vol. 11, no. issue 4, pp. 367 - 375, 1985.
3. G. H. Mealy, "A Method for Synthesizing Sequential Circuits", Bell System journal, 34, pp. 1045-1079, Sep. 1955.
4. E. P. Moore, "Gedanken-eperiments on Sequential machines", In Automate Studies: Anual of Mathematical Studies (34). Princeton University Press, 1956.
5. L. A. Clarke, A. Podgurski, D. J. Richardson, S. J. Zeli, "A Formal Evaluation of Data Flow Path Coverage Criteria", IEEE. Trans. Soft. Eng., vol. 15, no. 11, pp. 1318-1332, 1989.
6. Leslie Lamport: Time, "Clocks, and the Ordering of. Events in a Distributed System", Comm. of the ACM., vol. 21, no. 7, pp. 558-565, 1978.
7. T. Katayama, E. Itoh, Z. Furukawa, and K. Ushijima: "Testcase Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences," Proc. of Asia-Pacific Softw. Eng. Conf. , pp. 590-597, 1999.
8. R.N. Taylor, D.L. Levine, and C. D. Kelly, "Structural Testing of Concurrent Programs", IEEE Trans. Soft. Eng., vol.18, no.3, pp.206-215, 1992.
9. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur, "Multithreaded Java program test generation", IBM Systems Journal, vol. 41, no. 1, pp. 111-125, 2002.
10. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A dynamic data race detector for multithreaded programs", ACM Trans. on Comp. Sys., vol. 15, no.4, pp. 391-411, 1997.
11. F. Farchi, Y. Nir, and S. Ur, "Concurrent bug patterns and how to test them", Proc. of Parallel and Distributed Processing Symposium, pp. 22-26, 2003.