|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| David Luckham, Sriram Sankar, Shuzo Takahashi, "Two-Dimensional Pinpointing: Debugging with Normal Specifications," IEEE Software, vol. 8, no. 1, pp. 74-84, January/February, 1991. | |||
| BibTex | x | ||
| @article{ 10.1109/52.62935, author = {David Luckham and Sriram Sankar and Shuzo Takahashi}, title = {Two-Dimensional Pinpointing: Debugging with Normal Specifications}, journal ={IEEE Software}, volume = {8}, number = {1}, issn = {0740-7459}, year = {1991}, pages = {74-84}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.62935}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Two-Dimensional Pinpointing: Debugging with Normal Specifications IS - 1 SN - 0740-7459 SP74 EP84 EPD - 74-84 A1 - David Luckham, A1 - Sriram Sankar, A1 - Shuzo Takahashi, PY - 1991 KW - 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 VL - 8 JA - IEEE Software ER - | |||
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.