Research Article

All-uses testing of shared memory parallel programs

  1. Cheer-Sun D. Yang1,
  2. Lori L. Pollock2,*

Article first published online: 1 APR 2003

DOI: 10.1002/stvr.262

Issue

Software Testing, Verification and Reliability

Software Testing, Verification and Reliability

Volume 13, Issue 1, pages 3–24, January/March 2003

Additional Information

How to Cite

Yang, C.-S. D. and Pollock, L. L. (2003), All-uses testing of shared memory parallel programs. Software Testing, Verification and Reliability, 13: 3–24. doi: 10.1002/stvr.262

Author Information

  1. 1

    Computer Science Department, West Chester University of PA, West Chester, PA 19383, U.S.A.

  2. 2

    Computer and Information Sciences, University of Delaware, Newark, DE 19716, U.S.A.

*Computer and Information Sciences, University of Delaware, Newark, DE 19716, U.S.A.

Publication History

  1. Issue published online: 1 APR 2003
  2. Article first published online: 1 APR 2003
  3. Manuscript Revised: 6 DEC 2002
  4. Manuscript Received: 20 FEB 2002

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (255K)

Keywords:

  • structural software testing;
  • shared memory parallel programming;
  • all-uses testing

Abstract

Parallelism has become a way of life for many scientific programmers. A significant challenge in bringing the power of parallel machines to these programmers is providing them with a suite of software tools similar to the tools that sequential programmers currently utilize. Unfortunately, writing correct parallel programs remains a challenging task.In particular, automatic or semi-automatic testing tools for parallel programs are lacking. This paper takes a first step in developing an approach to providing all-uses coverage for parallel programs. A testing framework and theoretical foundations for structural testing are presented, including test data adequacy criteria and hierarchy, formulation and illustration of all-uses testing problems, classification of all-uses test cases for parallel programs, and both theoretical and empirical results with regard to what can be achieved with all-uses coverage for parallel programs. Copyright © 2003 John Wiley & Sons, Ltd.

Get PDF (255K)