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

《基于c语言的软件潜在分析工具的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于C语言的软件潜在分析工具的设计与实现　　摘要：目前，在C语言软件潜在分析的过程中，往往忽略了对缺陷过程的管理，同时缺陷分析工作进展缓慢。针对上述问题，设计并开发了基于C语言的软件潜在分析工具，将C语言软件缺陷从发生源到造成事故的过程进行了分解，并采用静态分析方法查找源代码缺陷、故障模式和故障树方法分析可靠性缺陷、动态测试跟踪安全性缺陷。确定分析方法后，设计并实现了相应的工具。最后，通过实例对该工具进行了测试和验证，验证结果表明，该工具在缺陷的各个阶段均可对潜在缺陷进行有效的分析和管理，提高了软件潜在分析的效率，为安

2、全关键软件的质量提供了保障。　　关键词：软件潜在分析；软件可靠性；软件安全性；故障树分析；调试器　　中图分类号：TN915.04?34；TM417文献标识码：A文章编号：1004?373X（2016）15?0081?05　　Abstract：IntheprocessofCprogramminglanguagesoftwarepotentialanalysis，themanagementofthedefectgeneratingprocessisoftenneglected，andtheprogressofthedefe

3、ctanalysisworkisslow.Inordertosolvetheaboveproblems，thesoftwarepotentialanalysistoolbasedonCprogramminglanguagewasdesignedanddeveloped.Inthepaper，theprocessfromthegenerationsourcecausingCprogramminglanguagesoftwaredefecttoaccident12occurrenceisdecomposed，inwhich

4、thestaticanalysismethodisusedtofindoutthesourcecodedefect，thereliabilitydefectisanalyzedwithfailuremodesandfaulttreemethod，andthesecuritydefectistrackedwithdynamictest.Thecorrespondingtoolwasdesignedandimplementedafterthedeterminationofanalysismethod.Thetoolwast

5、estedandverifiedwithaninstance.Theverificationresultsshowthatthetool，ineachstageofthedefect，canmanageandanalyzethepotentialdefectseffectivelyandimprovetheefficiencyofthesoftwarepotentialanalysis，andprovidestheguaranteeforthequalityofcriticalsoftwaresafety.　　Keyw

6、ords：softwarepotentialanalysis；softwarereliability；softwaresecurity；faulttreeanalysis；debugger　　0引言　　在航空、航天等安全关键领域，软件承担的任务包括数据采集、导航控制和通信指挥等任务。随着科技的发展，软件已经成为这些系统的神经中枢，发挥着越来越重要的作用。在安全关键系统的运行过程中，若其软件一旦发生故障，就可能造成十分严重的后果[1]。然而，目前的软件缺陷分析方法及工具均从某个单一的角度检测软件缺陷。在实际的可靠性和安全

7、性测试中，不可能只采用其中的一种分析方法来断定软件的缺陷，而需要将多种分析方法有效结合，在最大程度上保证安全关键软件的质量[2]。　　1需求分析12　　1.1设计目标　　首先，系统能够提供以XML为接口的缺陷导入，并对工程项目代码的静态分析结果进行处理，对代码的安全缺陷进行等级划分，实现层次化的缺陷识别，统一缺陷类型。其次，该平台能够建立准确的故障分析模式和故障树分析方法，在测试过程中提高软件故障分析及安全性测试的高效性和全面性，实现全数字仿真测试环境的无缝集成[3]。并提供便利的辅助功能，实现测试脚本的生成、测试用例

8、的生成、测试报告单的生成。　　1.2业务流程　　基于C语言的潜在分析工具共有两条主线流程，如图1所示。静态分析结束后，通过XML接口将缺陷导入本系统，可以查看缺陷所在的源文件、根据已整理完成的缺陷分级获得缺陷严重等级、对缺陷进行处理并填写问题报告单、编写测试用例等。使用系统提供的工具在故障模式辅助下的故障树建模，并计算故障树的最小