PROVEQ是以第三方观点提供检证服务的品牌
帮助您在产品和系统的生命周期过程中,
追求安心• 安全的魅力品质,提高开发生产性
工具一览
PROVEQ是使用各公司优秀的测试工具和提供各种服务部门。请从这里随时联系我们。

■顾客利益
1. 缩短工具选定的期间
  因为拥有内部测试表所以可以节省顾客各种工具比较测试的时间。

2. 根据项目来选定最适合的工具
  根据顾客的课题提供最适合的工具。
  例如,用源代码验证工具,把确认编码章程定为重点测试,把安全作为主观点测试,把bug检测定为重中之重等,根据要求选定不同测试工具。PROVEQ是不仅询问顾客的要求,重要事件还要提供最适合的工具。

3. 运用支持
  如果难得的工具也能不恰当使用的话是不能推测效果的。PROVEQ,根据多数顾客的使用例子来为贵公司提出最恰当的测试方法。


■PROVEQ工具图
PROVEQ会施行每天测试工具的比较工作。从40种以上的处理工具里选出针对性的种类显示在下图。
文件模糊度测试 系统间的连接测试 源代码解析 性能诊断 安全诊断 测试自动化 应用程序可视化 要件管理 测试管理 变更/故障管理 结构管理

基础验证服务
测试源代码的章程吻合性,冗余性,构造复杂性等服务
产品名称 类别 特征 开发方

ChangeMiner

资源分析工具
C/C++/Java/COBOL/
.Net/PL1/JCL其他
从既存到创造的大范围支持
把应用程序构造・DB构造・相互关系透明化
管理根据IT产业的综合的改变影响分析质量
Gtone

测试源代码的章程吻合性,冗余性,构造复杂性等服务
产品名称 类别 特征 开发方

PGRelief

静态源代码
验证工具
C/C++/Java
依照编码的章程,静态解析源程序,指出程序里的漏洞,向开发方提出解决对策的开发支持测试
还有,根据在源程序归纳服务器上统一解析的[质量监视选项]能够管理与把握组织性的质量
FST

C++test

推进C/C++设计程序的质量提高的开发支持工具
C/C++
源代码的静态分析
 ⇒检验出与业界标准规定相反的编码
白盒测试
 ⇒自动生成测试用数据,实行时检出例外
黑盒测试
 ⇒检出与式样书不同的输出数据
回归测试
 ⇒检出与上次结果不同的输出数据
流程解析
 ⇒静态解析处理流程,检出错误
Parasoft

Jtest

推进Java应用程序的质量提高的开发支持工具
Java
源代码的静态分析
 ⇒检出违反规则的Java涂层代码
白盒测试
 ⇒自动生成测试用数据,实行时检出例外
黑盒测试
 ⇒检出与式样书不同的输出数据
回归测试
 ⇒检出与上次结果不同的输出数据
流程解析
 ⇒静态解析处理流程,检出错误
Parasoft

.TEST

推进NET应用程序的质量提高的开发支持工具
VB/VB.Net
源代码的静态分析
 ⇒检验出与业界标准规定相反的编码
白盒测试
 ⇒自动生成测试用数据,实行时检出例外
黑盒测试
 ⇒检出与式样书不同的输出数据
回归测试
 ⇒检出与上次结果不同的输出数据
流程解析
 ⇒静态解析处理流程,检出错误
Parasoft

Klocwork Insight

静态源代码验证工具
C/C++/Java
一个发动机对应C,C++,Java三种语言。
解析编码内的所有密码。
进行高速的静态解析,具有很高的可扩展性。
Klocwork

系统的瓶颈(反应,事务处理,系统资源等),以验证服务
产品名称 类别 特征 开发方

SilkPerformer

系统负荷检证工具
Web/.Net/Oracle/SAP其他
创建脚本并自定义,可以轻松地创建功能强大的测试脚本 Micro Focus

SOATest

SOA・Web系统开发的测试工具 从WSDL验证,SOA和Web应用程序的单元测试验证系统的互操作性和XML Web服务,客户机/服务器,功能测试,性能测试,安全验证等,从不同的角度,检证SOA系统和Web应用 Parasoft

检证存在于Web系统的注入SQL,跨站点脚本漏洞等
产品名称 类别 特征 开发方

VEX

Web脆弱性检证工具 高Web脆弱性检率。对应不同目的报告输出
实现信赖性高的负荷模拟
UBsecure

测量在文件中写入的含糊不清的日语,以没有错误文字为目的的服务
产品名称 类别 特征 开发方

ClearDoc

文件含糊不清度诊断工具 测量含糊不清的日语,以指数显示
诊断结果的分析
CEC
过程检证服务
检证存在于开发,运用,保守的资源情报管理的适切性
产品名称 类别 特征 开发方

CaliberRM

需求管理工具 将需求作为数据管理
需求和成果物的集中管理
对应随着需求变更的影响分析
Micro Focus

Star Team

构成·变更管理、
障碍管理、任务管理工具
文件管理(源代码、式样书)
障碍·变更要求管理
过程管理、主题管理、工作流程

Micro Focus

SilkCentral
Test Manager

测试管理工具 和需求的合作、测试的集中管理
(日程表、结果)
各种报告作成、与SCM的合作
Micro Focus

SilkTest

测试自动实行工具 机能测试 Micro Focus

Accelwork

构成管理工具 事件管理 CEC

MetaMiner

元数据管理工具 全公司统和元数据管理 Gtone

DQMiner

数据品质管理工具 全公司数据品质管理 Gtone

ChangeFlow

应用变更管理
变更管理流程
版本/升级管理工具
实现因与ChangeMiner合作,应用变更管理的承认机能(工作流程) Gtone