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)
Abstract
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
<arcadia-www@ics.uci.edu>
Last modified: Thu Jan 27 13:36:13 1995