Design and implementation of test-case generation for concurrent programs

Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998

Volumn 1998-December, Issue , 1998, Pages 262-269

  Katayama, Tetsuro ^a   Furukawa, Zengo ^b   Ushijima, Kazuo ^c  

^a NARA INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b KAGAWA UNIVERSITY   (Japan)

^c KYUSHU UNIVERSITY   (Japan)

Author keywords

concurrent programs; Event InterActions Graph(EIAG); software testing; structural testing; task types.; test cases; testing criteria

Indexed keywords

ADA (PROGRAMMING LANGUAGE); DATA FLOW ANALYSIS; FLOW GRAPHS; SOFTWARE TESTING; TESTING;

CONCURRENT PROGRAM; EVENT INTERACTIONS GRAPH(EIAG); STRUCTURAL TESTING; TASK TYPE; TEST CASE; TESTING CRITERIA;

CONCURRENCY CONTROL;

EID: 0041452758     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1998.733728     Document Type: Conference Paper

References (12)

1. W. E. Howden: "Reliability of the Path Analysis Testing Strategy," IEEE Trans. Softw. Eng., Vol.2, No.3, pp.208-215, 1976.
2. E. Itoh, Z. Furukawa and K. Ushijima: "A Prototype of a Concurrent Behavior Monitoring Tool for Testing Concurrent Programs," Proc. 1996 Asia-Pacific Softw. Eng. Conf. (APSEC'96), pp.345-354, 1996.
3. T. Katayama, Z. Furukawa and K. Ushijima: "Event Interactions Graph for Test-case Generation of Concurrent Programs," Proc. 1995 Asia-Pacific Softw. Eng. Conf. (APSEC'95), pp.29-37, 1995.
4. T. Katayama, Z. Furukawa and K. Ushijima: "A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph," Proc. 1996 Asia-Pacific Softw. Eng. Conf. (APSEC'96), pp.355-364, 1996.
5. T. Katayama, Z. Furukawa and K. Ushijima: "A Test-case Generation Method for Concurrent Programs Including Task-types," Proc. Joint 1997 Asia-Pacific Softw. Eng. Conf. And Int'l Comp. Sci. Conf. (APSEC'97/ICSC'97), pp.485-494, 1997.
6. G. Myers: "The art of software testing," John Wiley & Sons, 1979.
7. M. Notomi and T. Murata: "Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis," IEEE Trans. Softw. Eng., Vol.20, No.5, pp.325-336. 1994.
8. C.R. Snow: "Concurrent Programming," Cambridge University Press, 1992.
9. K.C. Tai: "On Testing Concurrent Programs," Proc. Compsac'85, pp.310-317, 1985.
10. 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.
11. United States Government: "Information technology -Programming languages -Ada," ISO/IEC 8652:1995(E), 1994.
12. E. J. Weyuker: "The Complexity of Data Flow Criteria for Test Data Selection," Information Processing Letters, Vol.19, pp.103-109, 1984.