軟件潛在缺陷分析系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn).pdf

1、在航空、航天等領(lǐng)域，軟件系統(tǒng)承擔(dān)著飛行控制、數(shù)據(jù)采集和系統(tǒng)指揮等任務(wù)，起著十分重要的作用。在這些安全關(guān)鍵軟件應(yīng)用之前，必須清除其軟件的潛在缺陷。由于航空航天工業(yè)的系統(tǒng)軟件通常為實(shí)時(shí)嵌入式軟件，而且在嵌入式領(lǐng)域中，C語言以其靈活性、易上手、效率高等特點(diǎn)，成為嵌入式軟件開發(fā)的主流開發(fā)語言。因此，需要有針對(duì)性的對(duì)C語言的軟件缺陷進(jìn)行分析和處理。
　　目前，國內(nèi)外對(duì)C語言軟件的潛在缺陷分析的研究都取得了一些成果，包括若干分析方法和系統(tǒng)。但

2、在實(shí)際的軟件缺陷分析過程中發(fā)現(xiàn):已有的軟件缺陷分析方法及系統(tǒng)均從某個(gè)單一的角度進(jìn)行分析，忽略了對(duì)缺陷過程的管理;同時(shí)這些分析方法存在若干不足，使得測試工作進(jìn)展緩慢。面對(duì)這些不足，本文結(jié)合用戶要求，設(shè)計(jì)并開發(fā)了基于C語言的潛在分析系統(tǒng)，該系統(tǒng)采用面向缺陷流程的集成分析與管理方法，可對(duì)缺陷產(chǎn)生到造成事故的整個(gè)過程進(jìn)行跟蹤，并通過接口化的方式結(jié)合多種缺陷分析方法以實(shí)現(xiàn)優(yōu)勢互補(bǔ)，是一個(gè)流程化、多維化的缺陷分析輔助系統(tǒng)，具有較高的實(shí)用性，能夠使軟