Title :
The use of static analysis tools to support reverse engineering
Author :
Hamilton, Vivien
Author_Institution :
Rolls-Royce & Associates Ltd., Derby, UK
Abstract :
This paper describes the use of static analysis tools for the re-engineering of software for a relay system for overhead power cables. The system was originally written some fifteen years ago, in assembler, and has undergone considerable modification at various times in the past. The static analysis was undertaken for two reasons: to demonstrate that the software was free of significant faults, and to provide a software specification and design documentation that would allow the software to be maintained in the future
Keywords :
reverse engineering; software reliability; software tools; system documentation; system monitoring; design documentation; overhead power cables; relay system; reverse engineering; software maintenance; software specification; static analysis tools;
Conference_Titel :
Reverse Engineering for Software Based Systems, IEE Colloquium on
Conference_Location :
London
