Automated maintenance of avionics software

Loyall, Joseph; Mathisen, S.A.; Hurley, P.J.; Williamson, J.S.

doi:10.1109/naecon.1993.290964

Cited by 6 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The development of the impact analyzer is based upon research that we have performed in avionics software V&V [3,5,6]. It is based upon our V&V process, builds upon advances that we have made in V&V techniques, and supports the avionics software maintenance process we observed during our ALC surveys.…”

Section: Discussionmentioning

confidence: 99%

Impact analysis and change management for avionics software

Loyall¹,

Mathisen²,

Satterthwaite³

Proceedings of the IEEE 1997 National Aerospace and Electronics Conference. NAECON 1997

Self Cite

View full text Add to dashboard Cite

We have developed a prototype software impact analyzer that supports the maintenance of avionics software'. The prototype helps maintain the complexity of software over time, decrease the learning curve for new maintainers, and control the increasing test and maintenance burden. It achieves this by providing hyperlinked views of software structure that increase software understanding, indicating the potential effects of software modifications, indicating components that need to be regression tested, and measuring the complexity of the software as it is modified. A version of the prototype that analyzes software written in Ada is currently being tested and evaluated. A version supporting JOVIAL (573) code is under development.

show abstract

Section: Discussionmentioning

confidence: 99%

Impact analysis and change management for avionics software

Loyall¹,

Mathisen²,

Satterthwaite³

Proceedings of the IEEE 1997 National Aerospace and Electronics Conference. NAECON 1997

Self Cite

View full text Add to dashboard Cite

show abstract

Using dependence analysis to support the software maintenance process

Loyall¹,

Mathisen²

1993 Conference on Software Maintenance

View full text Add to dashboard Cite

Dependence analysis is useful f o r software maintenance because it indicates the possible effects of a software modification on the rest of a program. This helps the software maintainer evaluate the appropriateness of a software modification, drive regression testing, and determine the vulnerability of critical sections of code. This paper presents a definition of interprocedural dependence analysis and its implementation in a prototype tool that supports software maintenance.

show abstract