作者：陈玲; 杨宗源形式规范测试用例测试框架谓词断言
摘要：测试是软件质量的直接保障，然而人工书写测试代码不但繁琐而且会带来很多问题，自动化的测试方法的研究仍然停留在理论阶段。基于（SPEC#＋NUnit）平台，提出了一种切实可行的面向对象软件的自动化测试方法。这种方法使用形式化谓词断言来作为标准判断测试成功与否，搜索测试用例空间，同时可以模拟对象中间状态，自动生成复杂数据的测试用例。这一平台的建立也使得测试应绝对反映设计，由设计来直接指导测试的思想成为可能。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
