仿真与测试

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

其他产品

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

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

    更多内容2017-02-28
  • 虚拟验证平台(Smart Verify Platform,简称SVP)

    虚拟验证平台(Smart Verify Platform,简称SVP)是一个高性能、高扩展性的系统级虚拟仿真平台,基于该平台可以快速建立嵌入式软件的虚拟运行环境,可作为嵌入式软件开发、调试及测试工具。

    更多内容2017-09-21
  • 面向网络协议的模糊测试工具(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

Copyright © 凯云联创(北京)科技有限公司/北京凯云创智软件技术有限公司
京ICP备12011993号-1 (www.kiyun.com)
网站由奇奇科技提供技术支持

提交成功

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

在线留言