Issue No. 02 - June (1975 vol. 1)
L. M. Culpepper , Naval Ship Research and Development Center, Bethesda, Md. 20084
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 investigation by the Navy as part of a project designed to increase the reliability, usability, and portability of engineering design software. This paper describes the goals and results of the project and describes the software validation process which was developed. A software validation tool which was produced during the project is described and compared with several other tools. Some areas for further work are suggested.
Software, Software reliability, Computers, Programming, Testing, Reliability engineering, software validation, Control and data flow analysis, software reliability
L. M. Culpepper, "A system for reliable engineering software," in IEEE Transactions on Software Engineering, vol. 1, no. , pp. 174-178, 1975.