综合缺陷检测与排除

K7 为开发团队提供多角度的基本缺陷类型的分析,并将他们放在全面软件分析的背景下。它的功能是基于易用的、基于每次构建的设计,如:构建和报告管理的 GUI ,行业领先的消息过滤,灵活的配置功能,和强大的可学习和调整的知识库等。

如何工作
K7 分析您的 C , C++ 和 Java 源代码,给出代码问题的总结,包括:缺陷、安全漏洞、架构基础问题和度量。通过高亮显示严重的问题将它们与不严重的问题分开,允许整个团队访问报告的问题,并决定是否修复它们或者过滤掉这些问题。

C/C++ 缺陷类型样例

Java 缺陷类型样例

空指针释放

效率错误(如:空的 finalize 方法)

内存管理问题(如:内存泄漏)

可维护性问题(如:空的 catch 从句)

数组越界

可靠性问题 ( 如资源泄漏 )

未初始化数据使用

 

编码风格问题(如:在条件中赋值)

 

在 IDE 里面生成报告

所有的缺陷类型可在“第 0 时间”报告,“第 0 时间”就是成本效率最高的缺陷纠正时间。请参考“ 开发人员 IDE 集成 ”。

在系统构建级别管理缺陷

使用 K7 项目中心门户,无论在全球还是仅本次构建发布 K7 报告成为一件轻而易举的事情。 K7 项目中心门户提供了 K7 的直观的登录点。每个 K7 自动分析报告是基于 Klocwork 项目和构建组织的。通过软件组件、缺陷类型、严重性、状态等属性,用户能够很容易地找到所需的数据。所有报告的缺陷都能够被 K7 的缺陷生命周期管理功能所管理。对每次构建,用户可以设置缺陷的状态(如:修复、推迟等)来辅助优先处理和缺陷管理。

 

请参考 Klocwork 技术说明书 查看更多详细信息。