Assertion Definition Language的意思|示意
美 / /
英 / /
断言定义语言
Assertion Definition Language的网络常见释义
断言定义语言 ...： ADLScope[Chang 98]：一种基于规约的单元测试辅助工具 该工具主要通过特定的断言定义语言(Assertion Definition Language, ADL) 对C 语言形式的对象接口进行功能描述。被测试单元的功能规约体现为一组一阶谓 词逻辑的断言。