一种基于类数据流的软件测试技术

• 作者: 党建国 刘金根 李庆华 缪天鹏
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 类数据流 类测试 对象状态
• 年，卷（期）: 2003,（11）
• 页码范围: 17-19
• 页数: 3页
• 分类号: TP311.5
• 字数: 3279字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2003.11.006

摘要

提出了一种类数据流测试技术,通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件,匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例).这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误,并且弥补了传统数据流测试技术的不足,减少了重复测试,提高了测试效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李庆华	华中科技大学计算机科学与技术学院	113	1366	21.0	30.0
2	党建国	华中科技大学计算机科学与技术学院	2	15	1.0	2.0
3	刘金根	华中科技大学计算机科学与技术学院	3	19	2.0	3.0
4	缪天鹏	华中科技大学计算机科学与技术学院	6	54	4.0	6.0