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