PROVEQ是以第三方观点提供检证服务的品牌
帮助您在产品和系统的生命周期过程中,
追求安心• 安全的魅力品质,提高开发生产性
Klocwork® Insight™

产品说明

Klocwork® Insight™是使用高度的解析手法(Truepath™)让到现在为止的调试和测试方法很难检测出来的错误在早期可以检出,使软件的信赖性提高并提高测试的效率。
免费体验,请联系我们

■使用Klocwork® Insight™可以得到各种效果

Klocwork® Insight™ により、「開発者の生産性向上」「品質向上」「リソースの有効活用」「テスト工数の軽減」「リリース後の品質確保」などの効果が得られます。

实装
  • 通过代码审查,测试,减少故障报告。
  • 比起之前的故障修正,重新编写编码更花时间。
上市
  • 高品质安全的软件发行变为可能。
测试
  • 将测试工数从调试代码转移到集中分析客户要求上。
  • 减少测试前编码的缺欠,缩短测试周期。
统一构建
  • 保证开发人员登入没有问题的代码。
  • 防止主代码流中,缺陷和安全漏洞的流入。
多人审查代码
  • 保证对没有缺陷的代码进行审查。
  • 将高级员工的精力从调试代码转移到解决重大设计和用户需求的问题。

Klocwork® Insight™ により、「開発者の生産性向上」「品質向上」「リソースの有効活用」「テスト工数の軽減」「リリース後の品質確保」などの効果が得られます。

■Klocwork® Insight™ 可以更加正确的检出缺欠及安全漏洞

品质/可靠性安全漏洞可维护性
内存和资源泄漏
内存解放后的使用
不恰当的内存解放
无效指标的参照
未初始化变量的使用
资源管理
死锁和兼容性
同时实行违反
缓冲区溢出
无效的用户输入
SQL地址
跨站点脚本
情报泄漏
密码简单
脆弱的编码习惯
构架违反
头文件构造
死代码
未达到代码
计算值的未使用
未使用的関数参数
未使用的局部变量

■Klocwork® Insight™ 对象语言和解析手法

语言CC++C#JAVA
桌面解析 ※1
系统解析 ※2
※1:所谓的桌面解析就是开发者编译系统的确认前后解析本地的代码的功能。
※2:所谓的系统解析就是对源代码全体解析,编译系统解析的功能。

■Klocwork® Insight™ 动作环境
实行环境
Windows2003、XP、Vista、7
LinuxRHEL、Fedora、Debian、SUSE、Ubuntu
Solaris8、9、10
AixVersion 5.3
支持编译环境
GNU make SUN make clearmake nmake imake Ant JAM
支持集成开发环境(IDE)
Eclipse Microsoft Visual Studio IBM Rational Application Developer
IntelliJ IDEA Wind River Workbench Carbide. c++
QNX Momentics TI Code Composer Jbuilder
■Klocwork® Insight™ 在市场的知名度
从「InfoWorld.com」开始,最好的静源代码解析工具得到认证
从「SD Times」开始,从各个业界连续7年获奖

■Klocwork® Insight™ 截图
Insight Review(网络基础检查)
klocwork-insightメトリクスとトレンディング画像 klocwork-insight欠陥詳細画像
趋势和指标报告 缺陷指摘一览

Insight Architect (构架检查)
klocwork-insightエンティティリレーション画像 klocwork-insightフローチャート画像
关系图 流程图
Plug-In (统合开发环境用的插件)
Eclipse开发环境 Microsoft
Visual Studio
开发环境
Insight Pro (*选项商品)
klocwork-insightリファクトリング機能画像 klocwork-insightコードレビュー画像
重构机能 代码审查
※ Klocwork® Insight™是Klocwork的商标,也是他的注册商标
※ PROVEQ是シーイーシー股份公司的注册商标
※ 其他登载公司名和商品名是各个公司名和注册商标
联系我们