Arcadia Papers: ABSTRACT

"Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study", by Wei Jen Yeh and Michal Young in Technical Report TR-148-P, Software Engineering Research Center, 1398 Computer Sciences, Purdue University, West Lafayette, IN 47907-1398, December 1993. (To appear in Journal of Software Testing, Verification, and Reliability, December 1994)


In previous publications the authors described a compositional (hierarchical) approach to reachability analysis of Ada tasking programs based on process algebra. The abstraction capabilities of process algebra provide an effective means to control state explosion in automated state-space analysis, but only if a design is carefully modularized to encapsulate details of behavior. This paper reports experience modifying an existing design (a remote temperature sensor system described by Sanden) to make it more amenable to hierarchical analysis. Redesign for analysis was effective in improving the design in other ways as well: Flaws uncovered in the analysis (and present in the original design) were easy to understand and correct because of the increased understandability of the revised design. This also suggests that these flaws might have been avoided, and the design generally improved, had ``design for analysis'' been applied from the start.
The Arcadia Project <>
Last modified: Thu Jan 27 13:36:13 1995