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