色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

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

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

3天內不再提示

100%代碼覆蓋率分析是否必不可少

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

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

覆蓋率分析是軟件安全的重要組成部分,但隨之而來的是兩個問題 - 覆蓋率是多少 - 以及我如何最大限度地減少實施流程所涉及的工作量。讓我們看一下安全關鍵流程標準的指南,看看它們如何討論覆蓋范圍,以及覆蓋范圍如何影響風險管理。我們還將考慮實施工作 - 基本規則是從簡單開始并建立 - 并嘗試了解這些因素如何結合在一起。

在現實生活中 – 從選擇承保級別的實際角度來看,始終從報表承保范圍開始,并在必要時從那里開始工作。DO-178 和 ISO 26262 的指南可幫助您確定適合您項目的覆蓋級別。這兩個標準都要求進行系統安全評估,以確定故障的影響和系統目標故障率,這反過來又定義了證明系統已經過適當測試所需的測試級別。毋庸置疑,失敗的影響越大,測試效果必須越嚴格。然后強制要求適當級別的代碼覆蓋率,以證明已達到適當的測試級別。

這導致了一些問題,例如您的系統對您的任務有多重要?我應該以什么樣的故障率為目標?下表提供了一些關于選擇美國聯邦航空管理局 (FAA) 就 DO-178 討論的適當覆蓋范圍級別的指導。

450-LDRA+Table.jpg.jpg

代碼覆蓋率作為測試嚴格性的衡量標準必須謹慎應用。例如,在沒有測試計劃的情況下執行系統所實現的覆蓋范圍是不合適的。執行必須由測試計劃和需求驅動。通常,安全關鍵軟件標準的指導是,為了證明適當的測試嚴格程度,測試必須由需求驅動并在系統級別執行。但是,根據適當的要求,您可以使用在單元級別驅動的測試來補充此測試。只有這樣,才適合使用覆蓋率分析來衡量測試的完整性。

在實踐中,從系統級測試中實現 100% 的代碼覆蓋率既不合適也沒有必要。實現系統的最大代碼覆蓋率是一個迭代過程。使用代碼覆蓋率結果作為反饋,可以識別測試過程中的缺陷,例如缺少需求、缺少測試用例、無法訪問、不需要或失效/停用的代碼。然后可以添加測試用例,解決需求,重構代碼以解決提出的問題。然后可以更新和重復測試,直到滿足項目的測試效果目標。這可能包括考慮未使用的代碼(例如,當僅使用部分開源組件時)或用測試工具的結果增強系統級測試結果,甚至代碼檢查。

在選擇有助于進行覆蓋率測量的工具時,請務必注意,并非所有覆蓋率分析工具都是平等的,選擇錯誤的工具可能會損害您準確測量覆蓋范圍的能力,或者更糟的是,提供不正確的結果。以下是選擇覆蓋范圍分析工具時需要考慮的一些問題:

? 覆蓋率測量實施的內存占用量是多少,尤其是在測試嵌入式系統時?

? 該工具是否支持您的嵌入式系統?

? 運行時數據的內存占用量是多少?您的系統是否有足夠的內存來進行有意義的測量?

? 檢測是否會影響系統運行時行為?

DO-178 通過要求必須驗證用于測量代碼覆蓋率的任何工具,以便在目標環境中產生準確、可靠的結果,從而為這些決策提供指導。因此,您需要確保您選擇的工具符合 DO-178 的要求,以便可以放心地使用它產生的結果,而無需進一步驗證。檢查工具的譜系。

代碼覆蓋率 — 提供基本保證

任何軟件項目的代碼質量都可以從應用安全關鍵標準中的一些簡單指南中受益。為了控制測試的有效性,必須使用代碼覆蓋率來衡量測試的影響,使用適合軟件所需的測試嚴格程度的代碼覆蓋率級別。為了確保測試的嚴格性達到適當的水平,所有測試都必須基于需求并在系統級別執行。測試,測量,重復。如果沒有代碼覆蓋率分析,就不可能獲得提高測試有效性所需的反饋、知識和理解。選擇覆蓋范圍分析工具時,請確保選擇 DO-178 限定工具,以確保選擇具有適當譜系的工具。通過遵循這些準則,任何軟件項目都可以達到安全關鍵系統通常預期的軟件質量水平。

審核編輯:郭婷

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

    關注

    5082

    文章

    19104

    瀏覽量

    304829
  • 代碼
    +關注

    關注

    30

    文章

    4779

    瀏覽量

    68525
收藏 人收藏

    評論

    相關推薦

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

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

    ep100驅動器報警代碼

    EP100驅動器報警代碼的含義和解決方法會因具體的報警代碼而異。然而,基于參考文章和一般經驗,我可以為你提供一些常見的EP100驅動器報警代碼
    的頭像 發表于 09-07 09:40 ?609次閱讀

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

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

    時序邏輯電路必不可少的部分是什么

    時序邏輯電路必不可少的部分是 存儲電路 ,這一結論主要基于時序邏輯電路的基本工作原理和特性。存儲電路在時序邏輯電路中扮演著至關重要的角色,它使得電路能夠存儲和記憶之前的狀態信息,并在需要時根據這些
    的頭像 發表于 08-28 14:12 ?449次閱讀

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

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

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

    各種測試對象和方法的所有覆蓋率測量結果,并記錄在新的測試總結報告中。 了解更多TESSY新版本功能詳情或申請免費試用,歡迎咨詢TESSY中國授權分銷商——龍智。 新版本功能亮點速覽: 1、超級覆蓋率 逐行評估源代碼。 基于標準
    的頭像 發表于 07-08 16:20 ?433次閱讀
    單元測試工具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 ?658次閱讀
    該如何提高<b class='flag-5'>代碼</b>容錯<b class='flag-5'>率</b>、降低<b class='flag-5'>代碼</b>耦合度?

    虛擬負載是電子學和無線電通信中必不可少的設備

    無線電通信
    深圳崧皓電子
    發布于 :2024年06月26日 06:48:26

    頻譜分析儀的分辨帶寬100和160的區別

    分辨能力。本文將詳細探討分辨帶寬100和160的區別,并分析其在不同應用場景下的適用性。 一、分辨帶寬的概念 分辨帶寬是指頻譜
    的頭像 發表于 06-03 09:49 ?493次閱讀

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

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

    工廠WiFi全覆蓋解決方案——蜂窩物聯

    十分普及的環境下,對于工廠來說,移動辦公的需求也提上日程,WiFi作為必不可少的接入手段,WiFi覆蓋逐漸變得高要求、高標準起來,在環境中發揮著無可替代的作用。 01 需求分析 1. 工廠布局復雜,需滿足無線信號全
    的頭像 發表于 02-19 09:46 ?1305次閱讀
    工廠WiFi全<b class='flag-5'>覆蓋</b>解決方案——蜂窩物聯

    代碼靜態測試工具Helix QAC 2023.4新發布

    Helix QAC 2023.4 為新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023? 規則覆蓋率。此版本還包括擴展的 C++20 語言支持、數據流分析的性能改進以及整個產品中的許多產品體驗
    的頭像 發表于 01-13 12:25 ?491次閱讀
    <b class='flag-5'>代碼</b>靜態測試工具Helix QAC 2023.4新發布

    追求卓越制造,ECRS工時分析必不可少!#工時分析

    軟件
    VIOOVI
    發布于 :2024年01月10日 10:31:14

    怎么用Vivado做覆蓋率分析

    在做仿真的時候往往會去做代碼覆蓋率和功能覆蓋率分析,來保證仿真是做的比較充分完備的。
    的頭像 發表于 01-03 12:34 ?1660次閱讀
    怎么用Vivado做<b class='flag-5'>覆蓋率</b><b class='flag-5'>分析</b>

    電機定子槽滿是否越高越好?

    電機定子槽滿是否越高越好? 電機定子槽滿指的是定子槽中繞組占據的比例。在設計電機時,定子槽滿的高低會直接影響電機的性能,但并不意味著越高越好。本文將從不同角度
    的頭像 發表于 12-25 11:47 ?1517次閱讀
    主站蜘蛛池模板: 纯h超级大尺度小黄文| 亚洲高清视频在线观看| 男女夜晚在爽视频免费观看| 久久电影精品| 好想被狂躁A片免费久99| 国产乱码免费卡1卡二卡3卡四卡| 公么我好爽再深一点| 涩涩在线视频| 人妻兽虐曲| 日本无码人妻精品一区二区视频| 欧美性猛交XXXX乱大交极品| 嗯啊插的好深啊使劲抽视频| 免费在线观看的毛片| 欧美xxx性| 轻点灬大ji巴太粗太双性高h| 人妻 中文无码 中出| 色99蜜臀AV无码| 天天综合网网欲色| 亚洲AV永久无码精品澳门| 亚州日韩精品AV片无码中文| 亚洲精品久久区二区三区蜜桃臀| 亚洲精品国产国语| 一个人在线观看免费高清视频在线观看| 亚洲手机在线人成视频| 制服国产欧美亚洲日韩| 最新无码国产在线视频2020| 99在线播放| 成人性生交片无码免费看| 动漫女生的逼| 国产在线精品亚洲视频在线| 精品久久久99大香线蕉| 伦 乱真实故事| 热99re久久精品国产首页| 十七岁日本免费完整版BD| 亚洲AV久久无码精品九九软件| 亚洲午夜电影| adc高清在线观看| 国产精品成人网| 久久精品中文字幕有码日本| 男神插曲女生软件完整版| 涩涩999|