Structural Testing for Semaphore-Based Multithread Programs

  • Felipe S. Sarmanho
  • Paulo S. L. Souza
  • Simone R. S. Souza
  • Adenilso S. Simão
Conference paper

DOI: 10.1007/978-3-540-69384-0_39

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5101)
Cite this paper as:
Sarmanho F.S., Souza P.S.L., Souza S.R.S., Simão A.S. (2008) Structural Testing for Semaphore-Based Multithread Programs. In: Bubak M., van Albada G.D., Dongarra J., Sloot P.M.A. (eds) Computational Science – ICCS 2008. ICCS 2008. Lecture Notes in Computer Science, vol 5101. Springer, Berlin, Heidelberg

Abstract

This paper presents structural testing criteria for validation of semaphore-based multithread programs exploring control, data, communication and synchronization information. A post-mortem method based on timestamps is defined to determine the implicit communication among threads using shared variables. The applicability of the coverage testing criteria is illustrated by a case study.

Keywords

software testing multithread programs testing criteria 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Felipe S. Sarmanho
    • 1
  • Paulo S. L. Souza
    • 1
  • Simone R. S. Souza
    • 1
  • Adenilso S. Simão
    • 1
  1. 1.ICMCUniversidade de São PauloSão CarlosBrazil

Personalised recommendations