综合电子信息系统软件静态分析技术的应用  

Application of Software Static Analysis Technology for Integrated Electronic Information System

作　　者：李凯[1] 何永辉[1] 张素芬[1] 

机构地区：[1]中国电子科技集团公司第二十八研究所,南京210007

出　　处：《指挥信息系统与技术》2014年第6期91-94,共4页Command Information System and Technology

摘　　要：分析了软件静态分析技术在综合电子信息系统软件测试中的应用,提出了一组静态分析检查规则集,阐述了结合主流测试工具,实现对检查规则集的自动化支持。实例应用表明,该技术能较好地解决综合电子信息系统软件静态分析的充分性问题。The application of software static analysis technology for integrated electronic information system is analyzed.The check rule set of software static analysis is proposed.The support to the check rule set by using several mainstream software test tools is described.Experimental results show that the technology can solve sufficiency problems of software static analysis for integrated electronic information system.

关 键 词：软件静态分析 软件测试工具 综合电子信息系统 

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