基于公理系统的面向对象自动测试研究  

Research on Axiom-based Object-Oriented Software Automatic Testing

作　　者：胡煜[1] 李远杰[1] 曾明[1] 朱利[2] 

机构地区：[1]西安交通大学电子与信息工程学院,陕西西安710049 [2]西安交通大学软件学院,陕西西安710049

出　　处：《微电子学与计算机》2005年第7期16-18,23,共4页Microelectronics & Computer

基　　金：国家高技术研究发展计划(863)资助(2003AA1Z2610)

摘　　要：文章提出了一个基于公理系统的面向对象自动测试框架。该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘termrewriting’技术生成‘消息对’形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证。This paper presents a framework for automatic testing object-oriented software based on axiom system. This Framework first reads algebraic specification and axiom system of class-under-test, then generates＇ Message Pair＇formed test cases using term rewriting method, finally test cases are automatically executed and validated on Junit using velocity template engine.

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

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