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

The Application of Constraint-Procedure Information in Software Static Testing

作　　者：金大海[1] 宫云战[1] 杨朝红[1] 肖庆[1] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《计算机辅助设计与图形学学报》2011年第3期534-542,共9页Journal of Computer-Aided Design & Computer Graphics

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

摘　　要：为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(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.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]