The Community for Technology Leaders
The Third Workshop on Future Trends of Distributed Computing Systems (1992)
Taipei, Taiwan
April 14, 1992 to April 16, 1992
ISBN: 0-8186-2755-7
pp: 86-92
Su-Yu Hsu , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chyan-Goei Chung , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
ABSTRACT
Repeated execution of a concurrent program with the same input may produce different sequence of rendezvous, thus making different output. The output of a concurrent program executed is determined by both the statements traversed by each task and the sequence of rendezvous. The traversed statements of each task constitute a task path, all task paths in an execution instance constitute a concurrent path. This paper proposes a new approach to generate all feasible concurrent paths from task path sets of a concurrent program. All possible rendezvous sequences of each feasible concurrent path are also generated. A heuristic approach is also proposed to select the suitable concurrent path set which satisfies node or branch coverage criterion.<>
INDEX TERMS
heuristic programming, parallel programming, program testing
CITATION

Su-Yu Hsu and Chyan-Goei Chung, "A heuristic approach to path selection problem in concurrent program testing," The Third Workshop on Future Trends of Distributed Computing Systems(FTDCS), Taipei, Taiwan, , pp. 86-92.
doi:10.1109/FTDCS.1992.217510
80 ms
(Ver 3.3 (11022016))