By Topic

A heuristic approach to path selection problem in concurrent program testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Su-Yu Hsu ; Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan ; Chyan-Goei Chung

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

Published in:

Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of

Date of Conference:

14-16 Apr 1992