基于C语言的软件潜在分析工具的设计与实现.docVIP

基于C语言的软件潜在分析工具的设计与实现 　　摘 要： 目前，在C语言软件潜在分析的过程中，往往忽略了对缺陷过程的管理，同时缺陷分析工作进展缓慢。针对上述问题，设计并开发了基于C语言的软件潜在分析工具，将C语言软件缺陷从发生源到造成事故的过程进行了分解，并采用静态分析方法查找源代码缺陷、故障模式和故障树方法分析可靠性缺陷、动态测试跟踪安全性缺陷。确定分析方法后，设计并实现了相应的工具。最后，通过实例对该工具进行了测试和验证，验证结果表明，该工具在缺陷的各个阶段均可对潜在缺陷进行有效的分析和管理，提高了软件潜在分析的效率，为安全关键软件的质量提供了保障。 　　关键词： 软件潜在分析； 软件可靠性； 软件安全性； 故障树分析； 调试器 　　中图分类号： TN915.04?34； TM417 文献标识码： A 文章编号： 1004?373X（2016）15?0081?05 　　Abstract： In the process of C programming language software potential analysis， the management of the defect generating process is often neglected， and the progress of the defect analysis work is slow.