Software testing and metrics for concurrent computation

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 1996, Pages 336-344

  Shih, T K ^a   Chung, Chi Ming ^a   Wang, Ying Hong ^a   Kuo, Ying Feng ^a   Lin, Wei Chuan ^a  

^a TAMKANG UNIVERSITY   (Taiwan)

Author keywords

Ada language; Concurrent programs; Rendezvous.; Software complexity; Software testing criterion

Indexed keywords

ADA (PROGRAMMING LANGUAGE); SOFTWARE RELIABILITY; TESTING; VERIFICATION;

ADA LANGUAGE; CONCURRENT PROGRAM; RENDEZVOUS; SOFTWARE COMPLEXITY; TESTING CRITERIA;

SOFTWARE TESTING;

EID: 34047097035     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1996.566768     Document Type: Conference Paper

References (15)

1. M. E. Conway, "Design of a Separable Transition Diagram Compiler, " CACM, pp. 396-408
2. Suresh K. Damodaran-Kamal and Joan M. Franciom, "Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs, " ACM SIGPLAN Notices, pp. 118-128, Dec., 1993
3. Suresh K. Damodaran-Kamal and Joan M. Francioni, "Testing Races in Parallel Programs with an OtOt Strategy, Proceeding of the 1994 International Symposium on Software Testing and Analysis(ISSA), also ACM Software Engineering Notices, special issue, pp. 216-227, Aug., 1994
4. DoD, Preliminary Ada Reference Manual, " SIGPLAN Notices, Vol. 14, No. 6, Part A, Jun., 1980
5. Narain Gehani, "Ada: Concurrent Programming, " 2nd Edition, AT&T Bell Lab., Silicon Press, 1991
6. C. A. R. Hoare, "Communicating Sequential Processing, " Communication of ACM, Vol. 21, No. 8, pp. 666-677, Aug. 1978
7. T. J. LeBlanc and J, M. Mellor-Crummey, "Debugging Parallel Programs with Instant Replay, " IEEE Trans. on Computers, C-36, No. 4, pp. 471-482, Apr., 1987
8. Louise E. Moser, Data Dependency Graphs for Ada Programs, IEEE Trans. on Software Engineering, Vol. 16, No. 5, pp. 498-509, May, 1990
9. Parallel Computing Forum, PCF Parallel FORTRAN extension, " FORTRAM Forum, vol. 10, No. 3, special issue, Sept. 1991
10. K. C. Tai, R. H. Carver, andE. E. Obaid, "Debugging Concurrent Ada Programs by Deterministic Execution, " IEEE Trans. on Software Eng., Vol. 17, No. 1, pp. 45-63, Jan. 1991
11. R. N. Taylor, "A General Purpose Algorithm for Analyzing Concurrent Programs, " CACM, pp. 362-376, May, 1983
12. R. N. Taylor, D. L. Levine and C. D. Kelly, "Structural testing of Concurrent Programs, " IEEE Trans. on Software Eng., Vol. 8, No. 3, pp. 206-215, March, 1992
13. J. J. Tsai, K. Y. Fang H. Y. Chen and Y. D. Bi, "A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging, " IEEE Trans. on Software Eng., Vol. 16, No. 8, pp. 897-915, Aug., 1990
14. S. Weiss "A Formal Framework for The Study of Concurrent Program Testing, " In Proceedings of the 2nd Workshop on Software Testing, Analysis, and Verfication, pp. 106-113, July, 1988
15. S. Morasca and M. Peeze, "Using High Level Petri Nets for Testing Concurrent and Real Time Systems, "In Real-Time Systems: Theory and Application, pp. 119-131, 1990