All-du-path coverage for parallel programs

Abstract

One significant challenge in bringing the power of parallel machines to application programmers is providing them with a suite of software tools simikvto the tools that sequential programmers currently utilize. In partici liai automatic or semi-automatic testing tools for parallel program are lacking. This paper describes our work in automatic generstioa of all-du-paths for testing parallel programs. Our goal is to demonstrate that with some extension sequential test data adequacy cri teria are still applicable to parallel program testing. The concepts and algorithms in this paper have been incorporated as the foundatior of our Delaware PArallel Software Testing Aid della pasta.