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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 12783705 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Wei+Jen+Yeh%2C+Fevzi%22">Wei Jen Yeh, Fevzi</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Michal+Young%2C+Fevzi%22">Michal Young, Fevzi</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+Testing%3A+Verification+%26+Reliability%22">Software Testing: Verification & Reliability</searchLink>. Dec94, Vol. 4 Issue 4, p223-253. 31p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Ada+%28Computer+program+language%29%22">Ada (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+design%22">Systems design</searchLink><br /><searchLink fieldCode="DE" term="%22Algebra%22">Algebra</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22System+analysis%22">System analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=12783705 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1002/stvr.4370040404 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 31 StartPage: 223 Subjects: – SubjectFull: Ada (Computer program language) Type: general – SubjectFull: Systems design Type: general – SubjectFull: Algebra Type: general – SubjectFull: Programming languages Type: general – SubjectFull: System analysis Type: general – SubjectFull: Computer science Type: general Titles: – TitleFull: Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Wei Jen Yeh, Fevzi – PersonEntity: Name: NameFull: Michal Young, Fevzi IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec94 Type: published Y: 1994 Identifiers: – Type: issn-print Value: 09600833 Numbering: – Type: volume Value: 4 – Type: issue Value: 4 Titles: – TitleFull: Software Testing: Verification & Reliability Type: main |
| ResultId | 1 |
