Loading [a11y]/accessibility-menu.js
Aladdin: Assembly Language Assertion Driven Debugging Interpreter | IEEE Journals & Magazine | IEEE Xplore

Aladdin: Assembly Language Assertion Driven Debugging Interpreter


Abstract:

ALADDIN is an interactive facility for debugging and testing of assembly language programs. ALADDIN differs from traditional debuggers by allowing the user to specify bre...Show More

Abstract:

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.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-5, Issue: 4, July 1979)
Page(s): 426 - 428
Date of Publication: 18 September 2006

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.