论文部分内容阅读
单元测试是独立测试系统模块的一种方法.随着软件规模及其复杂度不断扩大,单元测试也越来越受到人们的关注.然而,编写单元测试代码,生成测试用例是一件非常耗时的工作;编写出能够反映应用程序在某一特定方面用途的测试模型更加困难.本文中描述了华东师范大学软件工程实验室所开发的两个自动测试生成平台:JMLAutoTest和JAOUT.JMLAutoTest是基于形势规范的测试平台,它可以从程序中所指定的JML规范自动生成代码和测试用例.而JAOUT是面向方面的测试平台.在此平台中,测试者可以使用面向方面的程序描述语言(AOTDL)来建立与应用相关的高层TestingAspects,这些aspects又可以被JAOUT工具转化为AspectJ中的低级一般的aspects.JAOUT根据这些TestingAspects来自动产生单元测试的代码和测试标准.