All-uses testing of shared memory parallel programs

Software Testing Verification and Reliability

Volumn 13, Issue 1, 2003, Pages 3-24

  Yang, Cheer Sun D ^a   Pollock, Lori L ^b  

^a WEST CHESTER UNIVERSITY   (United States)

^b University of Delaware   (United States)

Author keywords

All uses testing; Shared memory parallel programming; Structural software testing

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; DATA HANDLING; PARALLEL PROCESSING SYSTEMS;

SHARED MEMORY PARALLEL PROGRAMS; STRUCTURAL SOFTWARE TESTING;

PROGRAM DIAGNOSTICS;

EID: 0038005355     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.262     Document Type: Article

References (32)

1. Girgis MR, Woodward MR. An integrated system for program testing using weak mutation and data flow analysis. Proceedings 8th International Conference on Software Engineering, London. IEEE Computer Society Press: Los Alamitos, CA, 1985; 313-319.
2. Ostrand TJ, Balcer MJ. The category-partition method for specifying and generating functional tests. Communications of the ACM 1988; 31(6):676-686.
3. Bertolino, A, Marrè M. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Transactions on Software Engineering 1994; 20(12):885-899.
4. Cheung SC, Kramer J. Tractable dataflow analysis for distributed systems. IEEE Transactions on Software Engineering 1994; 20(8):579-593.
5. Venkatesan S, Dathan B. Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering 1995; 21(2):163-177.
6. Young M, Taylor RN, Forester K, Brodbeck D. Integrated concurrency analysis in a software development environment. Proceedings of the 3rd Symposium on Testing, Analysis, and Verification, Key West, FL. ACM Press: New York, 1989; 200-209.
7. Taylor RN, Levine DL, Kelly CD. Structural testing of concurrent programs. IEEE Transactions on Software Engineering 1992; 18(3):206-215.
8. Koppol PV, Tai KC. An incremental approach to structural testing of concurrent software. Proceedings of the International Symposium on Software Testing and Analysis, San Diego, CA. ACM Press: New York, 1996; 14-23.
9. Silva S. Mutation analysis of concurrent software. PhD Thesis, Politecnico di Milano, Italy, January 1998.
10. Duesterwald E, Soffa ML. Concurrency analysis in the presence of procedures using a data-flow framework. Proceedings of the 4th Symposium on Testing, Analysis, and Verification, Vancouver, Canada. ACM Press: New York, 1991; 36-48.
11. Balasundaram V, Kennedy K. Compile-time detection of race conditions in a parallel program. Proceedings of the 1989 International Conference on Supercomputing, Heraklion, Crete, Greece, June 1989. ACM Press: New York, 175-185.
12. Netzer RHB, Miller BP. Optimal tracing and replay for debugging a message-passing parallel program. Supercomputing, November 1992. IEEE Computer Society Press: Los Alamitos, CA, 502-511.
13. Yang C-SD. Program-based, structural testing of shared memory parallel programs, PhD Thesis, University of Delaware, August 1999.
14. Rapps S, Weyuker EJ. Selecting software test data using data flow information. IEEE Transactions on Software Engineering 1985; 11(4):367-375.
15. Grunwald D, Srinivasan H. Efficient computation of precedence information in parallel programs. Languages and Compilers for Parallel Computing. Springer: Berlin, 1993; 502-616.
16. Tai KC, Carver RH, Obaid EE. Debugging concurrent Ada programs by deterministic execution. IEEE Transactions on Software Engineering 1991; 17(1):45-63.
17. Weyuker EJ. The evaluation of program-based software test data adequacy criteria. Communications of the ACM 1988; 31(6):668-675.
18. Frankl PG, Weiss SN. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering 1993; 19(8):774-787.
19. Weyuker EJ. More experience with data flow testing. IEEE Transactions on Software Engineering 1993; 19(9):912-919.
20. Duran JW, Ntafos SC. An evaluation of random testing. IEEE Transactions on Software Engineering 1984; 10(4):438-444.
21. Frankl PG, Weyuker EJ. Provable improvements on branch testing. IEEE Transactions on Software Engineering 1993;19(10):962-975.
22. Frankl PG, Weyuker EJ, A formal analysis of the fault-detecting ability of testing methods. IEEE Transactions on Software Engineering 1993; 19(3):202-213.
23. Gait J. A probe effect in concurrent programs. Software-Practice and Experience 1986; 16(3):225-233.
24. Kleiman S, Shah D, Smaalders B. Programming with Threads. SunSoft Press, 1996.
25. Tantawy AN, High Performance Networks. Kluwer, 1994.
26. Clark DD, Tennenhouse DL. Architecture considerations for a new generation of protocols. ACM SIGCOMM Symposium on Communications Architectures and Protocols, Philadelphia, PA, 1990. ACM Press: New York, 1990; 200-208.
27. Jain N, Schwartz M, Bashkow TR. Transport protocol processing at gbps rates. ACM SIGCOMM Symposium on Communications Architectures and Protocols, Philadelphia, PA, 1990. ACM Press: New York, 1990; 188-199.
28. Gabow HN, Maheshwari SN, Osterweil LJ. On two problems in the generation of program test paths. IEEE Transactions on Software Engineering 1976; 2(3):227-231.
29. Ntafos SC, Hakimi SL. On path cover problems in digraphs and applications to program testing. IEEE Transactions on Software Engineering 1979; 5(5):520-529.
30. Yang C-SD, Pollock LL. An algorithm for all-du-path testing coverage of shared memory parallel programs. Sixth Asian Test Symposium, Akita, Japan, November 1997. IEEE Computer Society Press: Los Alamitos, CA, 1997; 263-268.
31. Yang, C-SD, Souter AL, Pollock LL. All-du-path coverage for parallel programs. Proceedings of the International Symposium on Software Testing and Analysis, Clearwater Beach, FL. ACM Press: New York, 1988; 153-162.
32. Yang R-D, Chung C-G. A path analysis approach to concurrent program testing. 9th Annual Phoenix Conference on Computers and Communications, Phoenix, AZ, 1990. IEEE Computer Society Press: Los Alamitos, CA, 1990; 425-432.