Abstract
Much of the software developed to support engineering design calculations is produced by persons whose primary job skill is not that of computer scientist. Software validation techniques suitable for use by these engineer-programmers have been under investigation by the Navy as part of a project designed to increase the reliability, usability, and portability of engineering design software. The results of the project are summarized and a software validation tool is described.
- 1 Allen, F.E., "Control Flow Analysis," Proceedings of a Symposium on Compiler Optimization, ACM SIGPLAN Notices, 5, 7(July 1970) Google ScholarDigital Library
- 2 Culpepper, L.M., Regen, R. "AUDIT, A System for Software Engineering for the CDC 6000," NSRDC Report 4587, Naval Ship Research and Development Center, Washington, D.C. 20084 (1974)Google Scholar
- 3 Gries, David, "Compiler Construction for Digital Computers," John Wiley & Sons, Inc. (1971) Google ScholarDigital Library
- 4 Kennedy, K., "A Global Flow Analysis Algorithm," Inter. J. of Computer Math., Sec. A, 3(1971)Google Scholar
- 5 Linden, T.A., "A Summary of Progress Toward Proving Program Correctness," AFIPS Fall Joint Computer Conference (1972)Google Scholar
- 6 Liskov, B.H., "A Design Methodology for Reliable Software Systems," AFIPS Fall Joint Computer Conference (1972)Google Scholar
- 7 Ramomoorthy, C.V., Cheung, R.C., Kim, K.H., "Reliability and Integrity of Large Computer Programs," Memorandum No. ERL-M430 College of Engineering, University of California, Berkeley (1974)Google Scholar
- 8 SESCOMPSPEC1, Introduction and Glossary, February 1975 SESCOMPSPEC2, Specification on Use and Control, February 1975. SESCOMPSPEC3, Specification on Coding Language, February 1975. SESCOMPSPEC4, Specification on Organization and Design, February 1975. SESCOMPSPEC5, Specification on Programming Documentation, February 1975. These documents are available from: Naval Sea Systems Command Surface Effect Ships Project PMS 304-34 P.O. Box 34401 Washington, D.C. 20362Google Scholar
- 9 Stark, P.A., "Introduction to Numerical Methods," The McMillan Co. (1970)Google Scholar
Index Terms
- A system for reliable engineering software
Recommendations
A system for reliable engineering software
Proceedings of the international conference on Reliable softwareMuch of the software developed to support engineering design calculations is produced by persons whose primary job skill is not that of computer scientist. Software validation techniques suitable for use by these engineer-programmers have been under ...
A system for reliable engineering software
Much of the software developed to support engineering design calculations is produced by persons whose primary. skill is not that of computer scientist. Software validation techniques suitable for use by these engineer-programmers have been under ...
Analyzing Software Safety
With the increased use of software controls in critical realtime applications, a new dimension has been introduced into software reliability-the "cost" of errors. The problems of safety have become critical as these applcations have increasingly ...
Comments