过程约束信息在软件静态测试中的应用

• 作者: 宫云战 杨朝红 肖庆 金大海
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 软件测试 静态分析 过程约束信息 约束状态机
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 534-542
• 分类号: TP311.5
• 字数: 8703字
• 语种: 中文

摘要

为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用过程约束信息前后对测试结果的影响.实验结果表明,过程约束信息可以在一定程度上提高软件静态测试的准确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	北京邮电大学网络与交换技术国家重点实验室	50	577	15.0	23.0
2	杨朝红	北京邮电大学网络与交换技术国家重点实验室	17	339	9.0	17.0
3	肖庆	北京邮电大学网络与交换技术国家重点实验室	9	208	7.0	9.0
4	金大海	北京邮电大学网络与交换技术国家重点实验室	10	91	4.0	9.0