Structural testing for semaphore-based multithread programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5101 LNCS, Issue PART 1, 2008, Pages 337-346

  Sarmanho, Felipe S ^a   Souza, Paulo S L ^a   Souza, Simone R S ^a   Simão, Adenilso S ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Multithread programs; Software testing; Testing criteria

Indexed keywords

TEST FACILITIES;

CASE STUDIES; COMPUTATIONAL SCIENCES; COVERAGE TESTING; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; MULTITHREAD PROGRAMS; SHARED VARIABLES; STRUCTURAL TESTING; TIMESTAMPS;

CONCURRENCY CONTROL;

EID: 47749126584     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69384-0_39     Document Type: Conference Paper

References (12)

1. Yang, C.D., Pollock, L.L.: The challenges in automated testing of multithreaded programs. In: 14th Int. Conference on Testing Computer Software, pp. 157-166 (1997)
2. Dongarra, J.J., Walker, D.W.: The quest for petascale computing. Computing in Science and Engineering 03(3), 32-39 (2001)
3. Rapps, S., Weyuker, E.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering SE-11(4), 367-375 (1985)
4. Taylor, R.N., Levine, D.L., Kelly, C.D.: Structural testing of concurrent programs. IEEE Trans. on Software Engineering 18(3), 206-215 (1992)
5. Yang, C.S.D., Souter, A.L., Pollock, L.L.: All-du-path coverage for parallel programs. In: Young, M. (ed.) ISSTA 1998: Proc. of the ACM SIGSOFT Int. Symposium on Software Testing and Analysis, pp. 153-162 (1998)
6. Lei, Y., Carver, R.: Reachability testing of concurrent programs. IEEE Trans. on Software Engineering 32(6), 382-403 (2006)
7. Vergilio, S.R., Souza, S.R.S., Souza, P.S.L.: Coverage testing criteria for messagepassing parallel programs. In: 6th LATW, Salvador, Ba, pp. 161-166 (2005)
8. Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience 15(3-5), 485-499 (2003)
9. Lei, Y., Carver, R.H., Kacker, R., Kung, D.: A combinatorial testing strategy for concurrent programs. Softw. Test., Verif. Reliab. 17(4), 207-225 (2007)
10. Yang, C.S.D., Pollock, L.L.: All-uses testing of shared memory parallel programs. Softw. Test, Verif. Reliab. 13(1), 3-24 (2003)
11. Lamport, L.: The implementation of reliable distributed multiprocess systems. Computer Networks 2, 95-114 (1978)
12. Carver, R.H., Tai, K.C.: Replay and testing for concurrent programs. IEEE Softw. 8(2), 66-74 (1991)