Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study.
Saved in:
| Title: | Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study. |
|---|---|
| Authors: | Wei Jen Yeh, Fevzi1, Michal Young, Fevzi1 |
| Source: | Software Testing: Verification & Reliability. Dec94, Vol. 4 Issue 4, p223-253. 31p. |
| Subjects: | Ada (Computer program language), Systems design, Algebra, Programming languages, System analysis, Computer science |
| 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. [ABSTRACT FROM AUTHOR] |
| Copyright of Software Testing: Verification & Reliability is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
