产品中心
CodeScroll STATIC
代码静态验证工具

SureSoft 是韩国一家专业的 Mission-Critical 高可信测试软件企业,拥有适用于 ISO 26262/DO-178 等行业标准,成熟的基于V流程代码检测、模型检测、质量检测、安全监测、故障注入等应用的软件工具链。


CodeScroll是SURESOFT自主研发的代码自动检测工具,它又分为STATIC和Controller Tester(简称CT)。其中,STATIC是静态分析工具,CT则是单元/集成测试工具。


选择理由



01 STATIC可检测3类运行错误



02 STATIC的支持领域



03 编码规则检查

- 根据每个行业所需的编码规则验证源代码



- STATIC支持的部分编码规则,客户也可以自定义规则集



04 网络安全编码规则

- ES95489-23 100% 兼容

- 提供 4 种类型的规则集,可识别详细缺陷信息




05 STATIC处理优势

- 利用多台PC的可用资源,减少分析时间和成本

- 快速完成大规模源代码分析(可在1分钟内完成分析约300 个C++ 源文件)



06 STATIC主要功能

  • 提升项目管理人员和开发人员的工作效率
  1. 提供项目管理者和开发人员关注部分的overview
  • 轻松、便捷地修复并管理软件缺陷
  1. 确认缺陷位置及变更负责人/状态
  2. 提供缺陷修复指南
  3. 利用缺陷过滤实现快速查找
  4. 通过缺陷进度跟踪进行管理
  • 为管理人员而设的便捷展示界面
  1. 项目整体进度可视化
  • 为管理人员而设的概览界面
  1. 提供项目各单元信息
  • 缺陷生命周期&历史
  1. 利用缺陷生命周期进行状态管理
  2. 使用缺陷历史记录进行进度管理
  • 多种缺陷筛选及缺陷确认
  1. 通过缺陷筛选可轻松搜索所关注的缺陷
  2. 可将缺陷状态、负责人、规则、函数等指标多项组合后进行搜索
  3. 确认缺陷位置及变更负责人/状态
  4. 确认源代码上的违背项
  5. 提供追加信息以便追踪缺陷原因
  6. 提供缺陷可信度
  • Fix Reference
  1. 通过用户推荐系统推荐修订历史
  2. 帮助用户轻松修复缺陷的指南
  • 排除分析Legacy Code功能
  1. 通过设置基准,仅管理在特定时间点之后发生的缺陷
  • 提供质量度量(Metric)
  1. 提供各种单位(模块,文件,类,功能)的软件质量度量(约30种)
  2. 设置违规度量条件并显示警告
  • CI/CD集成
  1. 提供命令行或脚本供外部平台调用
  2. 与持续集成系统(Jenkins 等)集成
  • 项目报告
  1. 提供HTML、DOC、EXCEL、PDF格式的报告
  2. 提供不同划分类型的报告


07 支持环境



08 推荐规格




09 TUV功能安全认证证书



10 应用实例