基于規(guī)則的嵌入式軟件系統(tǒng)靜態(tài)測(cè)試.pdf

1、隨著嵌入式系統(tǒng)設(shè)計(jì)的應(yīng)用領(lǐng)域越來(lái)越廣,嵌入式軟件產(chǎn)品的質(zhì)量受到重視。由于系統(tǒng)實(shí)時(shí)性和穩(wěn)定性的要求,軟件測(cè)試成為嵌入式開(kāi)發(fā)的一個(gè)重要部分。嵌入式系統(tǒng)有自身的特點(diǎn),傳統(tǒng)的軟件測(cè)試?yán)碚摬荒苤苯佑糜谇度胧杰浖臏y(cè)試,因此嵌入式軟件的測(cè)試有重要意義。
　　本文介紹了一種嵌入式軟件的靜態(tài)測(cè)試工具,該工具針對(duì)C代碼的特點(diǎn)設(shè)計(jì),幫助檢查代碼錯(cuò)誤,定位錯(cuò)誤位置;函數(shù)復(fù)雜度檢測(cè);生成函數(shù)間調(diào)用關(guān)系圖;生成測(cè)試報(bào)告。MISRA C規(guī)則是行業(yè)協(xié)會(huì)幫助用戶

2、開(kāi)發(fā)的安全、高可靠性的嵌入式軟件規(guī)則集。這種靜態(tài)測(cè)試工具支持MISRA C-2004標(biāo)準(zhǔn)。
　　根據(jù)MISRA C制定出《C檢查規(guī)則》,規(guī)則列出了C語(yǔ)言的19條代碼規(guī)范。函數(shù)間調(diào)用關(guān)系的圖由編譯器結(jié)合Graphviz生成。由于嵌入式軟件質(zhì)量標(biāo)準(zhǔn)的要求,函數(shù)復(fù)雜度決定了代碼出錯(cuò)的風(fēng)險(xiǎn),因此靜態(tài)測(cè)試軟件有必要計(jì)算出程序中分支的個(gè)數(shù),通過(guò)函數(shù)的復(fù)雜度衡量源代碼的安全性。論文設(shè)計(jì)的靜態(tài)測(cè)試軟件統(tǒng)計(jì)了程序中if-else分支,for循環(huán),s