?

仿真與測試

ceshi
當前位置:首頁 > 仿真與測試

虛擬驗證平臺(Smart Verify Platform,簡稱SVP)

立即購買

1、產品簡介

   虛擬驗證平臺(Smart Verify Platform,簡稱SVP)是一個高性能、高擴展性的系統級虛擬仿真平臺,基于該平臺可以快速建立嵌入式軟件的虛擬運行環境,可作為嵌入式軟件開發、調試及測試工具。

2、產品功能

1).調試功能

  A.暫停、單步、繼續執行功能

  B.斷點管理功能

 C.全局、局部變量,數組、結構體,內存和寄存器的查看、更改功能

  D.堆棧動態使用情況的追蹤與分析

 E.源碼、目標碼和匯編碼混編顯示,精確查看被測件每一條代碼


1.jpg

 

2).測試腳本功能

 A.提供常用的讀變量值、置變量值、載入內存數據流等19種測試用例描述命令行腳本命令

  B.提供多條腳本命令組合及并發執行功能,支持復雜的邏輯組合用例

  C.根據時間、執行點和內存操作觸發周期(或非周期)的數據注入和讀取

  D.預置正弦波、余弦波、三角波、階躍信號等多種故障數據模型

  E.提供執行點監控,內存導入導出等測試用例執行過程分析功能

  F.提供周期性監控、即時監控、數據變化監控三種數據采集模式,從多維度分析測試執行結果

  G.支持1553B、串口等虛擬外設的周期和非周期激勵置入和數據采集


3).覆蓋率分析功能

  A.支持ELF、COFF、OMF目標碼格式

  B.目標碼、源代碼語句覆蓋、分支覆蓋分析

  C.目標碼與源代碼關聯分析

  D.多次測試結果疊加分析

  E.提供WordHTML兩種覆蓋率報告輸出方式

3.jpg

3-1.jpg

3、產品特點

 A.集成化管理——集成項目管理、工程配置、測試設計、執行、結果分析等在一個平臺中,支持軟件測  試工程化管理

  B.支持快速搭建虛擬運行環境——提供了大量的模型庫,包括CPU模擬器庫、虛擬總線庫、對象仿真模型  庫和其它仿真模型庫,通過將模型庫中的對象按照目標系統進行配置,可以快速構建虛擬運行環境用于  開發、調試及測試

  C.高效率仿真——最高可達100MIPS

  D.多樣化覆蓋率分析——支持源碼、多種格式的目標碼的語句、分支覆蓋率結果的統計分析

  E.深度資源控制——對于軟件運行現場的全方位監控,支持多種故障形式

  F.多層次重用——環境架構、測試腳本均可重用

  G.可擴展性——提供了擴展編程接口,用戶可以自己開發各種所需的仿真模型庫

 

相關信息
?
Copyright ??凱云聯創(北京)科技有限公司
京ICP備17011758號-3 (内蒙古11选5走势图软件下载 www.ogqcpe.com.cn)
網站由奇奇科技提供技術支持

提交成功

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

在線留言