论文部分内容阅读
SDL是CCITT推荐的标准化语言,抽象数据类型是SDL的一个重要部分。 本文提出了一种新的测试方法,用基本项来测试抽象数据类型定义的完备性和矛盾性;这与传统的用逻辑证明的方法不同。文中首先形式化定义了基本项和次,然后提出一次基本项测试方法;在引入等价类概念之后,把测试推广到k次基本项。