Limited reachability testing algorithm for message-passing parallel programs

Wei Wang,Binxing Fang
2005-01-01
Journal of Computational Information Systems
Abstract:Nondeterministic behaviors of parallel programs require dedication software testing functionality. It is very difficult to test nondeterministic parallel programs systematically. Although, plain reachability testing method deals with the non-determinism, it may generate huge number of execution paths during the testing procedure. This condition is intractable to cope with in practice. Adding some appropriate constraints to plain reachability testing strategy improves its efficiency. By analyzing the relationship between message passing behavior and the network performance, the present study proposes a limited reachability testing algorithm for message-passing parallel programs by considering network performance constraints. The number of execution paths is reduced greatly by only considering those execution paths with higher happening possibility according to the network performance constraints. In this way, large-scale parallel programs can be tested more efficiently, and the testing completeness is reasonable.
What problem does this paper attempt to address?