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

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

大型信息系统软件质量的静态分析

文中论述了大型信息系统的软件质量要求,在此基础上介绍了软件质量保证的重要方法、软件质量的静态分析以及静态度量的自动化测试工具Logiscope。同时提出了采用自动化测试工具Logiscope对大型信息系统进行软件静态质量分析的实施方法。