Program Structuring Principles for Automatic Test Equipment Support and Application Software.

摘要

This report deals with program structuring issues and language features supporting the development of well-structured automatic test equipment software. The main body of the report summarizes current and previous research findings, placing them in perspective for use in developing programs for testing and diagnosing Army materiel. Three Appendices present specific research findings. The first Appendix discusses what software reliability is and how it is related to program correctness, robustness, and fail-safe operation. The second Appendix describes a method for evaluating the complexity of a module in terms of the number of combinations of conditions relevant to its correct operation. A third Appendix discusses what exception conditions are, the requirements exception handling language features must satisfy, existing approaches to exception handling, and new language features for dealing with exceptions in an orderly and reliable way.