This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Two-Dimensional Pinpointing: Debugging with Normal Specifications
January/February 1991 (vol. 8 no. 1)
pp. 74-84

Debugging techniques and tools that draw on both the high-level concepts (defined as functions) used in formal specifications and the abstraction and information-hiding constructs used in modern languages are described. The technique is based on two components. One is a novel specification language with support tools. Ada programs are specified with a language that the authors created called Anna. Their tool set is used to check the Ada program's runtime behavior for consistency with the Anna specifications. The other technique uses the tool set to find missing specifications by comparing the specification with program prototypes and to test and debug Ada programs after an accepted specification has been developed. The approach, called two-dimensional pinpointing, locates inconsistencies in software that is structured in levels.

Index Terms:
2D pinpointing; formal specifications; high-level concepts; information-hiding; specification language; support tools; Ada programs; Anna; program prototypes; two-dimensional pinpointing; Ada; formal specification; program debugging; program testing; software tools; specification languages
Citation:
David Luckham, Sriram Sankar, Shuzo Takahashi, "Two-Dimensional Pinpointing: Debugging with Normal Specifications," IEEE Software, vol. 8, no. 1, pp. 74-84, Jan.-Feb. 1991, doi:10.1109/52.62935
Usage of this product signifies your acceptance of the Terms of Use.