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

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

2、的，嵌入式系統(tǒng)也有其自身的特點，傳統(tǒng)的軟件測試理論不能直接用于嵌入式軟件的測試，因此嵌入式軟件的相應編程規(guī)則有著重要的意義，規(guī)則下的編程可使得嵌入式程序的安全性得以保證，特別是在汽車電子等實時控制領域。隨著實時軟件、嵌入式軟件等軟件變得越來越龐大和復雜，對其安全性、可靠性以及開發(fā)周期的要求也越來越高。本文介紹了一種標準C程序軟件的靜態(tài)測試工具，該工具可以通過對源C代碼程序的預處理、待統(tǒng)計關鍵信息的存取等，對程序代碼中宏定義、函數(shù)數(shù)量、控

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