資料介紹
自從MISRA C第一次出現(xiàn)以來,人們就認(rèn)識到當(dāng)不能或不合理地遵循指導(dǎo)方針的要求時,情況有時會發(fā)生。然而,被批準(zhǔn)的違規(guī)行為,即所謂的偏差,已經(jīng)引起了很多爭論,特別是在討論它們對MISRA遵守要求的影響時。在項目中已經(jīng)提出了無數(shù)的遵從性方法,從“不允許偏差”政策到自由使用偏差,試圖對不遵從性領(lǐng)域進行辯解。
MISRA依從性:2016修訂依從性指南,以及:
定義了MISRA順應(yīng)性的含義;
提供一種機制來裁剪指南的分類,以符合項目的需要;
對偏差的使用提供更清晰的指導(dǎo);
提供建立預(yù)先批準(zhǔn)的“許可證”的機制,以幫助簡化偏離過程;
要求發(fā)布標(biāo)準(zhǔn)化聲明,以顯示項目所要求的最終合規(guī)水平。
該指南將成為MISRA C和MISRA C++指南的所有未來版本的標(biāo)準(zhǔn)方法。它也是對MISRA語言指南的所有現(xiàn)有版本的一種可選的增強,并且完全兼容。
MISRA語言文獻(xiàn)〔1〕、〔2〕、〔3〕和〔4〕((指南)〕是C語言和C++語言編碼準(zhǔn)則的匯編。當(dāng)滿足質(zhì)量標(biāo)準(zhǔn)的要求時,它們被廣泛應(yīng)用于關(guān)鍵軟件系統(tǒng)的開發(fā)中。許多軟件項目規(guī)定,代碼質(zhì)量應(yīng)該通過滿足指南的要求來保證。然而,短語“MISRA柔順”的含義需要仔細(xì)定義。
為了使MISRA順應(yīng)性的要求具有意義,有必要建立:
準(zhǔn)確地應(yīng)用了哪些指導(dǎo)方針;
執(zhí)行辦法的有效性;
使用偏差的程度;
使用有紀(jì)律的軟件開發(fā)過程;
項目外開發(fā)的任何組件的狀態(tài)。
準(zhǔn)則文件承認(rèn),在某些情況下,遵守編碼準(zhǔn)則是不合理的,甚至不可能的,并且必須偏離。偏離的自由并不一定會損害服從的要求,但它確實承擔(dān)著巨大的責(zé)任。在沒有紀(jì)律的發(fā)展過程中,很容易被濫用。充其量,這將破壞任何有關(guān)MISRA遵守要求的可信度;最壞,它將危及代碼質(zhì)量、安全或安全。因此,必須強調(diào)的是,只有在符合本文件所列原則的過程下開發(fā)代碼時,才能提出遵守準(zhǔn)則的可信聲明。
本文件給出的指導(dǎo)取代了以前在各種MISRA指南中公布的遵從性、偏差和工藝要求。
注意:MISRA指南文件已經(jīng)經(jīng)過多年的修改和修訂。本文使用了MISRA C:2004和MISRA C:2012指南的例子和摘錄,但是討論的問題與MISRA發(fā)布的所有指南同樣相關(guān)。
在項目開始時,應(yīng)采取采納和應(yīng)用MISRA準(zhǔn)則的決定。MISRA準(zhǔn)則的應(yīng)用通常是雙方之間許多合同協(xié)議中的一個要求,即委托項目的組織(收購方)和制定代碼的組織(供應(yīng)商)。或者他們可能只是同一個組織內(nèi)的不同部門。兩者都需要積極參與確保遵守MISRA指導(dǎo)方針的任務(wù)。MISRA遵守不是一個嚴(yán)格定義的概念,接受標(biāo)準(zhǔn)將是一個談判的問題。然而,有一些明確的原則必須遵守,以便遵守的概念具有可信性。
- whitepaper-perforce-what-is-misra
- MISRA-C-:2004中文版 1次下載
- 基于霍爾效應(yīng)的編碼電機實現(xiàn)PID操作 9次下載
- 面向硬件實現(xiàn)的HEVC幀內(nèi)編碼快速算法 10次下載
- 糾錯編碼原理及MATLAB實現(xiàn) 19次下載
- 基于深度學(xué)習(xí)的顯著性目標(biāo)檢測的數(shù)據(jù)集和評估準(zhǔn)則 0次下載
- 自編碼器基礎(chǔ)理論與實現(xiàn)方法、應(yīng)用綜述 9次下載
- 使用FPGA實現(xiàn)MELP語音壓縮編碼器的詳細(xì)資料說明 17次下載
- 如何使用GCC實現(xiàn)支持MISRA-C的安全編譯器的資料概述 16次下載
- 基于區(qū)分性準(zhǔn)則的Bottleneck特征及其在LVCSR中的應(yīng)用 0次下載
- 軟件編程規(guī)范(MISRA-C) 26次下載
- Datapath綜合的編碼準(zhǔn)則手冊
- 符合中國數(shù)字電視地面廣播標(biāo)準(zhǔn)的前向糾錯碼編碼器設(shè)計
- 借鑒MISRA 規(guī)范減少C 語言程序隱患
- TPM接口命令標(biāo)準(zhǔn)符合性測試的設(shè)計與實現(xiàn)
- embOS的MISRA-C:2012一致性 547次閱讀
- 使用 MISRA C++:2023? 避免基于范圍的 for 循環(huán)中的錯誤 836次閱讀
- 汽車電子行業(yè)的MISRA C標(biāo)準(zhǔn)解讀 1265次閱讀
- 基于分形圖像編碼改進算法提高分形編碼的速度和壓縮比 2144次閱讀
- 電子編碼器使用方法 3758次閱讀
- 解析信源編碼與信道編碼之間的區(qū)別 3.7w次閱讀
- 基于VHDL的卷積編碼實現(xiàn) 詳解卷積編碼的應(yīng)用 5519次閱讀
- 格雷碼編碼器功能實現(xiàn) 1.2w次閱讀
- 光電編碼器用可編程計數(shù)電路的設(shè)計與實現(xiàn) 1w次閱讀
- c語言如何實現(xiàn)哈夫曼編碼與譯碼 1w次閱讀
- java實現(xiàn)的哈夫曼編碼與解碼 5782次閱讀
- 電子功率準(zhǔn)則和信息準(zhǔn)則介紹 1269次閱讀
- NASA的十大編碼準(zhǔn)則 2017次閱讀
- 基于FPGA的多進制BCH編碼 4793次閱讀
- JPEG2000 MQ編碼算法的優(yōu)化和FPGA實現(xiàn) 3396次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7藍(lán)牙設(shè)備在嵌入式領(lǐng)域的廣泛應(yīng)用
- 0.63 MB | 3次下載 | 免費
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論