面向对象类测试方法研究  

Research on Object-oriented Class Testing Method

作　　者：赵丽萍[1] 汤文亮[1] 

机构地区：[1]华东交通大学软件学院,江西南昌330013

出　　处：《华东交通大学学报》2009年第4期82-86,99,共6页Journal of East China Jiaotong University

摘　　要：面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。Object-oriented software development raises new challenges for testing. The class-level testing is an important aspect of the test. The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame. Axiom system is the most important part of algebraic specification. The frame intends to design and implement a tool to aid constructing algebra specification, based on the scheme CLA. With the GNF schema, the frame could semi-automatically generate normal forms for the class-level testing. Finally, the algorithm GFT becomes a semi-automatic aided tool.

关 键 词：面向对象测试 代数规格说明 测试用例 公理系统 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]