节点文献
基于公理系统的面向对象自动测试研究
Research on Axiom-based Object-Oriented Software Automatic Testing
【摘要】 文章提出了一个基于公理系统的面向对象自动测试框架。该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘termrewriting’技术生成‘消息对’形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证。
【Abstract】 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.
【关键词】 面向对象；
软件测试；
测试用例；
代数规格说明；
公理系统；
【Key words】 Object-oriented； Software testing； Test case； Algebraic specification； Axiom system；
【Key words】 Object-oriented； Software testing； Test case； Algebraic specification； Axiom system；
【基金】 国家高技术研究发展计划(863)资助(2003AA1Z2610)
- 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,2005年07期
- 【分类号】TP311.52
- 【被引频次】6
- 【下载频次】78