Algebraic specification of ADT is an important source of black - box testing.
抽象数据类型的代数规格说明体系是一种重要的 黑盒 测试依据.
互联网
The thesis presents a new test case automated generation method based on algebraic specification of ADT.
本文以代数规格说明为基础,提出了一种新的黑盒测试用例生成方法.
互联网