论文部分内容阅读
本文提出了一个新的断言语言ALC,它主要用于对C 语言书写的系统程序的测试。ALC 吸收了现有断言语言的优点,首次引入了控制流检测概念,扩充了现有断言语言的描述能力。本文还描述了基于ALC 的断言测试系统ACTC。与现有的断言测试系统相比,ACTC 不但给出了断言违反的位置、次数,还给出了引起断言违反的变量值和符号踪迹,方便了查找错误原因。ACTC 已在MC-68000机上实现。