Aladdin: Assembly Language Assertion Driven Debugging Interpreter

1 July 1979

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-5 (4) , 426-428
https://doi.org/10.1109/tse.1979.230176

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.

Keywords

This publication has 2 references indexed in Scilit:

Architecture of the IBM system/370
Communications of the ACM, 1978
Software Engineering and Structured Programming
IEEE Transactions on Software Engineering, 1976