仿真与测试

ceshi
当前位置:首页 > 其他产品

其他产品

qitachanpin
  • 代码静态分析与安全检测工具(COBOT)

    COBOT是北京大学开发的软件代码静态分析与安全检测工具。COBOT支持10类1000余种编码规则检查、支持CWE 14类110余种语义缺陷、支持8类90余种常见的安全漏洞分析;COBOT通过度量分析能够检测包括圈复杂度,函数扇入扇出,注释

    更多内容2017-02-28
  • 面向网络协议的模糊测试工具(Defensics)

    Defensics是新一代的网络应用智能模糊测试工具,它可以采取各种技术生成有效的测试案例,支持各种先进的技术检测应用程序的故障和异常行为,验证出现实世界中的错误模式并对潜在的攻击渠道进行提示,支持290多种网络协议和文件格式,能有效揭露软

    更多内容2017-02-28
  • 应用安全性测试工具(Seeker)

    应用安全测试(渗透测试)是通过模拟恶意黑客的攻击方法,来评估计算机网络系统安全的一种评估方法。Seeker软件是市场领先的新一代交互式应用安全测试软件。其独特技术通过模拟攻击分析端到端数据流和运行时代码执行操作,并将其相互关联。Seeker

    更多内容2017-02-28
  • 代码规则检测系统(DTS)

    DTS是由北京邮电大学知名教授带领团队研发的软件开发规则检测系统,包含运行参数配置、规则模式检测、检测结果管理、缺陷报告生成等功能。DTS能检测软件代码中常见的开发规则违背情况,提供友好的辅助缺陷定位功能,能够对选定的缺陷模式进行测试,可检

    更多内容2017-02-28
  • 源代码静态分析与安全测试工具(Coverity)

    Coverity静态分析软件是最新一代的源代码静态分析工具,技术源自于斯坦福大学,能够快速检测并定位源代码中可能导致产品崩溃、未知行为、安全缺口或者灾难性故障的软件缺陷。Coverity包含900多种质量和安全检测规则,曾协助找到多个0Da

    更多内容2017-02-28
  • 应用安全性测试工具Synopsys Seeker

    应用安全测试(渗透测试)是通过模拟恶意黑客的攻击方法,来评估计算机网络系统安全的一种评估方法。Seeker软件是市场领先的新一代交互式应用安全测试软件。其独特技术通过模拟攻击分析端到端数据流和运行时代码执行操作,并将其相互关联。Seeker

    更多内容2022-05-10
  • 网络协议的模糊测试工具Synopsys Defensics

    Defensics是新一代的网络应用智能模糊测试工具

    更多内容2022-05-10
  • 软件静态测试工具SpecChecker

    SpecChecker提供了高准确度和齐全的编码标准符合性检查,支持最多种类的精确缺陷检测能力,可以与用户软件开发工具和流程无缝集成,最大限度发挥静态分析的效能。主要技术优势:高精度 MISRA C/C++、AUTOSARC++14 检测引

    更多内容2022-05-10
  • 自动化单元与集成测试工具AUnit

    SunwiseAUnit 是一款面向 C、C++语言的自动化单元与集成测试工具

    更多内容2022-05-10
  • 实时嵌入式动态测试工具DT10

    DT10是为嵌入式项目构建的下一代动态测试工具

    更多内容2022-05-10
  • 源代码缺陷检测工具ParasoftInsure++

    Insure++自动检测C/C++应用中大量的编程和运行时错误。

    更多内容2022-05-10
  • 实时系统软件执行时间性能测试工具ARTS

    实时系统软件执行时间性能测试工具(ARTS),从目标板总线、通讯接口或内存获取信号,实现真实目标机在环系统级测试,对实时在线采集到的数据进行分析,获得被测软件的白盒测试结果,包括性能分析、测试覆盖分析(语句覆盖和分支覆盖)、动态内存分配分析、代码跟踪、变量跟踪、支持汇编语言、动态实时调用分析、最坏执行时间分析和报告自动生成功能,支持多任务和多线程的覆盖测试。

    更多内容2022-05-10
  • 单元和集成测试工具VectorCAST C/C++

    VectorCAST/C++是一套用来自动化C/C++单元测试、以及将单元结合后进行集成测试的动态测试方案,用于验证安全关键嵌入式系统必要的模块

    更多内容2022-05-10
  • 软件代码静态测试工具QAC/QAC++

    市场领先的QAC是为在项目编码阶段的工程师设计的,以确保开发高质量的C代码。QA.C也可以在开发过程的任何阶段用于减少代码bug,并且快速、自动执行、易用、可用于任何规模的开发环境。 QAC提供了高效的、稳定的、完全自动化的环境创建和执行编码规范。QAC快速有效的检测和报告软件的缺陷、语言执行错误、冲突、危险用法和编码规范错误,防止错误进入产品导致开发延期。QAC能够监视和限制复杂度,开发可测试和可维护代码。QAC可以报告代码对特定的编程规范的符合程度。

    更多内容2022-05-10

Copyright © 凯云联创(北京)科技有限公司  网站备案号:京ICP备17011758号-3

提交成功

谢谢您的宝贵意见,我们将安排客服尽快与您沟通

在线留言