Administrative Controls for Program Verification

by Richard L. Bland, (M.ASCE), Dir. of Computer Services; Giffels Assoc., Inc., Southfield, Mich.,


Serial Information: Journal of the Technical Councils of ASCE, 1978, Vol. 104, Issue 1, Pg. 59-69


Document Type: Journal Paper

Abstract: A set of administrative controls designed to ensure adequate documentation of the computer program verification process is presented. The subject is introduced by a precise definition of what verification means in the context of ensuring program correctness. Same justification for the proposed red-tape is presented. Included are long-range time savings, trace-back and retesting of latent errors, and providing other quality controls necessary for compliance with government regulations. The procedures described provide a framework for carrying out verification activities. The methods outlined provide such check points as: (1)Ensuring program's static condition during testing; (2)predefinition of expected results and accuracy; (3)documentation of cases executed; (4)independent review of test results; and (5)authorization of release for general use. Problems encountered in developing current procedures are also described.

Subject Headings: Verification | Computer software | Terminology and definition | Professional societies | Quality control | Government | Frames | Statics (mechanics)

Services: Buy this book/Buy this article

 

Return to search