SureSoft 是韓國(guó)一家專(zhuān)業(yè)的 Mission-Critical 高可信測(cè)試軟件企業(yè),擁有適用于 ISO 26262/DO-178 等行業(yè)標(biāo)準(zhǔn),成熟的基于V流程代碼檢測(cè)、模型檢測(cè)、質(zhì)量檢測(cè)、安全監(jiān)測(cè)、故障注入等應(yīng)用的軟件工具鏈。
CodeScroll是SURESOFT自主研發(fā)的代碼自動(dòng)檢測(cè)工具,它又分為STATIC和Controller Tester(簡(jiǎn)稱(chēng)CT)。其中,STATIC是靜態(tài)分析工具,CT則是單元/集成測(cè)試工具。
選擇理由

01 測(cè)試需求
- Mission Critical 關(guān)鍵任務(wù)領(lǐng)域需要安全性及可靠性認(rèn)證
? 通過(guò)單元/集成測(cè)試達(dá)成結(jié)構(gòu)性覆蓋率目標(biāo)
? 在實(shí)際目標(biāo)環(huán)境中測(cè)試的必要性


02 CT主要功能
- 單元/集成測(cè)試執(zhí)行及覆蓋率測(cè)量
? 可自動(dòng)生成測(cè)試用例并支持手動(dòng)添加
? 可測(cè)量語(yǔ)句、分支、 MC/DC、函數(shù)、函數(shù)調(diào)用覆蓋率
- 可在實(shí)際目標(biāo)板環(huán)境中執(zhí)行測(cè)試
? 可一鍵在實(shí)際目標(biāo)中執(zhí)行測(cè)試并確認(rèn)結(jié)果(調(diào)試集成)
? 支持多種環(huán)境配置及通訊方式(Serial/以太網(wǎng)/ JTAG)
- Stub功能
? 可用存根(樁函數(shù))代替原始函數(shù)運(yùn)行
- 模擬對(duì)象(Mock)功能
? 進(jìn)行C++測(cè)試時(shí),可以快速、可靠地代替對(duì)象依賴(lài)項(xiàng)的功能
- 控制流程圖(Control Flow Graph)
? 提供便于理解源代碼的控制流程圖
? 與源代碼集成,確認(rèn)覆蓋結(jié)果
- MC/DC
? 為達(dá)成各個(gè)領(lǐng)域所要求的MC / DC目標(biāo)提供指南
- 可擴(kuò)展性 (Scalability)
? 可進(jìn)行龐大而復(fù)雜的軟件測(cè)試及大量測(cè)試數(shù)據(jù)測(cè)試
- 測(cè)試再利用
? 提供便捷功能,源代碼變更后重新使用測(cè)試
- 故障注入(代碼級(jí))
? 提供便捷功能,可對(duì)故障處理、異常處理代碼進(jìn)行測(cè)試。
- 需求可追溯性
? 提供便捷功能,關(guān)聯(lián)需求與測(cè)試
- 與COVER共享覆蓋率
? 運(yùn)用Top-Down的方式迅速達(dá)成覆蓋率目標(biāo)
- 基于symbolic執(zhí)行,自動(dòng)生成測(cè)試輸入
? 診斷程序運(yùn)行要素,自動(dòng)實(shí)現(xiàn)主要邏輯覆蓋率目標(biāo)
? 支持基于host的所有單元/集成測(cè)試
- 基于符號(hào)執(zhí)行,自動(dòng)生成測(cè)試輸入
? 自動(dòng)生成高質(zhì)量的測(cè)試輸入
- 項(xiàng)目報(bào)告
? 自動(dòng)生成報(bào)告
? 提供HTML、MS EXCEL、MS PowerPoint、MS Word、PDF格式報(bào)告
03 支持環(huán)境

04 推薦規(guī)格

05 TUV功能安全認(rèn)證證書(shū)

10 應(yīng)用實(shí)例



首頁(yè) > 產(chǎn)品中心
