期刊文献+

过程约束信息在软件静态测试中的应用 被引量:1

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

参考文献15

  • 1Ball T,Rajamani S K.The SLAM project:debugging system software via static analysis[C]//Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.New York:ACM Press,2002:1-3.
  • 2Bush W R,Pincus J D,Sielaff D J.A static analyzer for finding dynamic programming errors[J].Software:Practice & Experience,2000,30(7):775-802.
  • 3Chelf B,Engler D,Hallem S.How to write system-specific,static checkers in metal[C]//Proceedings of the 4th ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering.New York:ACM Press,2002:51-60.
  • 4Hallem S,Chelf B,Xie Y C,et al.A system and language for building system-specific,static analyses[C]//Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.New York:ACM Press,2002:69-82.
  • 5Emanuelsson P,Nilsson U.A comparative study of industrial static analysis tools[M]//Lecture Notes in Computer Science.Heidelberg:Springer,2008,217:5-21.
  • 6Banning J P.An efficient way to find the side effects of procedure calls and the aliases of variables[C]//Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages.New York:ACM Press,1979:29-41.
  • 7Cooper K D,Kennedy K.Interprocedural side-effect analysis in linear time[J].ACM SIGPLAN Notices,2004,39(4):219-228.
  • 8Cooper K D,Kennedy K.Efficient computation of flow-insensitive interprocedural summary information-a correction[J].ACM SIGPLAN Notices,1988,23(4):35-42.
  • 9Mohd-Saman M Y,Evans D J.Inter-procedural analysis for parallel computing[J].Parallel Computing,1995,21(2):315-338.
  • 10Emami M,Ghiya R,Hendren L J.Context-sensitive interprocedural points-to analysis in the presence of function pointers[C]//Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.New York:ACM Press,1994:242-256.

二级参考文献26

  • 1李福川,宋晓秋.软件测试中的新方法——区间代数方法[J].计算机工程与设计,2005,26(10):2576-2578. 被引量:4
  • 2高传平,谈利群,宫云战,张威.基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统,2006,27(12):2222-2227. 被引量:3
  • 3Ghodrat M A, Givargis T, Nicolau A. Expression equivalence checking using interval analysis [J]. IEEE Transactions on Very Large Scale Integration Systems, 2006, 14(8): 830-842.
  • 4Ngo M N, Tan H B K. Detecting large number of infeasible paths through recognizing their patterns [C] //Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, Croatia,2007:215-224.
  • 5http://gaol, sourceforge, net/.
  • 6http://www, math. uni-wuppertal, de/wrswt/software/filib, html.
  • 7http://interval, sourceforge, net/interval/index, html.
  • 8http://www, netlib, org/blas/blast-forum/.
  • 9http://jlint, sourceforge, net.
  • 10http://findbugs, sourceforge, net.

共引文献63

同被引文献1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部