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 应用实例