A high level language-based computing environment to support production and execution of reliable programs
Issue No.01 - Jan. (1986 vol.12)
Tadao Ichikawa , Hiroshima University, Shitami, Saijo-cho, Higashi-Hiroshima 724, Japan
In order to enhance the reliability of software, programmers have first to detect program errors and then to remove them. Although many errors can be detected during compilation when high level programming languages are used, still the degree of detection achievable by a compiler will be limited to the static aspect of program errors. Therefore, we need further investigation into a more sophisticated programming and debugging environment. This paper presents an environment which involves a debugging tool to help us detect logic errors and remove them efficiently. The debugging tool is supported by a special architecture named SPRING which was originally developed for reliable execution of Ada or Pascal programs. Following an overview of the system backed up by SPRING, the details of SPRING architecture are described, and the implementation of high level debugging on the SPRING architecture is discussed. In conclusion, our trial could be seen as a step toward providing an advanced programming environment for the development of reliable software.
Springs, Debugging, Software reliability, Computer architecture, Software, Runtime, software reliability, Ada, debugging, high level language architecture, programming language
Tadao Ichikawa, "A high level language-based computing environment to support production and execution of reliable programs", IEEE Transactions on Software Engineering, vol.12, no. 1, pp. 134-146, Jan. 1986, doi:10.1109/TSE.1986.6312927