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

摘要

分析了软件静态分析技术在综合电子信息系统软件测试中的应用,提出了一组静态分析检查规则集,阐述了结合主流测试工具,实现对检查规则集的自动化支持。实例应用表明,该技术能较好地解决综合电子信息系统软件静态分析的充分性问题。