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

摘要：

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

关键词：软件测试、静态分析、过程约束信息、约束状态机

所属期刊栏目：23

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划2007AA010302,2009AA012404;国家自然科学基金91018002

在线出版日期：2011-06-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：534-542