JNH官网

产品中心
CodeScroll Controller_Tester
代码动态验证工具

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




jnh官网 jnh官网 jnh官网 jnh官网 金年会 金年会 金年会 金年会