论文部分内容阅读
面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分，该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现，采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现，最后在此基础上，将GFT算法实现为半自动化辅助工具。