why
代码测试新方法

随着代码规模的扩大,发布周期的缩短,单纯的人工测试不能满足发展需求,在代码生成过程中,采用自动化测试,能够及时修复问题,减少开发周期,保证代码质量。不管您处于什么岗位,CoBOT总能满足您的需求。

  • 软件开发者
  • 管理人员
  • 代码审查人员
  • 把缺陷消灭在第一时间

    CoBOT代码检测工具可以把产生的代码缺陷和安全漏洞发现并消灭在第一时间,可以全天候的帮助您检查每一行代码,大大节省了开发者寻找漏洞的时间,把更多的时间投入软件开发中,同时让开发者对自己的代码更有自信。

  • 准确率高 误漏报率低

    高精度分析,帮您发现真正的缺陷,CoBOT能够跨文件,跨函数分析,追踪到代码在整个项目中的关联情况,深度分析组件间复杂的交互。帮您省下排除误报的时间,修复更多的缺陷。

  • 超快性能 超大食量

    您有近百万行代码? No problem! CoBOT通 过并行分析,缩短检测时间,让您体验更快 的检测速率!通过分批检测,CoBOT 可以将 大容量的代码进行裁剪,分多批进行检测, 它能适应您的工作进度,伸缩性极强。

  • 个性化选择 完善服务

    领导规定代码风格,您总是忘?没关系!CoBOT提供特色化服务,支持定制规则,用最短的周期帮您解决需求!CoBOT提供完善的服务,帮您上门配置环境,专业人员亲自指导,随时等待您的来电!

  • 超快性能 超大食量

    您有近百万行代码? No problem! CoBOT通过并行分析,缩短检测时间,让您体验更快的检测速率!通过分批检测,CoBOT可以将大容量的代码进行裁剪,分多批进行检测,它能适应您的工作进度,伸缩性极强。

  • CoBOT为您的软件做全面的体检

    软件代码往往长而复杂,人眼需要很长时间观察出问题所在。Cobot能全面检查您的代码,让您轻松洞察代码的质量和安全问题,节约您的时间和精力。

  • 使用CoBOT能够做到:

  • 尽早发现软件问题,避免后期维护的昂贵代价

  • 全面细致的检查代码,消除无用的QA周期

  • 明确代码质量安全的问责,方便管理

  • 软件质量把关,增加发版的可预测性

  • 减轻您的业务压力

    我们能通过自动化改变测试过程,帮助您尽早发现软件问题,减少返工开销,消除无用的QA周期,加快产品的上市,同时把关软件质量,降低业务风险,更快发布更好的软件。

  • 更方便的质量管理

    软件供应链中往往会存在一些不稳定因素, 如外包合作、团队的地域分散、开源代码 的使用。这些不稳定因素常常会影响软件 质量的管理。因此必须根据业务指标制定 质量、安全和测试策略。我们能监控并查 明分险的热点所在,例如显著致命缺陷或 或未经测试的代码,据此您知道应该将资 源集中在何处,帮助管理项目团队,决定 该在何时发布产品以及需要关注的领域。

  • 以开发者为本的质量保障

    开发者都爱用 CoBOT,我们能帮助他们快速 地在代码中找出并修复关键的质量、安全缺 陷。我们能提供精确的缺陷分析结果,帮助 开发者快速修复问题。同时,每次的代码修 改都有可能带来新的缺陷和风险,我们能快 速检查,节约开发者的时间和精力。我们将 测试整合进您的开发流程吗,简化开发流程。

  • 个性化为您量身定制

    能够为您"量身定制"各类编码规则和语义 缺陷检测,也可以定制各类报表和文档 满足您最实际的需求。同时也支持对编译 环境的定制,特别是嵌入式环境,例如对 CCS的不同芯片系列以及芯片编号的定制等。

支持多种应用场景, 全面嵌合您的开发

无论是开发人员应用、测试人员应用或是持续集成应用,我们都能完全适配您 的工作环境,全面配合您的工作。我们的工具能与您的当前流程无缝衔接,帮 助您的团队更好的协作,做出更好的软件。

  • 自动化代码审查

    CoBOT可以在您工作前,对软件进行完全的、自动化代码审查,提前发现并解决更多的软件问题,节约您的宝贵的时间,更有利于您开展工作。

  • 编译环境自定义

    系统内置了多种编译环境(GCC/VC06、VS089、CCS等),支持嵌入式环境检测。同时提供编译器参数自定义功能,自定义内容包括:系统宏、数据类型以及标识符。您可以根据代码的实际运行环境来定义编译环境。

  • 全面支持国产环境

    不仅支持主流的系统环境(windows系列、 Linux、office等),同时也全面支持国产 信息环境,包括:中标麒麟操作系统、金山 wps以及国产化数据库等。全中文操作界面以 及报表生成,使您工作更加高效、便捷。

  • 丰富的缺陷库

    既支持编码规则检测,也支持语义缺陷检测。其中编码规则涵盖了国内外主流的编码规范标准(例如MISAR-C 2004、GJB5369等),同时还支持对第三方库(QT库)检测。

  • 快速确认缺陷

    系统能够帮助您自动定位缺陷产生的代码 行,并且能够给出产生该缺陷的全路径跟 踪分析过程和详细描述。提供变量的“定 义-使用”点、函数的“定义-调用”点的 自动定位等功能。同时,系统针对工程的 不同版本,提供检测结果的对比分析,帮 助您快速识别新旧缺陷。