首頁 > 產(chǎn)品中心 > CodeScroll Controller_Tester 
SureSoft 是韓國一家專業(yè)的 Mission-Critical 高可信測試軟件企業(yè)，擁有適用于 ISO 26262/DO-178 等行業(yè)標(biāo)準(zhǔn)，成熟的基于V流程代碼檢測、模型檢測、質(zhì)量檢測、安全監(jiān)測、故障注入等應(yīng)用的軟件工具鏈。
CodeScroll是SURESOFT自主研發(fā)的代碼自動檢測工具，它又分為STATIC和Controller Tester（簡稱CT）。其中，STATIC是靜態(tài)分析工具，CT則是單元/集成測試工具。
選擇理由
01 測試需求
- Mission Critical 關(guān)鍵任務(wù)領(lǐng)域需要安全性及可靠性認證
? 通過單元/集成測試達成結(jié)構(gòu)性覆蓋率目標(biāo)
? 在實際目標(biāo)環(huán)境中測試的必要性
02 CT主要功能
- 單元/集成測試執(zhí)行及覆蓋率測量
? 可自動生成測試用例并支持手動添加
? 可測量語句、分支、 MC/DC、函數(shù)、函數(shù)調(diào)用覆蓋率
- 可在實際目標(biāo)板環(huán)境中執(zhí)行測試
? 可一鍵在實際目標(biāo)中執(zhí)行測試并確認結(jié)果（調(diào)試集成）
? 支持多種環(huán)境配置及通訊方式（Serial/以太網(wǎng)/ JTAG）
- Stub功能
? 可用存根（樁函數(shù)）代替原始函數(shù)運行
- 模擬對象（Mock）功能
? 進行C++測試時，可以快速、可靠地代替對象依賴項的功能
- 控制流程圖(Control Flow Graph)
? 提供便于理解源代碼的控制流程圖
? 與源代碼集成，確認覆蓋結(jié)果
- MC/DC
? 為達成各個領(lǐng)域所要求的MC / DC目標(biāo)提供指南
- 可擴展性 (Scalability)
? 可進行龐大而復(fù)雜的軟件測試及大量測試數(shù)據(jù)測試
- 測試再利用
? 提供便捷功能，源代碼變更后重新使用測試
- 故障注入（代碼級）
? 提供便捷功能，可對故障處理、異常處理代碼進行測試。
- 需求可追溯性
? 提供便捷功能，關(guān)聯(lián)需求與測試
- 與COVER共享覆蓋率
? 運用Top-Down的方式迅速達成覆蓋率目標(biāo)
- 基于symbolic執(zhí)行，自動生成測試輸入
? 診斷程序運行要素，自動實現(xiàn)主要邏輯覆蓋率目標(biāo)
? 支持基于host的所有單元/集成測試
- 基于符號執(zhí)行，自動生成測試輸入
? 自動生成高質(zhì)量的測試輸入
- 項目報告
? 自動生成報告
? 提供HTML、MS EXCEL、MS PowerPoint、MS Word、PDF格式報告
03 支持環(huán)境
04 推薦規(guī)格
05 TUV功能安全認證證書
10 應(yīng)用實例
