SMAVE VIRTUAL SYSTEM
嵌入式處理器指令集與板級(jí)系統(tǒng)仿真分析平臺(tái)
SMAVE VIRTUAL SYSTEM
針對(duì)虛擬目標(biāo)機(jī)定義與配置、數(shù)據(jù)激勵(lì)與采集、 測試用例的設(shè)計(jì)、管理與執(zhí)行、軟件代碼的開發(fā)與調(diào)試等需求,提供一體化的設(shè)計(jì)驗(yàn)證支持
嵌入式處理器指令集與板級(jí)系統(tǒng)仿真與分析
SSMAVE Virtual System緊密結(jié)合軟件研制與測試驗(yàn)證需求,廣泛采用軟件仿真技術(shù),可提供嵌入式目標(biāo)處理系統(tǒng)的虛擬仿真運(yùn)行環(huán)境,使得源目標(biāo)程序脫離其依賴的硬件執(zhí)行環(huán)境異構(gòu)運(yùn)行于測試計(jì)算機(jī)之上。
SMAVE Virtual System可無縫集成硬件使用人員和軟件開發(fā)人員對(duì)于虛擬目標(biāo)機(jī)定義與配置、數(shù)據(jù)激勵(lì)與采集、 測試用例的設(shè)計(jì)、管理與執(zhí)行、軟件代碼的開發(fā)與調(diào)試等需求,提供一體化的設(shè)計(jì)驗(yàn)證支持,可實(shí)現(xiàn)針對(duì)目標(biāo)系統(tǒng)的目標(biāo)碼、源代碼覆蓋率統(tǒng)計(jì)分析及軟件性能分析;通過靈活的設(shè)備模型配置,可滿足不同的系統(tǒng)應(yīng)用場景。
接口類型包括:RS-422設(shè)備、RS-485設(shè)備、CAN總線設(shè)備、1553B設(shè)備、I/O設(shè)備等。實(shí)現(xiàn)包括ARM Cortex-M、ARM Cortex-A、Power PC等處理器的時(shí)鐘周期精確的指令集仿真;實(shí)現(xiàn)了目標(biāo)處理器寄存器、存儲(chǔ)器、定時(shí)器、Cache、中斷等片上設(shè)備的仿真。
■ 支持指定內(nèi)存訪問斷點(diǎn)
■ 寄存器訪問斷點(diǎn)
■ 運(yùn)行軌跡記錄
■ 中斷觸發(fā)斷點(diǎn)
■ 時(shí)鐘觸發(fā)斷點(diǎn)
■ 支持外部通訊接口的實(shí)物集成
■ 目標(biāo)代碼級(jí)程序分析
產(chǎn)品優(yōu)勢
■ 快速定位問題
SMAVE Virtual System可將被測軟件執(zhí)行過程與原始硬件環(huán)境脫離,在時(shí)間和空間上減少了對(duì)硬件環(huán)境的依賴,通過將軟件虛擬化設(shè)計(jì)與驗(yàn)證平臺(tái)部署在不同的機(jī)器上可有助于并行開展測試任務(wù)、及時(shí)快速的發(fā)現(xiàn)并定位問題。
■ 顯著提升測試充分性
SMAVE Virtual System能夠精確模擬CPU 的運(yùn)行過程并按照用戶需求進(jìn)行監(jiān)控,最終獲取軟件動(dòng)態(tài)運(yùn)行后的覆蓋率統(tǒng)計(jì)數(shù)據(jù)。通過加載不同測試用例,可顯著提升相關(guān)處理器被測軟件的測試充分性,解決實(shí)施單位軟件測試能力的不足,從而提高其軟件的質(zhì)量水平。
■ 縮短研制周期
通過SMAVE Virtual System,可有效改進(jìn)當(dāng)前嵌入式軟件研制及驗(yàn)證過程,將軟件的設(shè)計(jì)驗(yàn)證過程與硬件齊套過程并行化,從而大大縮短嵌入式系統(tǒng)的整體研制周期,增強(qiáng)市場反應(yīng)能力。
功能模塊
SMAVE Virtual System CPU Modeler 目標(biāo)處理器仿真模型:核心基礎(chǔ)模塊,提供等效于硬件的被件執(zhí)行環(huán)境。SMAVE Virtual System Peripheral Device Modeler 外圍設(shè)備仿真模型:模擬外部接口設(shè)備,實(shí)現(xiàn)接口設(shè)備的功能邏輯仿真
SMAVE Virtual System Debugger 調(diào)試器:提供了強(qiáng)大的虛擬化調(diào)試功能,方便用戶隨時(shí)查看和修改被測軟件的執(zhí)行情況。 SMAVE Virtual System Coverage Analyzer 覆蓋率統(tǒng)計(jì)分析模塊:提供針對(duì)代碼、目標(biāo)碼的覆蓋率統(tǒng)計(jì)分析功能。
SMAVE Virtual System Test Management 測試管理模塊:提供測試工程管理功能:實(shí)現(xiàn)仿真模型、仿真工程、測試用例、測試結(jié)果多級(jí)管理。
產(chǎn)品特色
■ 在虛擬環(huán)境中開發(fā)軟件
SMAVE Virtual System提供了支持DevOps和持續(xù)開發(fā)實(shí)踐所需的訪問、自動(dòng)化和協(xié)作。通過使用虛擬平臺(tái)和仿真,軟件開發(fā)人員可以在開發(fā)過程中將他們的工作與物理硬件及其限制分離開來。對(duì)虛擬硬件的訪問允許開發(fā)人員在開發(fā)周期中更快地進(jìn)行連續(xù)集成和自動(dòng)化測試,甚至在硬件設(shè)計(jì)完成之前還可以在設(shè)計(jì)和原型階段執(zhí)行測試和調(diào)試。所有團(tuán)隊(duì)成員都可以無限制地訪問虛擬硬件,從而在整個(gè)生命周期中實(shí)現(xiàn)新的工作方式和改進(jìn)的協(xié)作。虛擬硬件可以在任何時(shí)間、任何地點(diǎn)提供,從而改善協(xié)作,確保所有開發(fā)人員都有一個(gè)共同的基線。最終,開發(fā)人員可以采用更加靈活的工作方式,并且可以顯著降低項(xiàng)目進(jìn)度、預(yù)算和質(zhì)量的風(fēng)險(xiǎn)。
軟件開發(fā)人員使用SMAVE Virtual System來模擬幾乎任何東西,從單個(gè)芯片到任何規(guī)模或復(fù)雜程度的完整系統(tǒng)和網(wǎng)絡(luò)。目標(biāo)系統(tǒng)的SMAVE Virtual System仿真可以運(yùn)行未經(jīng)修改的目標(biāo)軟件。它包括與硬件相同的引導(dǎo)加載程序、基本輸入輸出系統(tǒng)(BIOS)、固件、操作系統(tǒng)、板支持包(BSP)、中間件和應(yīng)用程序。通過在模擬系統(tǒng)中進(jìn)行故障注入,可以在安全可控的環(huán)境中測試。開發(fā)人員和測試人員甚至在硬件可用之前,就可以獲得針對(duì)這種虛擬硬件開發(fā)的好處
■ 通過訪問、協(xié)作和自動(dòng)化最大限度地提高產(chǎn)品開發(fā)速度
SMAVE Virtual System使開發(fā)和測試更高效,速度更快。通過無縫可靠地訪問SMAVE Virtual System虛擬硬件平臺(tái),團(tuán)隊(duì)可以實(shí)時(shí)優(yōu)化、不斷迭代;快速完成設(shè)計(jì)、開發(fā)和測試,以逐步構(gòu)建他們的系統(tǒng)。SMAVE Virtual System通過自動(dòng)化物理硬件不可能自動(dòng)化的東西,幫助縮短開發(fā)和測試周期。
■
優(yōu)化系統(tǒng)開發(fā)
復(fù)雜且相互連接的系統(tǒng)很難調(diào)試和管理。雖然傳統(tǒng)的開發(fā)工具可以幫助您跟蹤與單板或軟件進(jìn)程相關(guān)的bug,但在由多個(gè)板和處理器內(nèi)核組成的系統(tǒng)中查找bug是一項(xiàng)艱巨的任務(wù)。例如,如果使用傳統(tǒng)的調(diào)試器停止一個(gè)進(jìn)程或線程,系統(tǒng)中的其他部分將繼續(xù)執(zhí)行,從而無法獲得目標(biāo)系統(tǒng)狀態(tài)的全局一致視圖。
SMAVE Virtual System提供對(duì)系統(tǒng)中所有板和處理器核心的訪問、可見性和控制。單步前進(jìn)和單步后退適用于整個(gè)系統(tǒng),整個(gè)系統(tǒng)可以作為一個(gè)整體進(jìn)行檢查和調(diào)試。此外,還可以創(chuàng)建檢查點(diǎn)或快照,以捕獲整個(gè)系統(tǒng)狀態(tài)。這個(gè)狀態(tài)可以傳遞給另一個(gè)開發(fā)人員,然后他們可以檢查精確的硬件和軟件狀態(tài),重放記錄的執(zhí)行,并繼續(xù)執(zhí)行,就好像它從未停止過一樣。
SMAVE Virtual System虛擬平臺(tái)比物理硬件更易于配置和管理。隨著每種類型電路板的無限供應(yīng),可伸縮性測試可以超越物理硬件的可能。此外,開發(fā)人員和測試人員可以以無損和可重復(fù)的方式將故障注入系統(tǒng)的任何部分。SMAVE Virtual System可以模擬包含數(shù)百個(gè)處理器的系統(tǒng),其性能水平可以執(zhí)行真正的軟件目標(biāo)負(fù)載。
■ 按需分配
開發(fā)、調(diào)試、集成和測試電子系統(tǒng)的最大障礙之一是,目標(biāo)硬件和物理實(shí)驗(yàn)室并非總是對(duì)處于運(yùn)行狀態(tài)的每個(gè)人都可用,或者它們要等待很長時(shí)間才能訪問。這種有限的訪問意味著工程師們不得不接受不太理想的替代品,如參考板或基于主機(jī)的開發(fā)。使用SMAVE Virtual System,您可以構(gòu)建一個(gè)可供任何團(tuán)隊(duì)成員在任何時(shí)間、任何地點(diǎn)、任何數(shù)量的硬件按需使用的虛擬實(shí)驗(yàn)室。此外,虛擬實(shí)驗(yàn)室不僅僅是系統(tǒng)的一部分,它可以是一個(gè)完整的系統(tǒng)。這個(gè)功能允許用戶在一個(gè)完整系統(tǒng)的上下文中完成他們的工作,而不僅僅是其中的一部分。對(duì)于支持目標(biāo)硬件多種不同配置的開發(fā)人員來說,SMAVE Virtual System虛擬平臺(tái)可以方便地管理組件的多種配置,這對(duì)于兼容性測試和測試特定的客戶場景尤其有用。
■ 產(chǎn)品生命周期的持續(xù)支持
SMAVE Virtual System支持整個(gè)產(chǎn)品生命周期,從設(shè)計(jì)到產(chǎn)品部署和維護(hù)。
設(shè)計(jì)
從上一代開始,一代一代地開發(fā)產(chǎn)品,并逐個(gè)組件地實(shí)現(xiàn)下一代功能。試驗(yàn)硬件和軟件的變化,并分析影響。
開發(fā)
■ 開發(fā)、調(diào)試和測試底層軟件、BSP和操作系統(tǒng)配置,即使硬件不可用,也不受物理硬件的限制
■ 并行化并減少軟件和硬件開發(fā)之間的依賴性
■ 為所有應(yīng)用程序開發(fā)人員提供虛擬目標(biāo)硬件,以便隨時(shí)在真實(shí)系統(tǒng)上進(jìn)行測試
■ 利用高級(jí)調(diào)試功能,如檢查點(diǎn)、記錄、回放、反向調(diào)試以及高級(jí)代碼和硬件斷點(diǎn)
集成和測試
■ 在開發(fā)過程的早期就開始測試和自動(dòng)化。盡早在虛擬硬件上進(jìn)行連續(xù)的硬件和軟件集成,并在可用時(shí)擴(kuò)展到物理硬件
■ 使用SMAVE Virtual System故障注入測試容錯(cuò)能力
■ 無損安全檢測允許根據(jù)需要多次進(jìn)行測試、重置和再次測試,而不會(huì)損壞系統(tǒng)
■ 通過將硬件的SMAVE Virtual System模型與物理世界或系統(tǒng)環(huán)境的外部模型集成,對(duì)整個(gè)系統(tǒng)進(jìn)行測試和集成
■ 通過將SMAVE Virtual System綁定到現(xiàn)有的軟件構(gòu)建和測試工作流中,自動(dòng)化回歸測試和持續(xù)集成
■ 無限期地維護(hù)產(chǎn)品,而不必?fù)?dān)心硬件過時(shí)