SDL抽象数据类型的测试和实现

Testing and Implementation of SDL Abstract Data Types

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

Abstract data types constitute an important part of SDL, which is a standard language recommended by CCITTA new testing method using basic terms to test the completeness and c ontradiction of abstract data type definitions is proposed in the paper. This method differs from conventional logical proving method Basic terms and usage are formally defined and testing method based on 1 usage of basic terms is given. The method is then generalized to k usage of basic terms after the concept of equivalent classes is introduced.