全數字仿真測試工具Edst
全數字仿真測試工具是基于嵌入式處理器的全數字仿真,在全數字仿真環境下,對嵌入式C語言和匯編語言軟件的分析、仿真運行、故障注入和軟件測試等。
全數字仿真測試工具適用于現代的嵌入式系統的驗證、開發、測試和維護的全生命周期的各個階段。在驗證階段,提供完整的驗證平臺;在開發階段,提供完整的開發平臺,建立一套與真實環境相一致的系統,解決開發過程中的代碼調試;在測試階段,解決測試單位沒有測試環境和測試工具的問題;在維護階段,提供故障重現的環境。
產品概述
全數字仿真測試工具是基于嵌入式處理器的全數字仿真,在全數字仿真環境下,對嵌入式C語言和匯編語言軟件的分析、仿真運行、故障注入和軟件測試等。
全數字仿真測試工具適用于現代的嵌入式系統的驗證、開發、測試和維護的全生命周期的各個階段。在驗證階段,提供完整的驗證平臺;在開發階段,提供完整的開發平臺,建立一套與真實環境相一致的系統,解決開發過程中的代碼調試;在測試階段,解決測試單位沒有測試環境和測試工具的問題;在維護階段,提供故障重現的環境。
產品特性
實現功能:
- 支持嵌入式處理器指令集虛擬目標機;
- 支持C語言;
- 支持匯編語言
- 支持模擬或仿真外部硬件行為;
- 支持嵌入式軟件在全數字環境下進行閉環運行;
- 提供軟件的單元、部件、系統的白盒測試;
- 提供軟件的性能測試;
- 提供內存分析;
- 提供代碼跟蹤功能;
- 提供變量數據流跟蹤;
- 提供軟件的系統功能測試;
- 根據目標機狀態可以進行各種人為設定的故障注入功能;
- 實時調用圖;
- 最壞執行時間;
- 提供測試報告;
技術指標:
- 同時處理函數多達100000個;
- 支持C語言;
- 支持匯編語言;
- TRACE跟蹤記錄容量大于1萬條源程序;
- 時間誤差不大于1nS;
- 提供大于1毫秒精度的外部時鐘;
功能描述
全數字仿真測試工具是支持C/ASM語言的全數字仿真測試工具,也是目前國內外支持的處理器(C語言)的系統級全數字仿真測試工具。
全數字仿真測試工具可以實現ARM的虛擬目標機、軟件運行、故障注入、全數字仿真和軟件覆蓋分析、外部激勵仿真與報告生成等功能,詳細介紹如下:
- 虛擬目標機
虛擬目標機的功能:CPU指令集的解釋、CPU時序的模擬、CPU端口動作的仿真、CPU中斷機制以及CPU流水、緩沖和并行指令等。
- 覆蓋分析
對C語言程序進行語句覆蓋和分支覆蓋分析。
對匯編語言程序進行語句覆蓋和分支覆蓋分析。
- 實時動態調用
在測試過程中,該工具支持動態實時調用圖顯示功能??梢暬治龊瘮嫡{用的層次關系、調用次數、調用深度、那些函數沒有被調用等功能。隨著動態的執行,圖形的調用關系和調用次數實時更新。
- 故障注入
全數字仿真測試工具使整個目標機狀態可以人為設定,這樣包括寄存器和內存的1/0翻轉、程序“跑飛”、內存故障等可在運行時以指定方式、指定時間注入系統。
- 外部激勵仿真
全數字仿真測試工具提供模擬外部設備產生外部激勵信號的機制(全數字仿真),即用C語言編寫端口事件、中斷事件以及其它外部事件的邏輯流程。
- 報告生成
全數字仿真測試工具的軟件分析與測試總結報告是word報告,它要給出被測程序的程序運行信息以及測試結果統計信息等。
典型應用
- 研發、測試團隊:調試測試功能、性能
- 測評中心:代碼覆蓋率等分析、測試報告
產品支持
目標機CPU 系列: ARM,DSP6X,80C51、核芯1號、SPARC處理器等;
主機環境: Win7/Win8/win10等;
實時操作系統: VxWorks, Linux, WinCE, RTXC 等。