ALADDIN - ASSEMBLY LANGUAGE ASSERTION DRIVEN DEBUGGING INTERPRETER

被引：8

作者：

FAIRLEY, RE

机构：

[1] Department of Computer Science, Colorado State University, Fort Collins

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1979年 / 5卷 / 04期

关键词：

Assembly language debugging assertions debugging interactive debugging software tools testing; Index Terms;

D O I：

10.1109/TSE.1979.230176

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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. Copyright © 1979 by The Institute of Electrical and Electronics Engineers, Inc.

引用

页码：426 / 428

页数：3