Structural Testing of Concurrent Programs

IEEE Transactions on Software Engineering

Volumn 18, Issue 3, 1992, Pages 206-215

  Taylor, Richard N ^a   Levine, David L ^a   Kelly, Cheryl D ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Concurrency; coverage criteria; structural testing; testing criteria hierarchy

Indexed keywords

COMPUTER PROGRAMMING--TESTING;

CONCURRENT PROGRAMMING;

COMPUTER SOFTWARE;

EID: 0026827806     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.126769     Document Type: Article

References (26)

1. R. N. Taylor and C. D. Kelly, “Structural testing of concurrent programs,” in Proc. Workshop on Software Test. (Banff, AB, Canada), July 1986, pp. 164–169.
2. W. R. Adrion, M. A. Branstad, and J. C. Chemiavsky, “Validation, verification, and testing of computer software,” ACM Comput. Surveys, vol. 14, pp. 159–192, June 1982.
3. W. E. Howden, “A survey of dynamic analysis methods,” in Tutorial: Software Testing and Validation Techniques, 2nd ed., E. Miller and W. Howden, Eds. Los Alamitos, CA: IEEE Computer Soc. Press, 1981, 209–-231.
4. L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, “A comparison of data flow path selection criteria,” in Proc. 8th Int. Conf. on Software Eng. (London), Aug. 1985, pp. 244—251.
5. E. J. Weyuker, “The cost of data flow testing: an empirical study,” IEEE Trans. Software Eng., vol. 16, pp. 121–128, Feb. 1990.
6. L. A. Clarke, D. J. Richardson, and S. J. Zeil, “TEAM: a support environment for testing, evaluation, and analysis,” in Proc. ACM SIGSOFT ’88: 3rd Symp. on Software Development Environ., Nov. 1988, 153–162.
7. K. R. Apt, “A static analysis of CSP programs,” in Proc. Workshop on Program Logic (Pittsburgh, PA), June 1983.
8. R. N. Taylor, “A general-purpose algorithm for analyzing concurrent programs,” Commun. ACM, vol. 26, pp. 362–376, May 1983.
9. S. M. German, D. P. Helmbold, and D. C. Luckham, “Monitoring for deadlocks in Ada tasking,” in Proc. AdaTEC Conf. on Ada (Arlington, VA), 10–25, Oct. 1982.
10. J. L. Peterson, “Petri nets,” ACM Comput. Surveys, vol. 9, pp. 223–252, Sept. 1977.
11. M. Young, R. N. Taylor, K. Forester, and D. Brodbeck, concurrency analysis in a software development environment,” in Proc. 3rd Workshop on Software Test., Analysis, and Verification (Key West, FL), Dec. 1989, pp. 200–209.
12. R. K. Keller, M. Cameron, R. N. Taylor, and D. B. Troup, “User interface development and software environments: the Chiron-1 system,” in Proc. 13th Int. Conf on Software Eng. (Austin, TX), May 1991, pp. 208–218.
13. D. L. Long and L. A. Clarke, “Task interaction graphs for concurrency analysis,” in Proc. 11th Int. Conf. on Software Eng. (Pittsburgh, PA), May 1989.
14. G. K. Wampler, “Static concurrency analysis of Ada programs,” Master’s thesis, Univ. California, Irvine, 1985.
15. D. S. Rosenblum, “A methodology for the design of Ada transformation tools in a DIANA environment,” IEEE Software, vol. 2, pp. 24–33, Mar. 1985.
16. J. Gait, “A probe effect in concurrent programs,” Software-Practice and Experience, vol. 16, pp. 225–233, Mar. 1986.
17. R. N. Taylor, “Analysis of concurrent software by cooperative application of static and dynamic techniques,” in Software Validation, H.-L. Hausen, Ed. Amsterdam: North-Holland, 1984, pp. 127–137.
18. L. A. Clarke, “A system to generate test data and symbolically execute programs,” IEEE Trans. Software Eng., vol. SE-2, pp. 215–222, Sept. 1976.
19. W. E. Howden, “Symbolic testing and the DISSECT symbolic evaluation system,” IEEE Trans. Software Eng., vol. SE-3, pp. 266–278, July 1977.
20. A. F. Brindle, R. N. Taylor, and D. F. Martin, “A debugger for Ada tasking,” IEEE Trans. Software Eng., vol. 15, pp. 293–304, Mar. 1989.
21. K. C. Tai, R. H. Carver, and E. E. Obaid, “Debugging concurrent Ada programs by deterministic execution,” IEEE Trans. Software Eng., vol. 17, pp. 45–63, Jan. 1991.
22. T. J. LeBlanc and J. M. Mellor-Crummey, “Debugging parallel programs with instant replay,” IEEE Trans. Computers, vol. C-36, pp. 471–482, Apr. 1987.
23. S. N. Weiss, “A formal framework for the study of concurrent program testing,” in Proc. 2nd Workshop on Software Test., Analysis, and Verification (Banff, AB, Can.), July 1988, pp. 106–113.
24. S. Morasca and M. Pezze, “Using high-level Petri nets for testing concurrent and real-time systems,” in Real-Time Systems: Theory and New York: Elsevier Science, 1990, pp. 119–131.
25. W. J. Yeh and M. Young, “Compositional reachability analysis using process algebra,” in Proc. Symp. on Software Test., Analysis, and Verification (TAV4), (Victoria, BC, Can.), Oct. 1991, pp. 49–59.
26. R. N. Taylor et al., “Foundations for the Arcadia environment architecture,” in Proc. ACM SIGSOFT ’88: 3rd Symp. on Software Development Environ. (Boston), Nov. 1988. pp. 1–13.