SureSoft：STATIC

代码静态验证工具

一、为什么选择STATIC

特点

 

优点

 

预期效果

 

 

二、需求

Problem

 

Benefit

 

三、解决方案

运行时错误检测

 

编码规则检查

• 自动检测每个领域需要遵循的编码规则

 

 

网络安全编码规则

• ES95489-23 100% 符合
•  通过提供四种规则集，可以识别详细的缺陷信息

 

软件质量度量

• 支持多种软件质量度量测量

 

 

应用分布式运算实现快速分

• 利用多台PC的可用资源，减少分析时间和成本
• 1 分钟内可分析约 300 个 C++ 源文件（需要单独的 APU 服务器）

 

提升项目管理人员和开发人员的工作效率

• 提供项目管理者和开发人员关注部分的概览

 

 

轻松、便捷地修复并管理软件缺陷

•  利用缺陷过滤实现快速查找
•  通过缺陷进度跟踪进行管理
•  确认缺陷位置及变更负责人/状态
•  提供缺陷修复指南

 

 

项目管理人员概览界面

• 可视化整个项目的进度

 

项目管理人员概览界面

• 提供项目

 

 

项目管理人员目标设定功能

• 针对关注的指标设定项目目标
• 利用Burn down图来确认完成度

 

缺陷生命周期&历史

• 利用缺陷生命周期进行状态管理
• 使用缺陷历史记录进行进度管理

 

多种缺陷筛选及缺陷确认

•  使用缺陷过滤器轻松搜索关注的缺陷
•  以缺陷状态、负责人、规则、函数等多种组合进行搜索
•  确认缺陷位置及变更负责人/状态
•  检查源代码中的违规行为
• 提供附加信息以追踪缺陷原因
• 提供故障可靠性

Fix Reference

• 用户推荐系统推荐修改历史
•  指导用户轻松修复缺陷

 

Legacy Code

• 设置Baseline，仅管理特定时间点后发生的缺陷

 

 

提供质量度量

•  提供各种单元（模块、文件、类、函数）的软件质量度量（约30种）
•  设置指标违规并显示警报

 

可与各种测试工具联动

•  构建静态测试自动化环境时，可以与我们的工具CIAT和VPES联动
•  与持续集成系统（Jenkins 等）集成

 

四、规格

 

五、参考

汽车配件制造商 (H公司)

半导体制造商（S公司）

 

嵌入式武器系统软件可靠性验证的应用案例（IMT）