This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Aladdin: Assembly Language Assertion Driven Debugging Interpreter
July 1979 (vol. 5 no. 4)
pp. 426-428
ASCII Text
x 
 
R.E. Fairley, "Aladdin: Assembly Language Assertion Driven Debugging Interpreter," IEEE Transactions on Software Engineering, vol. 5, no. 4, pp. 426-428, July, 1979.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1979.230176,
author = {R.E. Fairley},
title = {Aladdin: Assembly Language Assertion Driven Debugging Interpreter},
journal ={IEEE Transactions on Software Engineering},
volume = {5},
number = {4},
issn = {0098-5589},
year = {1979},
pages = {426-428},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1979.230176},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Aladdin: Assembly Language Assertion Driven Debugging Interpreter
IS - 4
SN - 0098-5589
SP426
EP428
EPD - 426-428
A1 - R.E. Fairley,
PY - 1979
KW - testing
KW - Assembly language debugging
KW - assertions
KW - debugging
KW - interactive debugging
KW - software tools
VL - 5
JA - IEEE Transactions on Software Engineering
ER -
 
R.E. Fairley, Department of Computer Science, Colorado State University
ALADDIN is an interactive facility for debugging and testing of assembly language programs. ALADDIN differs from traditional debuggers by allowing the user to specify breakpoint assertions, rather than breakpoint locations. Assertions are logical relations among various components of the program state. If an assertion becomes false during execution of the object program a breakpoint is executed and control is passed to the user's terminal. ALADDIN can also be used as a testing tool to verify that asserted behavior matches actual behavior under various sets of input data and test conditions.
Index Terms:
testing, Assembly language debugging, assertions, debugging, interactive debugging, software tools
Citation:
R.E. Fairley, "Aladdin: Assembly Language Assertion Driven Debugging Interpreter," IEEE Transactions on Software Engineering, vol. 5, no. 4, pp. 426-428, July 1979, doi:10.1109/TSE.1979.230176
Usage of this product signifies your acceptance of the Terms of Use.