PROVEQ是以第三方观点提供检证服务的品牌
帮助您在产品和系统的生命周期过程中,
追求安心• 安全的魅力品质,提高开发生产性
源代码测试业务
所谓源代码测试业务
即保管用户的源程序,有专业的解析员进行解析,通过利用本业务,能减轻开发人员的负担,提高源程序的品质。

PROVEQソースコード検証サービスイメージ

① 通过精密性高的工具进行第1次解析,指明不良之处。
② 通过经过专列训练的解析员进行第2次解析,排除剩余指摘。
③ 只对以信赖度相关的不良通过报告书的形式进行报告。
源代码检证业务的内容
■业务内容
・语言对象: C、C++、JAVA、C#
・对象工具:客户指定工具,或是所有工具、本公司的推荐工具
・输出:故障报告,品质倾向分析报告
・业务类别:客户现场・异地

■检查方法
・静态解析
・版本配对及规则蓝本
・控制流・数据流
・值域传播

■导入效果
・故障的早期发现
・减轻开发人员的负担
・削减检测工程的工数
・运用有效的工具

■报告测试结果
PROVEQソースコード検証サービスの報告書イメージ

检测结果以总结报告的形式提出。在指摘行单位中,由分析员记入“判定”“判定理由”并提出。
主要的检证结果事例
PROVEQ的安全测试业务事例

业种 时期 语言 源行 期间 第1次解析结果 第2次解析结果 每1K的
故障件数
电器 运行前 C 30K 一个月 700件 440件(重大故障:140件、故障:300件) 14.6件
制造 运行前 C 180K 一个月 500件 252件(重大故障:23件、故障:229件) 1.40件
制造 运行前 C 400K 两个月 1,500件 1,290件(重大故障:10件、故障:1,280件) 3.23件
制造 运行后 C 3,400K 每周(※) 8,500件 8,100件(重大故障:2,500件、故障:5,600件) 2.38件
制造 运行后 C 4,000K 每周(※) 12,500件 10,700件(重大故障:3,600件、故障:7,100件) 2.68件
通信 运行前 C++ 8K 一个月 180件 104件(重大故障:20件、故障:84件) 13.0件
電気 运行前 C++ 70K 两个月 500件 246件(重大故障:15件、故障:231件) 3.51件
通信 运行前 JAVA 23K 两个月 1,150件 489件(重大故障:43件、故障:446件) 21.3件
社内 运行后 JAVA 40K 两个月 600件 175件(重大故障:20件、故障:155件) 4.38件
※客户现场时,解析结果每周报告2次。