EDSA (EXPERT DATA FLOW AND STATIC ANALYSIS) PROGRAM ANALYSIS TOOL FUNCTIONAL SPECIFICATIONS

Authors
  1. Vanek, L.I.
Corporate Authors
Array Systems Computing Inc, Downsview ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN)
Abstract
EDSA (Expert Data flow and Static Analysis) is a tool that helps programmers understand existing code. It can help track down a bug or determine in advance whether an intended change will have any undesirable side effects. Unlike most other program analysis tools, that automate analysis and design, EDSA automates the maintenance phase of the development life cycle. The most general goal of EDSA, as expressed in section 2.2 of the Requirements Document is that "EDSA shall aid programmers in debugging and/or analyzing programs ... EDSA shall significantly improve the programmers' productivity in terms of total life cycle costs." The document describes the functional specification of EDSA. EDSA is an interactive tool which facilitates the static analysis of uninstrumented source code. EDSA is not a parser, although it requires a parser to generate the internal data structures that it will manipulate.
Date of publication
15 Mar 1989
Number of Pages
46
DSTKIM No
90-01261
CANDIS No
63531
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: