基于MISRA標(biāo)準(zhǔn)的通用C語言自動化檢測工具.pdf_第1頁
已閱讀1頁,還剩100頁未讀 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)

文檔簡介

1、嵌入式領(lǐng)域要求軟件有很高的可靠性與安全性。C語言雖然是開發(fā)嵌入式軟件普遍使用的語言,但也會存在很多使用方式容易引起安全問題。通過設(shè)計支持“C語言安全編程規(guī)范”的自動化檢測工具來強(qiáng)化C語言使用方式已成為提高程序可靠性與安全性的一種十分有效的方法。公開文獻(xiàn)表明,我國目前幾乎沒有制定針對所有高可靠、高安全的嵌入式領(lǐng)域進(jìn)行軟件開發(fā)的C編程標(biāo)準(zhǔn)及自主研發(fā)嵌入式領(lǐng)域的通用C代碼規(guī)則檢測工具。在眾多的編程規(guī)范中MISRA C:2004已成為高可靠性、

2、高安全性的嵌入式領(lǐng)域中非常有影響力的軟件開發(fā)編程規(guī)范。因此設(shè)計實現(xiàn)一個基于MISRA C:2004標(biāo)準(zhǔn)的通用自動化檢測工具具有重要的現(xiàn)實意義。
  本論文重點對檢測C程序代碼是否符合MISRA C:2004編程規(guī)范中規(guī)則的方法進(jìn)行了深入研究,并設(shè)計實現(xiàn)了基于MISRA標(biāo)準(zhǔn)的通用C語言自動化檢測工具。本文完成的主要內(nèi)容為:
  1.對現(xiàn)有靜態(tài)信息提取方法進(jìn)行研究,本著提取靜態(tài)信息具有完整性與規(guī)范性的原則,提出使用Parser

3、Generator中LEX和YACC構(gòu)造詞法、語法分析器對源程序進(jìn)行信息提取的策略,并對LEX和YACC構(gòu)建詞法、語法分析器中的關(guān)鍵技術(shù)進(jìn)行了分析。
  2.對比分析現(xiàn)有代碼規(guī)則檢測工具的實現(xiàn)方法,針對MISRA C:2004編程規(guī)范中不同規(guī)則,采用對詞法分析及語法分析進(jìn)行擴(kuò)充的思路對本課題完成規(guī)則檢測的方法進(jìn)行了研究,確立實施代碼規(guī)則檢測的方法。
  3.對基于MISRA C:2004標(biāo)準(zhǔn)的通用自動化檢測工具進(jìn)行需求分析,

4、設(shè)計總體框架,實現(xiàn)各模塊功能。包括MISRA規(guī)則配置文件的生成、維護(hù)及操作;對目標(biāo)對象根據(jù)MISRA標(biāo)準(zhǔn)中不同規(guī)則分別使用YACC構(gòu)造支持MISRA標(biāo)準(zhǔn)的語法分析器及使用LEX構(gòu)建詞法分析器將源程序的靜態(tài)信息轉(zhuǎn)為一種中間模型;應(yīng)用檢測算法對中間模型進(jìn)行遍歷、匹配等操作實現(xiàn)對MISRA規(guī)則的檢測;查看與導(dǎo)出檢測結(jié)果。
  4.以C程序代碼為待測對象,對工具功能的有效性進(jìn)行驗證,結(jié)果表明,本文設(shè)計實現(xiàn)的基于MISRA標(biāo)準(zhǔn)的通用C語言自

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論