基于MISRA的C程序規(guī)則分析驗(yàn)證平臺(tái)的實(shí)現(xiàn).pdf

1、基于基于MISRA的C程序規(guī)則分析驗(yàn)證平臺(tái)的程序規(guī)則分析驗(yàn)證平臺(tái)的實(shí)現(xiàn)實(shí)現(xiàn)TheimplementationofanalysisverificationplatfmofCprogrambaseonMISRArules領(lǐng)域：軟件工程作者姓名：李舒晗指導(dǎo)教師：章亦葵企業(yè)導(dǎo)師：馬捷天津大學(xué)軟件學(xué)院二零一四年十二月摘要在軟件開發(fā)過程中，遵守編程規(guī)則不僅可以使代碼簡單一致、減少代碼的缺陷，還可以提高代碼的可讀性，便于團(tuán)隊(duì)協(xié)作開發(fā)以及后期維護(hù)。同樣

2、的，嵌入式系統(tǒng)也有其自身的特點(diǎn)，傳統(tǒng)的軟件測試?yán)碚摬荒苤苯佑糜谇度胧杰浖臏y試，因此嵌入式軟件的相應(yīng)編程規(guī)則有著重要的意義，規(guī)則下的編程可使得嵌入式程序的安全性得以保證，特別是在汽車電子等實(shí)時(shí)控制領(lǐng)域。隨著實(shí)時(shí)軟件、嵌入式軟件等軟件變得越來越龐大和復(fù)雜，對(duì)其安全性、可靠性以及開發(fā)周期的要求也越來越高。本文介紹了一種標(biāo)準(zhǔn)C程序軟件的靜態(tài)測試工具，該工具可以通過對(duì)源C代碼程序的預(yù)處理、待統(tǒng)計(jì)關(guān)鍵信息的存取等，對(duì)程序代碼中宏定義、函數(shù)數(shù)量、控

3、制流分支和循環(huán)體結(jié)構(gòu)等基本信息進(jìn)行統(tǒng)計(jì)和顯示。同時(shí)支持MISRAC2004標(biāo)準(zhǔn)，即針對(duì)ANSIC標(biāo)準(zhǔn)下C代碼進(jìn)行驗(yàn)證方法的設(shè)計(jì)，幫助檢查代碼對(duì)于MISRAC2004規(guī)則的符合程度。本文中主要根據(jù)各規(guī)則驗(yàn)證所需的代碼范圍，進(jìn)行四個(gè)大類別的規(guī)則檢驗(yàn)，并定位代碼中違反規(guī)則的具體位置和違規(guī)信息，同時(shí)進(jìn)行直觀化顯示。本文通過對(duì)MISRAC規(guī)則自動(dòng)化檢查方法平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)，證明了自動(dòng)化檢查編程規(guī)則理論的可行性，利用該方法可以自動(dòng)檢測出程序中的不符