在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

代碼覆蓋率分析是否必要

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:JAY THOMAS ? 2022-11-01 10:58 ? 次閱讀

程序員討論測試時,經常出現的一個問題是多少才足夠?我需要獲得100%的保險嗎?讓我們首先解決房間里的大象:完全測試一個軟件是不可能的。不相信我?一書中描述的100行程序有多達1018條獨特的路徑。實際上,當您意識到當代軟件通常超過數十萬甚至數百萬行代碼時,您很快就會意識到完全測試一個軟件是多么不切實際。

一次正在度假,接到一個來自世界偏遠地區的衛星電話,告訴我我正在執行的任務是“在飲料中”——一種委婉的說法,表明預計飛行的飛行器在水下。最后,它被證明是由于生銹的螺母而導致的故障,但在調查該故障的過程中,我們通過安全關鍵代碼發現了許多路徑,這些路徑未被我們的測試制度所涵蓋。雖然在接下來的幾個月里解決了所有問題,但我的假期很難享受,因為我不知道發生了什么。

那么多少軟件測試才足夠呢?這是任務和安全關鍵型軟件項目解決的問題,可以從中吸取一些寶貴的經驗教訓。最基本的方法是測試,測量,重復。這里提到的測量是結構覆蓋分析,或代碼覆蓋率。許多行業標準(例如,航空航天的DO-178和汽車的ISO 26262)要求使用代碼覆蓋率作為證明測試完整性的唯一手段。

結構覆蓋率分析是對給定測試或一組測試執行的代碼結構的度量。最基本的指標之一,語句覆蓋率 (SC),衡量通過測試執行的代碼語句。更嚴格的度量是決策覆蓋率 (DC),它包括 SC 的目標以及測量從代碼中的每個決策點獲取的決策路徑。更嚴格的是修改條件/決策覆蓋率(MC / DC),其中包括DC的目標以及測量決策點中每個條件的值。所有這三種測量都是由DO-178標準強制要求的。

代碼覆蓋率通常以百分比表示,軟件測試越徹底,代碼覆蓋率越高,軟件包含缺陷的可能性就越小。

安全關鍵型軟件標準高度關注如何有效地測試軟件。他們指出,有效的軟件測試需要一種規范的方法,其中代碼覆蓋率用于提供有關迄今為止測試有效性的反饋。應用于系統的測試嚴格程度必須由系統故障的影響決定。后果越嚴重,測試必須越嚴格。

然而,需要注意的是;100%的覆蓋率并不一定轉化為有效的測試。以最大化代碼覆蓋率為目標的測試可能會遺漏代碼中的重要問題,而嚴格測試有助于識別這些問題,例如:

? 與需求相關的錯誤? 缺少代碼

? 與數據流相關的錯誤

? 爭用條件

? 硬件兼容性/配置

盡管如此,作為測試完整性和嚴謹性的衡量標準,代碼覆蓋率是無與倫比的,每個軟件開發項目都應該采用。

審核編輯:郭婷

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 飛行器
    +關注

    關注

    13

    文章

    726

    瀏覽量

    45588
  • 代碼
    +關注

    關注

    30

    文章

    4815

    瀏覽量

    68852
收藏 人收藏

    評論

    相關推薦

    英諾達發布全新靜態驗證產品,提升芯片設計效率

    了重要一步,將為中國芯片產業的發展注入新的活力。 靜態驗證作為一種業界普遍使用的驗證方法,通過對設計的源代碼進行深入分析,能夠發現設計中的潛在問題。與動態仿真驗證和形式化驗證相結合,靜態驗證可以顯著提高驗證的覆蓋率,幫助設計師在
    的頭像 發表于 12-24 16:53 ?371次閱讀

    synopsys 的design ware:DW_fpv_div,浮點數除法器,默認32位下,想提升覆蓋率(TMAX),如果用功能case去提升覆蓋率呢?

    覆蓋率只有微微的提升,請問是否要遍歷很多數才能提升覆蓋率嗎?一般這種浮點數有什么方法去跑嗎? 每個數都跑豈不是天文數字,本人剛接觸不久,請大佬指教下,謝謝
    發表于 10-15 18:38

    利用靜態檢查工具完善功能安全中測試覆蓋率

    在功能安全中測試覆蓋率是比較重要的概念,也是在驗證過程中通常需要花費時間較多的步驟,如果能借助于靜態檢查工具的死邏輯查找和聲明、測試用例自動補全等功能往往能取得事半功倍的效果。
    的頭像 發表于 09-05 09:15 ?387次閱讀
    利用靜態檢查工具完善功能安全中測試<b class='flag-5'>覆蓋率</b>

    智能網聯是否是自動駕駛落地的必要條件?

    ;另一種則是智能網聯,主張通過車輛與外部環境的互聯互通來提升自動駕駛的安全性和可靠性。越來越多的業內人士認為,智能網聯是實現全面自動駕駛的關鍵路徑,但這是否意味著智能網聯是自動駕駛落地的必要條件? ? 什么是智
    的頭像 發表于 08-29 09:02 ?349次閱讀

    TL084方向比例放大器中的平衡電阻是否必要

    在對一個20mVpp的正弦波做兩級10倍放大時,是否需要此電阻。如需要,是否對電路輸入阻抗造成影響。這個電阻在模電課程中是必要的,可是在Ti的模電工程師手冊中卻被省去。
    發表于 08-02 08:44

    2025年智能水表將覆蓋全北京!超聲波測量技術助力智能水表實現全天候高精度流量監測

    北京日報報道,預計到“十四五”規劃期末,北京市將基本實現智能遠傳水表的全覆蓋。據2023年3月22日的數據顯示,北京市自來水集團已經為用戶安裝了超過330萬支智能遠傳水表,覆蓋率超過了50%。
    的頭像 發表于 07-19 16:05 ?739次閱讀
    2025年智能水表將<b class='flag-5'>覆蓋</b>全北京!超聲波測量技術助力智能水表實現全天候高精度流量監測

    瑞薩RX MCU功能安全解決方案簡介(4-2)SIL3系統軟件包

    經證明,功能安全平臺軟件執行的自我診斷和交叉監測的診斷覆蓋率可以達到90%。
    的頭像 發表于 07-08 18:33 ?1393次閱讀
    瑞薩RX MCU功能安全解決方案簡介(4-2)SIL3系統軟件包

    單元測試工具TESSY 新版本亮點速覽:提供測試駕駛艙視圖、超級覆蓋率代碼訪問分析、增強覆蓋率審查

    各種測試對象和方法的所有覆蓋率測量結果,并記錄在新的測試總結報告中。 了解更多TESSY新版本功能詳情或申請免費試用,歡迎咨詢TESSY中國授權分銷商——龍智。 新版本功能亮點速覽: 1、超級覆蓋率 逐行評估源代碼。 基于標準
    的頭像 發表于 07-08 16:20 ?465次閱讀
    單元測試工具TESSY 新版本亮點速覽:提供測試駕駛艙視圖、超級<b class='flag-5'>覆蓋率</b>、<b class='flag-5'>代碼</b>訪問<b class='flag-5'>分析</b>、增強<b class='flag-5'>覆蓋率</b>審查

    該如何提高代碼容錯、降低代碼耦合度?

    提高RT-Thread代碼的容錯和降低耦合度是確保代碼質量和可維護性的關鍵,下面列舉了幾種在編寫代碼時,提高代碼容錯
    的頭像 發表于 06-26 08:10 ?716次閱讀
    該如何提高<b class='flag-5'>代碼</b>容錯<b class='flag-5'>率</b>、降低<b class='flag-5'>代碼</b>耦合度?

    如何將SystemVerilog斷言屬性和覆蓋屬性置于在設計上?

    功能覆蓋、激勵生成和運行管理是當今功能驗證的三大相互關聯的任務。其中,功能覆蓋率可以說是最重要的,主要是因為覆蓋率收斂是tape的主要標準。
    的頭像 發表于 05-28 10:30 ?810次閱讀
    如何將SystemVerilog斷言屬性和<b class='flag-5'>覆蓋</b>屬性置于在設計上?

    如何選擇IP DV與SOC DV

    IP DV的主要工作是根據IP的spec,提取testplan,搭建驗證環境,收斂覆蓋率。但是上述的過程多見于新的IP,對于已經成熟的IP,IP DV的主要工作是針對 改動的feature 提取testplan,增加驗證用例。
    的頭像 發表于 03-21 10:02 ?994次閱讀

    在Flexible Safety RTOS安全應用中集成X-CUBE-STL的步驟

    安全操作系統Flexible Safety RTOS提供了空間隔離保護,簡化安全產品的設計,其安全插件可幫助用戶安全團隊提高微控制器診斷覆蓋率。
    的頭像 發表于 03-15 12:16 ?1432次閱讀
    在Flexible Safety RTOS安全應用中集成X-CUBE-STL的步驟

    AI(VSO)賦能的VCS驗證流程

    本質是讓設計人員聚焦于修復BUG,而不是花時間發現BUG。將需要大量人力的工作交給AI,極大的推動了覆蓋率收斂的速度。
    發表于 03-01 14:04 ?1295次閱讀
    AI(VSO)賦能的VCS驗證流程

    手動檢測是否被入侵

    Gitlab代碼是否又被修改過,用gitdiff查看 查看代碼的日志 代碼是否有被改動過 查看服務器日志
    發表于 02-29 10:45 ?1090次閱讀

    PSOC4如何通過代碼修改串口波特?

    由于項目需要,需要實時改變串口波特,PSOC4如何通過代碼修改串口波特?謝謝
    發表于 02-19 07:40
    主站蜘蛛池模板: 日本黄色三级视频| 免费看的一级毛片| 亚洲精品色图| 亚洲三级视频在线观看| 亚洲国产成人精品不卡青青草原| 四虎影业| 男女交性拍拍拍高清视频| 精品三级三级三级三级三级| 成人在线91| 午夜观看| 国产精品久久久久久久久久免费| 欧美18在线| 欧美日韩亚洲国产| 欧美精品色精品一区二区三区| 久久精品视频观看| 777国产精品永久免费观看| 三级黄色网| 男人女人的免费视频网站| 精品国产免费久久久久久婷婷| 性欧美videofree另类超大 | 国产美女视频黄a视频全免费网站| 视频免费在线观看| 免费无码看av的网站| 色站视频| 国产乱人视频免费播放| 手机福利视频| 88影视在线观看污污| 一级毛片一级毛片一级毛片aa| 日本免费观看网站| 成年看片免费高清观看| 黄色a网站| 日本在线不卡免费| 欧美骚| 高清视频一区二区| 色老头在线视频| 国产人成精品香港三级古代| 日日做夜夜爽夜夜爽| 亚洲视频1| 国内一区二区三区精品视频| 日韩色爱| 97色偷偷|