Allegations as aids to static program testing

1 January 1976

conference paper
Published by Association for Computing Machinery (ACM)

p. 479-482
https://doi.org/10.1145/800191.805645

Abstract

In static program analysis, a program is examined without execution in an attempt to anticipate possible sources of error. Possible errors detected in this way can rarely be considered certain to occur because of the impossibility of infallibly determining the executability of a given program path. Current heuristic systems for making this determination are costly and uncertain. Hence the use of allegations—user supplied unverifiable statements designed to provide answers to executability questions—is suggested.

Keywords

POSSIBLE SOURCE
UNVERIFIABLE STATEMENT
POSSIBLE ERROR
STATIC PROGRAM ANALYSIS
STATIC PROGRAM TESTING
CURRENT HEURISTIC SYSTEM
PROGRAM PATH
BUSINESS INFORMATION SYSTEMS
SYSTEMS APPROACH
ERROR DETECTION

This publication has 0 references indexed in Scilit: