The thesis presents a new test case automated generation method based on algebraic specification of ADT.

• 本文以代数规格说明为基础，提出了一种新的黑盒测试用例生成方法。