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

Research on Axiom-based Object-Oriented Software Automatic Testing

文章提出了一个基于公理系统的面向对象自动测试框架。该框架首先从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.