摘要
为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用过程约束信息前后对测试结果的影响.实验结果表明,过程约束信息可以在一定程度上提高软件静态测试的准确性.
In order to detect context-sensitive inter-procedural defect with static analysis, a method using constraint-procedure information (CPI) was proposed. The context-sensitive defect was defined via the state machine with constraint models, based on this, external information and constraint information were defined for CPI. According to the data flow equation, some algorithms for generating and propagating CPI were described respectively. Based on a defect test system (DTS), the CPI was used in it for necessary inter-procedural information. Experimental results show that the precision of software static testing in DTS can be improved by this method.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2011年第3期534-542,共9页
Journal of Computer-Aided Design & Computer Graphics
基金
国家"八六三"高技术研究发展计划(2007AA010302
2009AA012404)
国家自然科学基金(91018002)
关键词
软件测试
静态分析
过程约束信息
约束状态机
software testing
static analysis
constraint-procedure information
constraint state machine