Timing-Sequence Testing of Parallel Programs

Testing of parallel programs involves two parts-testing of controlflow within the processes and testing of timing-sequence. This paper focuses on thelatter, particularly on the timing-sequence of message-passing paradigms. Firstlythe coarse-grained SYN-sequence model is built up to describe the execution of distributed programs. All of the topics discussed in this paper are based on it. Themost direct way to test a program is to run it. A fault-free parallel program shouldbe of both correct computing result…