Test软件代码静态及分析经验.docVIP

技术白皮书 软件代码 静态分析经验 版本：2.0 日期：2007-3-24 西南计算机有限责任公司软件测评中心 前 言 《技术白皮书》是由上海创景计算机系统有限公司翻译整理的高质量软件开发相关的技术白皮书。鉴于目前国内相关行业实施高可靠性软件开发的现状，我们整理该白皮书的目的是为了帮助软件开发人员在实际工作中更好的改进相关工作。 我们希望通过我们的相关工作，辅助客户能够更好更快的实施高质量的软件开发；我们的目标是为您提供一整套的高质量软件的开发和质量保证的解决方案；并通过我们优质的服务保证该方案能够在相关单位按照符合单位现状的方式得到贯彻和实施。 如果您有相关的问题或者建议请和我们联系。 最后，衷心感谢多年来大家对上海创景计算机系统有限公司的关心和支持！ 软件代码静态分析经验 Andy German-QinetiQ Ltd 摘要 英国国防部提倡采用软件代码静态分析方法，以及一些分析工具的应用。这篇文章讨论的是：静态分析是什么，对一些静态分析工具的评价，以及对军用航空软件进行静态代码分析所获得的一些经验。这篇文章是基于2001年2月英国布里斯托尔ISBN 1-85233-411-8 Springer第九届安全苛刻性协会论坛的‘安全苛刻性系统协会’的一篇，是一篇航空软件代码静态分析的经验之谈。 一．绪论 大部分软件错误虽然令人感到厌烦，但却没有太的危害的，一个很好的例子