基于SPEC#的自动测试方法

• 作者: 杨宗源 陈玲
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: SPEC# 形式规范 测试用例 测试框架 谓词断言
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 89-91
• 页数: 3页
• 分类号: TP3
• 字数: 2267字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2007.11.033

摘要

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段.基于(SPEC#+NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法.这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例.这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨宗源	华东师范大学计算机科学系软件工程实验室	32	326	9.0	17.0
2	陈玲	华东师范大学计算机科学系软件工程实验室	3	1	1.0	1.0