A hierarchical approach to program testing

Authors:
Janusz W. Laski
Affiliations:
Technical University of Gdansk, Gdansk, Poland
Venue:
ACM SIGPLAN Notices
Year:
1980

Citing 3
Cited 2

Complexity of Synthesizing Inductive Assertions

Journal of the ACM (JACM)
Test data as an aid in proving program correctness

Communications of the ACM
Symbolic execution and program testing

Communications of the ACM

Application of the goal invariant to the structuring of programs

ACM SIGPLAN Notices
On data flow guided program testing

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

A real-environment interactive testing procedure is presented which is based upon a hierarchical decomposition of a program into levels of abstraction. Such a decomposition is defined in terms of a program model which involves both control and data flow. The testing strategy adopted is supposed to follow a typical progress of a programmer who carries out a series of experiments with his program. Several semantical and structural issues involved are discussed.