?

仿真與測試

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備17011758號-3 (七乐彩旋转矩阵中5保4 www.miufr.com)
網站由奇奇科技提供技術支持

提交成功

謝謝您的寶貴意見,我們將安排客服盡快與您溝通

在線留言