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