基于SPEC#的自动测试方法  

AN APPROACH TO TESTING OBJECT-ORIENTED SOFTWARE SYSTEM

作　　者：陈玲[1] 杨宗源[1] 

机构地区：[1]华东师范大学计算机科学系软件工程实验室,上海200062

出　　处：《计算机应用与软件》2007年第11期89-91,共3页Computer Applications and Software

摘　　要：测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段。基于(SPEC#+NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法。这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例。这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能。Test is the direct guarantee of the softwares quality. Writing test code manually is not only labor-intensive but also remains a lot of problems. The research on the software automatic test is still at the stage of academic study. A practical approach to testing object-oriented software system is presented based on the （SPEC# ＋ NUnit） platform. This approach can simulate the mid-state of the object, generate the complicated structural test cases automatically, and generate the test oracles by the formal predicates. The implementation of the automatic testing framework makes it possible that the test should absolutely reflect the design and the whole process of the test phase should be thoroughly directed by the design.

关 键 词：SPEC# 形式规范 测试用例 测试框架 谓词断言 

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