This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A high level language-based computing environment to support production and execution of reliable programs
Jan. 1986 (vol. 12 no. 1)
pp. 134-146
Hideaki Tsubotani, Hiroshima University, Shitami, Saijo-cho, Higashi-Hiroshima 724, Japan
Noriaki Monden, Hiroshima University, Shitami, Saijo-cho, Higashi-Hiroshima 724, Japan
Minoru Tanaka, Hiroshima University, Shitami, Saijo-cho, Higashi-Hiroshima 724, Japan
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.
Index Terms:
Springs,Debugging,Software reliability,Computer architecture,Software,Runtime,software reliability,Ada,debugging,high level language architecture,programming language
Citation:
Hideaki Tsubotani, Noriaki Monden, Minoru Tanaka, 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
Usage of this product signifies your acceptance of the Terms of Use.