A model for concurrent states and its coverage criteria

Proceedings - 2009 International Symposium on Autonomous Decentralized Systems, ISADS 2009

Volumn , Issue , 2009, Pages 363-367

  Kojima, Hideharu ^a   Takahashi, Juichi ^b   Ohta, Tomoyuki ^a   Kakuda, Yoshiaki ^a  

^a HIROSHIMA CITY UNIVERSITY   (Japan)

^b SONY CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

C LANGUAGE; CONCURRENT PROCESSING; CONCURRENT PROGRAMMING; CONCURRENT SOFTWARE; COVERAGE CRITERIA; DEAD LOCK; FLOW GRAPH; HIGH DEFINITION; MULTI-THREAD; NUMBER OF BLOCKS; PTHREADS; RACE CONDITION; SOURCE CODES; TEST CASE; WHITE-BOX TESTING;

COMPUTER PROGRAMMING;

EMBEDDED SOFTWARE;

EID: 70449650385     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISADS.2009.5207390     Document Type: Conference Paper

References (13)

1. L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, "A Formal Evaluation of Data Flow Path Selection Criteria," IEEE Trans. Softw. Eng, vol.15, no.11, pp. 1318-1332, 1989.
2. J. Takahashi, H. Kojima, and Z. Furukawa, "Coverage Based Testing for Concurrent Software," in Proc. of the 28th International Conference on Distributed Conputing Systems Workshops(ADSN2008), Beijing, China, June 2008, p. 59 (6 pages).
3. T. Katayama, E. Itoh, K. Ushijima, and Z. Furukawa, "Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences," in Proceedings of the Sixth Asia Pacific Software Engineering Conference, Takamatsu, JAPAN, December 1999, p. 590.
4. R. N. Taylor, D. L. Levine, and C. D. Kelly, "Structural Testing of Concurrent Programs," IEEE Trans. Softw. Eng, vol.18, no.3, pp. 206-215, 1992.
5. O. Edeltrein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur, "Multithreaded Java program test generatrion," IBM Systems Journal, vol.41, no.1, pp. 111-124, 2002.
6. [6] S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: a dynamic data race detector for multithreaded programs," ACM Trans. Comput. Syst., vol.15, no.4, pp. 391-411, 1997. (Pubitemid 127449840)
7. G. H. Mealy, "A Method for Synthesizing Sequential Circuits," Bell System journal, vol.34, pp. 1045-1079, Sep. 1955.
8. E. P. Moore, "Gedanken-experiments on Sequential machines," In Automate Studies: Anual of Mathmatical Studies, vol.34, 1956.
9. L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Commun. ACM, vol.21, no.7, pp. 558-565, 1978.
10. S. Rapps and E. J. Weyuker, "Data flow analysis techniques for test data selection," in Proceedings of the 6th International Conference on Software Engineering, Tokyo, JAPAN, Sep. 1982, pp. 272-278.
11. "Selecting Software Test Data Using Data Flow Information," IEEE Trans, on Soft. Eng, vol. 11, no. issue 4, pp. 367-375, 1985.
12. MYSQL, http://www.mysql.com.
13. E. Farchi, Y. Nir, and S. Ur, "Concurrent Bug Patterns and How to Test Them," in Proceedings of the 17th International Symposium on Parallel and Distributed Processing, Nice, France, Apr. 2003, p. 286.2.