Inspection Procedures for Critical Programs that Model Physical Phenomena

Dr. K. Kreyman
Dr. D.L. Parnas
Dr. S. Qiao


Abstract

This paper addresses the problem of assuring the accuracy and trustworthiness of computer programs that are based on models of physical phenomena. It begins by explaining why such programs can be critical to safety, health, and property. After a quick review of what is known about software inspection, it presents a classification of the possible sources of error in these programs. Subsequently, the paper outlines an inspection procedure that would find these errors. The final section of the paper illustrates the concepts using a simple example, a program that might be used to predict contaminant diffusion.