基本介紹
- 中文名:判定覆蓋
- 類別:邏輯術語

MC/DC一般指本詞條
修改條件/判斷覆蓋(Modified condition/decisioncoverage)簡稱MC/DC,是用在飛航安全軟體檔案DO-178B的白箱測試方式,可以判斷A等級的軟體是否有經過適當的軟體測試。簡介 依照修改條件/判斷覆蓋的準則,測試過程中以下條件至少需成立一次。每一個判斷的所有可能結果都出現過;每一個判斷中所有條件的所有可能結果都出現...
6. 通過路徑枚舉產生特定路徑測試用例。7. 修正的條件判斷覆蓋率(MC/DC)修正條件判定覆蓋 每一個程式模組的入口和出口點都要考慮至少要被調用一次,每個程式的判定到所有可能的結果值要至少轉換一次;程式的判定被分解為通過邏輯操作符(and,or)連線的bool條件,每個條件對於判定的結果值是獨立的。
1.6.4、專利分類:德溫特專利分類(MC/DC)1.7、專利引文 1.8、專利族與同族專利 1.6.2、專利分類:歐美與聯合專利分類體系(ECLA/USPC/CPC)1.6.1、專利分類:國際專利分類體系(IPC)第一次公開課《專利引文的機理與特徵》課前練習題 1.1、導言 【專利文獻基礎】單元測驗 第二章、專利檢索基礎 2.1.3...
精準測試覆蓋率形式多樣,最高支持標準MC/DC的100%覆蓋率要求,有覆蓋率每日增長趨勢圖。通過該報表觀察整個測試進度情況,精準測試平台的覆蓋率趨勢圖通過對於團隊的質量控制,能夠對測試進度進行預判,也能夠對測試效率進行有效的識別。測試用例的聚類分析 基於精準測試系統,構建的測試用例與代碼的的執行剖面的關係,...
12.3MC/DC測試覆蓋率分析12.4性能測試分析12.5記憶體泄漏與違規使用分析12.6動態運行錯誤分類與定位和執行路徑追溯12.7面向對象程式的頭檔案與類的測試覆蓋率分析12.8嵌入式軟體測試支撐第13章透明盒測試法及其套用13.1傳統的軟體測試方法所存在的主要問題13.2新的解決方案——透明盒測試法13.3透明盒...
分別採用使用整體插樁的工具和我們自己開發的工具進行測試,結果發現前者插樁的時間和代碼膨脹率分別為3s 和35%,後者插樁的平均時間和平均的代碼膨脹率為1s 和8%,插樁時間得到明顯提升,代碼膨脹率明顯減少。 採用以上的程式插樁技術,除了常用的覆蓋測試策略外,我們還可以實現mc/dc 和lcsaj 測試。
3.4 複雜條件語句和MC/DC覆蓋標準 84 3.4.1 一個抽象的例子 84 3.4.2 創建一個實現MC/DC的測試集 85 3.5 處理循環語句及類似結構 88 3.6 標準之間的包含關係及標準的選擇 89 3.7 基於需求規格的測試結合結構化測試:一個實例 90 3.8 邊界測試和結構化測試 96 3.9 單靠結構化測試往往不夠 97 ...
擴展的MDD理應包含MDT(Model Driven Testing),Rhapsody ATG(Automatic Test Generation自動測試生成)提供高覆蓋率的測試用例,用於MC/DC分析,符合Do178B標準。ATG生成的測試用例提供給Rhapsody附加模組TestConductor,也可以輸出給第三方的測試執行工具如VectorCast、LDRA等執行測試。圖五:基於模型的測試工作原理 團隊...
測試覆蓋率分析工具,提供:指令覆蓋、判定覆蓋、MC/DC(條件組合覆蓋)和基於套用級的PPP覆蓋。分析這些覆蓋率信息可以保證我們的測試,提高測試效率,協助進行進一步地測試。同時,Logiscope支持對嵌入式系統的覆蓋率分析。首先是對套用原始碼的插裝,然後是實時地將測試信息通過網線/串口傳到宿主機(Host)上,並線上...
5.4多功能DC/DC變換器套用電路221 5.4.1ADP3000微功耗升壓/降壓式DC/DC變換器套用電路221 5.4.2LT1111微功耗多功能DC/DC變換器套用電路222 5.4.3MAX743雙輸出DC/DC變換器套用電路225 5.4.4MC33163/MC34163DC/DC變換器套用電路227 5.4.5MC34063A/MC35063A/MC33063A系列DC/DC變換器套用電路228 5.4...
旋極的MC/DC測試和嵌入式目標碼測試工具成為“載人航天”二期的指定工具 自主研發航天組合體環控生保聯試系統 旋極HR-638行業智慧型移動終端用於國慶60周年閱兵式 2010年 公司的故障注入產品成功進入中航工業集團用戶 中國電子集團用戶開始選用旋極的AFDX測試產品 HR-638獲杭州停車收費批量定單 旋極加密傳輸模組進入北京...
···152.1.6 MC/DC 覆蓋 ···152.1.7 路徑覆蓋 ···172.1.8 幾種覆蓋率的強弱關係 ···18 2.1.9 控制流覆蓋 ···
2.6.5 MC/DC(修訂的條件/分支軟體測試)覆蓋測試...66 2.6.6 路徑覆蓋測試...67 2.6.7 控制流測試...68 2.6.8 單元測試中的基於代碼的功能測試...69 2.6.9 總結...70 2.7 測試用例設計的若干錯誤觀點...70 2.7.1 能發現到目前為止沒有發現的缺陷的用例是好的用例...70 2.7.2 測試...
11.6 MC/DC覆蓋率 208 11.6.1 對C/DC和MC/DC的描述 208 11.6.2 C/DC和MC/DC之間的差異 209 第12章 嵌入式軟體的仿真測試框架 212 12.1 仿真測試框架的提出 212 12.1.1 嵌入式軟體的特點 212 12.1.2 嵌入式軟體的測試 213 12.1.3 解決方案的抽象 214 12.1.4 仿真測試框架 214 12.2 ...
用戶可以通過多種測試覆蓋率分析工具(包括語句,分支,路徑和MC/DC覆蓋率)來對測試效果和完整性進行計算,並與測試的兼容性和有效性要求(如DO178B)進行印證。這種自動測試能力對自動化持續集成與測試以及同步測試開發的支持是極其有用的。 ■WindRiver®Workbench和ARM®RVDS的C++test外掛程式...
