Interactive static analysis of Ada programs

Vanek, L.; Gogan, V.; Culp, M.; Berkowitz, Sidney

doi:10.1109/dasc.1990.111280

Cited by 1 publication

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another version of program elision was Expert Dataflow and Static Analysis tool(EDSA), a commercial product [27]. EDSA helps the maintenance programmer analyze and understand the logic of Ada source code while simplifying the reading of the code.…”

Section: Abstractionmentioning

confidence: 99%

See 1 more Smart Citation

Assessment of support for program understanding

Choi

Mayrhauser²

[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools

View full text Add to dashboard Cite

This paper discusses tools for program understanding during the software maintenance phase. The program understanding is crucial to successful maintenance, but it is still poorly supported b y analysisoriented tools. In the light of cognitive studies for program understanding, we assess the existing tools for program understanding, and suggest an approach which facilitates the understanding of complex code during maintenance via the chunking process. During this process programmers recognize the abstract function or meaning of groups of statements and then piece together these chunks to form even larger chunks until the entire code is understood and mapped out. Chunking supporf can be effective as part of a maintenance toolkit. It lets maintenance personnel control code abstraction and ask many semantic questions about chunks and their relationship t o other parts of the code.

show abstract

Section: Abstractionmentioning

confidence: 99%

“…Recent research on the user interface [ll][l3] [27] observes that the user interface is a key issue in enhancing program understanding. The presentation of information from tools such as static analysis must not complicate, nor distract from, the task of understanding the program.…”

Section: Knowledge-based Approach 26 Code Processingmentioning

confidence: 99%

Assessment of support for program understanding

Choi

Mayrhauser²

[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools

View full text Add to dashboard Cite

show abstract

Interactive static analysis of Ada programs

Cited by 1 publication

References 20 publications

Assessment of support for program understanding

Assessment of support for program understanding

Contact Info

Product

Resources

About