一种软件代码精细分析技术

摘要

精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述"自动分析记录"的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发.