Program Flow Analyzer. Volume 2

Abstract

This specification establishes the performance, design, development, and test requirements for the Program Flow Analyzer (PFA) system. PFA is a software analysis system that shall interpret and translate source language programs into attributes which characterize the design of the programs. The attributes shall then be processed to provide an analysis of the program based on selected PFA requirements. This specification provides the user requirements for a software analysis tool to support the software development process. Many of these requirements have not matured to the point of practical application. This document should serve as a living document to evolve as software engineering matures.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1984
Accession Number
ADA145521

Entities

People

  • L. F. Claudio

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Coding
  • Command And Control
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Error Analysis
  • Language
  • Operating Systems
  • Plastic Explosives
  • Reliability
  • Software Development
  • Software Metrics
  • Software Testing
  • Standards
  • System Software
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Software Engineering.