• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于動(dòng)態(tài)二進(jìn)制翻譯技術(shù)的數(shù)管軟件虛擬測(cè)試環(huán)境設(shè)計(jì)

    2018-04-25 07:35:04,,,
    關(guān)鍵詞:測(cè)試環(huán)境模擬器寄存器

    ,,,

    (北京空間飛行器總體設(shè)計(jì)部,北京 100094)

    0 引言

    數(shù)管分系統(tǒng)(OBDH)是航天器的信息處理中心,分系統(tǒng)軟件承擔(dān)數(shù)據(jù)流控制和自主管理等功能[1],是關(guān)鍵的星載軟件之一,需要進(jìn)行充分的測(cè)試驗(yàn)證。傳統(tǒng)的數(shù)管軟件測(cè)試環(huán)境由星上設(shè)備和地面測(cè)試設(shè)備組成[2],包括:數(shù)管計(jì)算機(jī)、供電設(shè)備、專用地面測(cè)試設(shè)備、專用測(cè)試軟件、總線仿真設(shè)備及其軟件。這種實(shí)物測(cè)試環(huán)境可以為數(shù)管軟件運(yùn)行提供真實(shí)的平臺(tái),但存在以下幾方面問題:1)硬件依賴性強(qiáng),在星載計(jì)算機(jī)完成調(diào)試之前,無法進(jìn)行星載軟件的測(cè)試工作;2)地檢設(shè)備多、研制周期長(zhǎng),存在地檢設(shè)備延期交付影響軟件測(cè)試進(jìn)度的風(fēng)險(xiǎn);3)測(cè)試軟件分散,難以有效監(jiān)視系統(tǒng)所有的數(shù)據(jù)流變化;4)測(cè)試過程中不能記錄軟件內(nèi)部行為,不利于測(cè)試問題的排查定位。

    為擺脫實(shí)物測(cè)試環(huán)境的限制,國(guó)外航天領(lǐng)域?qū)⑻摂M測(cè)試環(huán)境應(yīng)用在星載軟件開發(fā)中。NASA委托Triakis公司開發(fā)了通用虛擬系統(tǒng)模擬器開發(fā)工具IcoSim[3],使用IcoSim為數(shù)十個(gè)航空航天項(xiàng)目創(chuàng)建了虛擬測(cè)試環(huán)境,在虛擬環(huán)境上進(jìn)行軟件的測(cè)試驗(yàn)證工作。ESA將虛擬測(cè)試環(huán)境技術(shù)應(yīng)用于歐空局地面控制中心[4],利用虛擬機(jī)模擬真實(shí)目標(biāo)機(jī)并運(yùn)行星載軟件,用于地面飛行任務(wù)訓(xùn)練;同時(shí)將模擬器應(yīng)用于軟件開發(fā)、確認(rèn)測(cè)試和在軌維護(hù)中,其開發(fā)的SPARC模擬器TSIM在Ariane-5,PROBA-2等項(xiàng)目的軟件研制中發(fā)揮了重要作用。

    我國(guó)航天領(lǐng)域近年來對(duì)虛擬測(cè)試環(huán)境也開展了研究,主要集中在第三方評(píng)測(cè)領(lǐng)域[5],仍處于起步階段,沒有形成通用的、有效的虛擬環(huán)境解決方案和虛擬環(huán)境產(chǎn)品。虛擬測(cè)試環(huán)境對(duì)星載軟件調(diào)試手段的支持以及對(duì)新型星載處理器的支持尚不夠完善。

    本文針對(duì)傳統(tǒng)數(shù)管軟件實(shí)物測(cè)試環(huán)境的不足,設(shè)計(jì)和構(gòu)建了基于動(dòng)態(tài)二進(jìn)制翻譯技術(shù)的虛擬測(cè)試環(huán)境,基于廣泛應(yīng)用的QEMU模擬器,添加星載處理器的支持以及外圍設(shè)備的模擬,補(bǔ)充目標(biāo)碼指令跟蹤記錄功能,對(duì)星載數(shù)據(jù)流集中仿真和實(shí)時(shí)監(jiān)控,實(shí)現(xiàn)了在虛擬平臺(tái)下完成數(shù)管軟件的跟蹤調(diào)試、測(cè)試工作,集中記錄系統(tǒng)狀態(tài)變化,解決了實(shí)物測(cè)試環(huán)境對(duì)軟件調(diào)試、測(cè)試工作的制約,提高星載軟件開發(fā)效率。

    1 動(dòng)態(tài)二進(jìn)制翻譯技術(shù)及QEMU模擬器

    動(dòng)態(tài)二進(jìn)制翻譯技術(shù)是一種即時(shí)編譯技術(shù),它將源體系結(jié)構(gòu)的二進(jìn)制機(jī)器指令動(dòng)態(tài)翻譯為可在目的體系結(jié)構(gòu)上運(yùn)行的代碼[6]。QEMU是一款基于動(dòng)態(tài)二進(jìn)制翻譯技術(shù)、開源的高性能模擬器[7-8],能夠支持包括X86、ARM、MIPS和SPARC等多種目標(biāo)架構(gòu)的模擬。

    QEMU作為一個(gè)用戶進(jìn)程運(yùn)行于宿主操作系統(tǒng)之上,以基本塊為單位進(jìn)行二進(jìn)制指令翻譯執(zhí)行。基本塊是一組順序執(zhí)行的指令序列,以控制轉(zhuǎn)移指令結(jié)尾,只有一個(gè)入口和一個(gè)出口。如圖1所示,動(dòng)態(tài)翻譯器會(huì)把對(duì)基本塊翻譯和優(yōu)化的結(jié)果緩存起來,再次執(zhí)行該基本塊時(shí),就可以執(zhí)行預(yù)存起來的翻譯后的代碼。模擬器開始執(zhí)行時(shí),首先從翻譯緩存中查找對(duì)應(yīng)的翻譯塊,為提高查找效率,QEMU將最近使用的翻譯塊存放在一個(gè)哈希表中。如果基本塊不在翻譯緩沖中(該基本塊尚未被翻譯或已經(jīng)從緩沖中移除),則啟動(dòng)基本塊翻譯過程。讀取基本塊目標(biāo)指令,生成中間操作序列,翻譯器將中間序列轉(zhuǎn)換為宿主機(jī)器代碼,并存放在翻譯緩存中。物理處理器每執(zhí)行完一條指令都會(huì)進(jìn)行中斷檢查,對(duì)于QEMU,每執(zhí)行完一次基本塊會(huì)進(jìn)行一次中斷響應(yīng)檢查。

    圖1 動(dòng)態(tài)二進(jìn)制翻譯執(zhí)行流程

    2 虛擬測(cè)試環(huán)境設(shè)計(jì)

    根據(jù)數(shù)管計(jì)算機(jī)硬件配置,在虛擬測(cè)試環(huán)境中實(shí)現(xiàn)星載數(shù)管軟件運(yùn)行所必需的環(huán)境支持,首先要解決在開發(fā)主機(jī)環(huán)境下運(yùn)行星載處理器架構(gòu)下可執(zhí)行二進(jìn)制代碼的問題。本虛擬環(huán)境基于QEMU中的動(dòng)態(tài)二進(jìn)制翻譯技術(shù),將被測(cè)試系統(tǒng)的可執(zhí)行二進(jìn)制代碼動(dòng)態(tài)翻譯為本地可執(zhí)行的代碼,在翻譯過程中增加可執(zhí)行代碼的跟蹤記錄以增強(qiáng)調(diào)試功能;其次,實(shí)現(xiàn)數(shù)管計(jì)算機(jī)外部設(shè)備的虛擬仿真,為星載軟件運(yùn)行提供數(shù)據(jù)激勵(lì)。對(duì)1553B總線等復(fù)雜的外部設(shè)備接口,采用數(shù)據(jù)解析的方法,融合終端應(yīng)用功能,對(duì)數(shù)據(jù)流進(jìn)行仿真;最后,采用統(tǒng)一存儲(chǔ)、分層處理的方法對(duì)測(cè)試數(shù)據(jù)進(jìn)行實(shí)時(shí)差異記錄,提高星載軟件測(cè)試狀態(tài)的監(jiān)視效率。

    2.1 虛擬測(cè)試環(huán)境的組織結(jié)構(gòu)

    數(shù)管軟件虛擬測(cè)試環(huán)境以QEMU模擬器為基礎(chǔ),包括星載處理器模擬模塊、外圍設(shè)備模擬及數(shù)據(jù)流仿真模塊,數(shù)據(jù)監(jiān)控模塊以及指令跟蹤記錄模塊,組織結(jié)構(gòu)如圖2所示。

    圖2 數(shù)管軟件虛擬測(cè)試環(huán)境結(jié)構(gòu)圖

    星載處理器模擬模塊是整個(gè)虛擬測(cè)試環(huán)境的核心,負(fù)責(zé)運(yùn)行星載軟件可執(zhí)行二進(jìn)制代碼,將執(zhí)行記錄傳到指令跟蹤記錄模塊保存,同時(shí)通過中斷和IO處理指令與外圍設(shè)備進(jìn)行數(shù)據(jù)交換;外圍設(shè)備模擬及數(shù)據(jù)流仿真模塊實(shí)現(xiàn)外設(shè)接口的模擬以及數(shù)據(jù)流的仿真,為數(shù)管軟件運(yùn)行提供數(shù)據(jù)激勵(lì),接收軟件輸出數(shù)據(jù),并傳到數(shù)據(jù)監(jiān)控模塊處理;數(shù)據(jù)監(jiān)控模塊負(fù)責(zé)對(duì)計(jì)算機(jī)所有輸入輸出數(shù)據(jù)進(jìn)行存儲(chǔ)分析,實(shí)時(shí)反映星載軟件的狀態(tài)變化,是星載軟件測(cè)試的直接操作界面;指令跟蹤記錄模塊提供處理器已執(zhí)行指令的存儲(chǔ)和查詢功能,補(bǔ)充了QEMU的調(diào)試接口能力,為軟件調(diào)試提供更多的手段。

    2.2 星載處理器模擬及指令跟蹤記錄

    本文所述在QEMU中增加星載處理器模擬的工作,主要包括對(duì)星載處理器特性參數(shù)的定義和系統(tǒng)寄存器的處理。根據(jù)動(dòng)態(tài)二進(jìn)制翻譯技術(shù)的特點(diǎn)和星載數(shù)管軟件運(yùn)行的實(shí)際需要,星載處理器模擬模塊只對(duì)物理處理器的部分功能進(jìn)行仿真模擬。

    QEMU為每個(gè)支持的虛擬處理器設(shè)置了一組特性參數(shù),包括處理器名稱、IU版本號(hào)、FPU版本號(hào)、MMU特性、寄存器窗口數(shù)量、以及指令集范圍等,根據(jù)真實(shí)處理器情況定義星載處理器特征參數(shù),并使用這些參數(shù)完成目標(biāo)處理器動(dòng)態(tài)翻譯功能的初始化。

    系統(tǒng)寄存器主要包括內(nèi)存配置寄存器、IO配置寄存器、中斷配置和狀態(tài)寄存器、RTC寄存器等。其中,中斷和RTC是星載軟件運(yùn)行的基礎(chǔ),模擬器必須實(shí)現(xiàn);內(nèi)存配置寄存器和IO配置寄存器控制處理器對(duì)內(nèi)存和IO的訪問時(shí)序,基于動(dòng)態(tài)翻譯技術(shù)的模擬器無法模擬精確的時(shí)序訪問控制,因此在模擬器中不考慮此類寄存器配置數(shù)據(jù)對(duì)軟件運(yùn)行狀態(tài)的影響。為方便星載軟件開發(fā)人員確認(rèn)星載軟件向此類配置寄存器寫入了正確的配置數(shù)據(jù),所有對(duì)寄存器的訪問都會(huì)被記錄。

    星載處理器模擬模塊在系統(tǒng)環(huán)境中注冊(cè)中斷響應(yīng)函數(shù),用于響應(yīng)外圍設(shè)備提出的中斷請(qǐng)求。星載處理器模擬模塊綜合分析中斷未決寄存器、中斷強(qiáng)制寄存器和中斷屏蔽寄存器,判斷虛擬星載處理器是否需要處理中斷。當(dāng)需要處理系統(tǒng)中斷時(shí),設(shè)置系統(tǒng)中相應(yīng)的中斷位,設(shè)置虛擬星載處理器下一步進(jìn)入中斷處理狀態(tài)。RTC是虛擬星載處理器運(yùn)行的時(shí)間基準(zhǔn),為避免模擬器在不同環(huán)境下運(yùn)行的速度差異對(duì)軟件測(cè)試的影響,RTC時(shí)間源以模擬器程序運(yùn)行的時(shí)間為準(zhǔn),并為所有的外圍設(shè)備模擬模塊提供統(tǒng)一的時(shí)間基準(zhǔn)。

    圖3 目標(biāo)計(jì)算機(jī)初始化流程

    如圖3所示,虛擬星載計(jì)算機(jī)初始化包括處理器初始化、內(nèi)存初始化、程序加載運(yùn)行和外圍設(shè)備初始化。處理器初始化完成處理器狀態(tài)設(shè)置、寄存器初值設(shè)置以及中斷申請(qǐng)、中斷處理模塊掛接。內(nèi)存初始化完成內(nèi)存的申請(qǐng),設(shè)置內(nèi)存大小和起始地址。程序加載有兩種方式:一是加載ELF可執(zhí)行文件,通過-kernel參數(shù)指定,該方式包含調(diào)試信息,在利用GDB接口進(jìn)行調(diào)試時(shí)是必需的;二是加載燒寫在PROM中的程序二進(jìn)制映像文件,通過-bios參數(shù)指定。該方式與真實(shí)硬件環(huán)境下運(yùn)行程序的狀態(tài)完全一致。最后需要加載初始化各個(gè)外圍設(shè)備驅(qū)動(dòng)模擬模塊,為了方便添加、修改外圍設(shè)備模擬模塊,實(shí)現(xiàn)具有不同外圍設(shè)備的數(shù)管計(jì)算機(jī)模擬,本文所述設(shè)計(jì)改進(jìn)了QEMU加載外圍設(shè)備模擬模塊的方式,采用動(dòng)態(tài)共享庫的方式加載外圍設(shè)備模擬模塊。

    為全面準(zhǔn)確記錄星載軟件的執(zhí)行過程,提供更多的星載軟件調(diào)試手段,本文所述設(shè)計(jì)在QEMU模擬器執(zhí)行每個(gè)基本塊時(shí),記錄該基本塊的首地址,作為虛擬星載處理器目標(biāo)碼指令執(zhí)行跟蹤記錄。每個(gè)基本塊只使用4字節(jié)空間記錄首地址,在內(nèi)存中申請(qǐng)10 MB的存儲(chǔ)空間進(jìn)行循環(huán)緩存,實(shí)現(xiàn)記錄多達(dá)數(shù)百萬條歷史指令的功能,遠(yuǎn)超過星載處理器調(diào)試單元的指令記錄容量[9]。按順序記錄的歷史指令為星載軟件運(yùn)行異常后,回查軟件執(zhí)行過程提供依據(jù)。在需要時(shí),指令跟蹤記錄模塊根據(jù)存儲(chǔ)的基本塊地址,在反匯編文件中獲取匯編指令提供給軟件調(diào)試人員。

    2.3 外圍設(shè)備模擬及數(shù)據(jù)流仿真

    數(shù)管計(jì)算機(jī)的外圍設(shè)備一般包括遙控遙測(cè)接口和總線接口。外圍設(shè)備的模擬需要完成中斷掛接和觸發(fā),根據(jù)設(shè)備狀態(tài)對(duì)設(shè)備寄存器讀寫操作進(jìn)行處理。

    遙控遙測(cè)接口實(shí)現(xiàn)遙控?cái)?shù)據(jù)的注入和遙測(cè)數(shù)據(jù)的下行功能。收到上行數(shù)據(jù)注入時(shí),虛擬遙控設(shè)備模塊向虛擬處理器提出中斷請(qǐng)求,星載軟件在中斷處理過程中,讀取相應(yīng)的設(shè)備寄存器,觸發(fā)模擬器調(diào)用外圍設(shè)備模塊對(duì)應(yīng)地址寄存器的處理函數(shù)。虛擬設(shè)備模塊在處理函數(shù)中向星載軟件提供注入數(shù)據(jù)。

    1553B總線是國(guó)內(nèi)航天器最常用的數(shù)據(jù)總線之一,通常承擔(dān)平臺(tái)數(shù)據(jù)傳輸任務(wù)[10]。根據(jù)數(shù)管軟件訪問總線接口的特點(diǎn),虛擬總線模擬模塊不僅實(shí)現(xiàn)了總線接口的模擬,還包括總線終端設(shè)備數(shù)據(jù)的仿真和處理。1553B總線芯片寄存器多,設(shè)備存儲(chǔ)區(qū)大,狀態(tài)復(fù)雜。虛擬總線設(shè)備首先將芯片的寄存器區(qū)和內(nèi)存區(qū)映射到內(nèi)存,保存所有寫入的配置數(shù)據(jù)和消息數(shù)據(jù)。虛擬模塊監(jiān)視配置寄存器值的變化,當(dāng)發(fā)現(xiàn)配置寄存器的傳輸啟動(dòng)位被設(shè)置時(shí),虛擬模塊從映射的內(nèi)存區(qū)中讀出所保存的總線芯片棧寄存器地址、命令棧區(qū)內(nèi)容和數(shù)據(jù)區(qū)內(nèi)容,依次解析命令棧區(qū)的消息格式,根據(jù)設(shè)置的總線終端仿真數(shù)據(jù)內(nèi)容重新設(shè)置數(shù)據(jù)區(qū)和命令棧區(qū),實(shí)現(xiàn)1553B總線消息傳輸?shù)姆抡妗?/p>

    2.4 數(shù)據(jù)監(jiān)控

    作為整星的數(shù)據(jù)管理核心,數(shù)管分系統(tǒng)需要處理總線各終端設(shè)備的數(shù)據(jù)收發(fā),遙控上注和遙測(cè)下傳等多個(gè)數(shù)據(jù)流,對(duì)這些數(shù)據(jù)流的監(jiān)控和分析是數(shù)管軟件測(cè)試的主要工作。為解決傳統(tǒng)數(shù)管測(cè)試環(huán)境中數(shù)據(jù)監(jiān)視點(diǎn)分散的問題,防止數(shù)據(jù)漏判、錯(cuò)判,虛擬測(cè)試環(huán)境采用對(duì)所有數(shù)管軟件輸入輸出數(shù)據(jù)進(jìn)行分層處理、集中管理的方法,并實(shí)時(shí)記錄數(shù)據(jù)的變化情況,如圖4所示。

    圖4 數(shù)據(jù)監(jiān)控模塊

    總線傳輸數(shù)據(jù),遙控注入數(shù)據(jù)和遙測(cè)下傳數(shù)據(jù)由不同的虛擬外圍設(shè)備產(chǎn)生或接收,經(jīng)過對(duì)原始數(shù)據(jù)進(jìn)行必要的解析處理后,添加時(shí)間信息,進(jìn)行統(tǒng)一存儲(chǔ)。各項(xiàng)數(shù)據(jù)記錄在存儲(chǔ)時(shí)與前一次的內(nèi)容進(jìn)行比對(duì),形成差異日志,實(shí)時(shí)顯示。本文所述設(shè)計(jì)在日志監(jiān)視窗口中按時(shí)間順序提示數(shù)管軟件遙控?cái)?shù)據(jù)接收情況、遙測(cè)數(shù)據(jù)變化情況以及總線數(shù)據(jù)變化情況,實(shí)現(xiàn)在單一窗口界面下監(jiān)視數(shù)管軟件狀態(tài)變化過程,有效減少系統(tǒng)狀態(tài)漏判、錯(cuò)判的風(fēng)險(xiǎn)。統(tǒng)計(jì)總線遙測(cè)采集周期、遙測(cè)源包下傳周期等測(cè)試任務(wù)也可以通過對(duì)統(tǒng)一存儲(chǔ)數(shù)據(jù)的查詢獲取。

    3 虛擬測(cè)試環(huán)境的驗(yàn)證與應(yīng)用

    使用高分四號(hào)衛(wèi)星數(shù)管軟件對(duì)本文設(shè)計(jì)的虛擬測(cè)試環(huán)境進(jìn)行了驗(yàn)證測(cè)試。表1列出了虛擬測(cè)試環(huán)境與實(shí)物測(cè)試環(huán)境的對(duì)比情況。首先在開發(fā)主機(jī)Linux操作系統(tǒng)中運(yùn)行虛擬測(cè)試平臺(tái),加載高分四號(hào)數(shù)管軟件映像;然后,通過虛擬遙控接口上注數(shù)管指令,由數(shù)據(jù)監(jiān)視模塊記錄下數(shù)管軟件的狀態(tài)變化;最后,對(duì)比實(shí)物測(cè)試環(huán)境下數(shù)管軟件運(yùn)行結(jié)果與虛擬環(huán)境下軟件運(yùn)行結(jié)果是否一致。圖5是在虛擬測(cè)試環(huán)境中進(jìn)行高分四號(hào)衛(wèi)星數(shù)管軟件指令組功能測(cè)試的情況。驗(yàn)證結(jié)果表明,數(shù)管軟件在虛擬測(cè)試環(huán)境下的運(yùn)行結(jié)果與實(shí)物環(huán)境下的結(jié)果一致。

    表1 虛擬測(cè)試環(huán)境與實(shí)物測(cè)試環(huán)境對(duì)比

    圖5 虛擬測(cè)試環(huán)境下數(shù)管軟件測(cè)試界面

    本文設(shè)計(jì)的虛擬測(cè)試環(huán)境已經(jīng)應(yīng)用在高分四號(hào)衛(wèi)星、火星著陸巡視器等型號(hào)的星載軟件研發(fā)中。在型號(hào)中的應(yīng)用表明,能夠使用虛擬測(cè)試環(huán)境完成星載軟件的運(yùn)行、測(cè)試工作,實(shí)現(xiàn)對(duì)星載數(shù)據(jù)流的仿真和單窗口監(jiān)視。同時(shí),虛擬測(cè)試環(huán)境提供更多的調(diào)試手段,為星載軟件問題定位分析提供幫助。虛擬測(cè)試環(huán)境的應(yīng)用,可以避免物理設(shè)備不能及時(shí)到位對(duì)軟件開發(fā)進(jìn)度的影響,實(shí)現(xiàn)星載軟件提前測(cè)試和軟硬件協(xié)同開發(fā),加快了軟件研制進(jìn)度,提高了軟件開發(fā)效率。

    4 結(jié)論

    針對(duì)實(shí)物測(cè)試環(huán)境對(duì)數(shù)管軟件開發(fā)測(cè)試的制約問題,設(shè)計(jì)并實(shí)現(xiàn)了虛擬集成測(cè)試環(huán)境。該環(huán)境基于動(dòng)態(tài)二進(jìn)制翻譯技術(shù),實(shí)現(xiàn)對(duì)星載計(jì)算機(jī)以及外圍設(shè)備的模擬和數(shù)據(jù)流的仿真監(jiān)視,具備目標(biāo)碼指令跟蹤記錄以及單窗口監(jiān)視系統(tǒng)狀態(tài)變化等功能。相對(duì)于傳統(tǒng)的實(shí)物測(cè)試環(huán)境,該虛擬測(cè)試環(huán)境具有不依賴硬件設(shè)備、數(shù)據(jù)流仿真和監(jiān)視便捷、調(diào)試手段豐富等優(yōu)點(diǎn),已經(jīng)應(yīng)用在高分四號(hào)、火星著陸巡視器等型號(hào)的數(shù)管軟件開發(fā)中,提高了軟件的開發(fā)效率。該設(shè)計(jì)方案可以推廣到其他星載軟件或嵌入式軟件的虛擬測(cè)試仿真,也可應(yīng)用于飛控協(xié)調(diào)演練等活動(dòng),具有一定的推廣價(jià)值。

    參考文獻(xiàn):

    [1] 劉 鑫,韋涌泉,馮國(guó)平,等. 高分四號(hào)衛(wèi)星數(shù)管分系統(tǒng)設(shè)計(jì)及在軌驗(yàn)證[J].航天器工程,2016,25(1):93-98.

    [2] 郭 堅(jiān),付連芳,翟君武. 一種星載軟件系統(tǒng)測(cè)試環(huán)境的設(shè)計(jì)[J]. 計(jì)算機(jī)測(cè)量與控制,2005,13(5):499-502.

    [3] Bennett T L,Wennberg P W.The Use of a Virtual System Simulator and Executable Specifications to Enhance Software Validation, Verification,and Safety Assurance—Final Report[R].Fairmont,West Virginia:NASA IV&V Facility,2004.

    [4] Pidgeon A, Dawe G, Dartnell A.Software emulators:A virtual processor to support training simulations[R].ESA Publications Division,2002.

    [5] 郭向英,盛 莊,張西超. 基于VTEST的TMS320C3x指令集模擬器設(shè)計(jì)[J].計(jì)算機(jī)工程與設(shè)計(jì),2013, 34(6):1973-1976.

    [6] 張西超,郭向英,趙 雷. TCG動(dòng)態(tài)二進(jìn)制翻譯技術(shù)研究[J]. 計(jì)算機(jī)應(yīng)用與軟件,2013,30(11):34-37.

    [7] 李可生,楊 博,徐天偉,等. 基于QEMU 的可重構(gòu)專用處理器模擬器實(shí)現(xiàn)[J].計(jì)算機(jī)工程與設(shè)計(jì),2016, 37(5):1335-1339.

    [8] 鮑穎力. 基于虛擬機(jī)QEMU的嵌入式全系統(tǒng)仿真測(cè)試環(huán)境的研究與實(shí)現(xiàn)[J]. 航空電子技術(shù),2011,42(4):33-37.

    [9] 張 鵬,樊曉桓,黃小平. 基于總線訪問的片上調(diào)試方法研究[J]. 計(jì)算機(jī)測(cè)量與控制,2014,22(2):510-512.

    [10] 劉燕松,盛利元,馮旭哲.衛(wèi)星載荷1553B總線數(shù)據(jù)接口的設(shè)計(jì)與實(shí)現(xiàn)[J].宇航計(jì)測(cè)技術(shù),2013,33(5):52-56.

    猜你喜歡
    測(cè)試環(huán)境模擬器寄存器
    了不起的安檢模擬器
    盲盒模擬器
    劃船模擬器
    全數(shù)字仿真測(cè)試環(huán)境在航天軟件測(cè)試中的應(yīng)用研究
    Lite寄存器模型的設(shè)計(jì)與實(shí)現(xiàn)
    雷達(dá)航跡處理測(cè)試環(huán)境構(gòu)建方法研究
    科技視界(2019年10期)2019-09-02 03:22:27
    網(wǎng)絡(luò)設(shè)備自動(dòng)化測(cè)試設(shè)計(jì)與實(shí)現(xiàn)
    分簇結(jié)構(gòu)向量寄存器分配策略研究*
    負(fù)離子紡織品檢測(cè)方法分析
    動(dòng)態(tài)飛行模擬器及其發(fā)展概述
    国产私拍福利视频在线观看| 亚洲欧美日韩卡通动漫| 99久久中文字幕三级久久日本| 欧美日韩在线观看h| 一级黄色大片毛片| 韩国av在线不卡| 人妻少妇偷人精品九色| 99久久精品国产国产毛片| 亚洲国产欧美人成| 亚洲欧美成人综合另类久久久 | 真实男女啪啪啪动态图| 99热精品在线国产| 精品久久久久久久人妻蜜臀av| 校园春色视频在线观看| 蜜桃久久精品国产亚洲av| 欧美高清性xxxxhd video| 啦啦啦啦在线视频资源| 久久久精品欧美日韩精品| 深夜精品福利| 精品国产三级普通话版| 欧美bdsm另类| 亚洲精品日韩在线中文字幕 | 又黄又爽又刺激的免费视频.| 亚洲欧美日韩高清在线视频| 夜夜看夜夜爽夜夜摸| 国产一区二区在线观看日韩| 欧美性感艳星| 51国产日韩欧美| 在线看三级毛片| 日本一本二区三区精品| 欧美绝顶高潮抽搐喷水| 最好的美女福利视频网| 自拍偷自拍亚洲精品老妇| 亚洲一级一片aⅴ在线观看| 一夜夜www| 乱系列少妇在线播放| 欧洲精品卡2卡3卡4卡5卡区| 成人永久免费在线观看视频| 日韩一本色道免费dvd| 日本 av在线| 99九九线精品视频在线观看视频| av女优亚洲男人天堂| 直男gayav资源| 国产精品99久久久久久久久| 精品人妻偷拍中文字幕| 国产男人的电影天堂91| 在现免费观看毛片| 国产在视频线在精品| 日韩国内少妇激情av| 夜夜看夜夜爽夜夜摸| 亚洲欧美成人综合另类久久久 | .国产精品久久| 婷婷精品国产亚洲av在线| 亚洲无线在线观看| 亚洲欧美精品综合久久99| 看免费成人av毛片| 在线天堂最新版资源| 色综合亚洲欧美另类图片| 国产精品女同一区二区软件| 欧美成人精品欧美一级黄| 欧美绝顶高潮抽搐喷水| 久久久成人免费电影| 亚洲五月天丁香| 亚洲图色成人| 免费观看在线日韩| 女生性感内裤真人,穿戴方法视频| 精品人妻熟女av久视频| 久久久久久久久中文| 久久精品人妻少妇| 我要搜黄色片| 欧美高清性xxxxhd video| 人人妻人人澡人人爽人人夜夜 | 深夜a级毛片| 久久99热这里只有精品18| 国产一区二区在线观看日韩| 免费电影在线观看免费观看| 十八禁网站免费在线| 18禁裸乳无遮挡免费网站照片| 久久久久精品国产欧美久久久| 欧美日韩综合久久久久久| 在线观看一区二区三区| 毛片一级片免费看久久久久| 久久久久久久亚洲中文字幕| 精品人妻偷拍中文字幕| 日本爱情动作片www.在线观看 | 丰满人妻一区二区三区视频av| 美女内射精品一级片tv| 精品久久久久久久久久免费视频| 99久久久亚洲精品蜜臀av| 国产精品日韩av在线免费观看| 国产精品美女特级片免费视频播放器| 色5月婷婷丁香| 97人妻精品一区二区三区麻豆| 日日干狠狠操夜夜爽| 极品教师在线视频| 国产精品亚洲一级av第二区| 欧美一区二区国产精品久久精品| 成年女人毛片免费观看观看9| 免费av观看视频| 99视频精品全部免费 在线| 精品福利观看| 免费看光身美女| 成年版毛片免费区| 日韩强制内射视频| 日日摸夜夜添夜夜爱| 好男人在线观看高清免费视频| 国产精品久久久久久久久免| 亚洲欧美日韩高清在线视频| 欧美绝顶高潮抽搐喷水| 国产精品一区二区性色av| www日本黄色视频网| 变态另类丝袜制服| 日韩成人av中文字幕在线观看 | 伦理电影大哥的女人| 日韩一本色道免费dvd| 乱人视频在线观看| 久久久久久久久久久丰满| 插逼视频在线观看| 日韩强制内射视频| 久久精品国产鲁丝片午夜精品| 国产视频一区二区在线看| 国产精品一区二区三区四区久久| 麻豆精品久久久久久蜜桃| 一个人看视频在线观看www免费| 日韩中字成人| 久久午夜亚洲精品久久| 伦精品一区二区三区| 久久精品夜夜夜夜夜久久蜜豆| 国模一区二区三区四区视频| 日日摸夜夜添夜夜添小说| 国产男靠女视频免费网站| 日本爱情动作片www.在线观看 | 久久久久久久午夜电影| 欧美另类亚洲清纯唯美| 精品不卡国产一区二区三区| АⅤ资源中文在线天堂| 如何舔出高潮| 三级国产精品欧美在线观看| 在线观看美女被高潮喷水网站| 18禁裸乳无遮挡免费网站照片| 亚洲成人精品中文字幕电影| 22中文网久久字幕| 色吧在线观看| 中文字幕熟女人妻在线| 97热精品久久久久久| 麻豆国产av国片精品| 成年免费大片在线观看| 联通29元200g的流量卡| 99久久九九国产精品国产免费| 嫩草影视91久久| 天堂动漫精品| 卡戴珊不雅视频在线播放| 日韩 亚洲 欧美在线| 一本精品99久久精品77| 久久久欧美国产精品| 色哟哟哟哟哟哟| 亚洲一级一片aⅴ在线观看| 精品久久久久久久末码| 啦啦啦啦在线视频资源| 波多野结衣巨乳人妻| 99久久九九国产精品国产免费| 国产成人a区在线观看| a级一级毛片免费在线观看| 国产乱人视频| 国产精品日韩av在线免费观看| 能在线免费观看的黄片| 日韩在线高清观看一区二区三区| 日本五十路高清| 国产一区亚洲一区在线观看| 免费大片18禁| 麻豆精品久久久久久蜜桃| 久久亚洲国产成人精品v| 日韩av不卡免费在线播放| 一级毛片电影观看 | 老熟妇乱子伦视频在线观看| 男女下面进入的视频免费午夜| 99热只有精品国产| 精品久久久久久久久av| 亚洲欧美清纯卡通| 精品午夜福利视频在线观看一区| 国产av麻豆久久久久久久| 国产亚洲精品久久久久久毛片| 搡老岳熟女国产| 99九九线精品视频在线观看视频| 1024手机看黄色片| 级片在线观看| 看免费成人av毛片| 91av网一区二区| АⅤ资源中文在线天堂| 男人的好看免费观看在线视频| 欧美成人免费av一区二区三区| 成人永久免费在线观看视频| 自拍偷自拍亚洲精品老妇| 国产亚洲91精品色在线| 老司机午夜福利在线观看视频| 免费av不卡在线播放| 99在线人妻在线中文字幕| 亚洲一区高清亚洲精品| 夜夜看夜夜爽夜夜摸| 激情 狠狠 欧美| 成年av动漫网址| 12—13女人毛片做爰片一| 天美传媒精品一区二区| 国产激情偷乱视频一区二区| 日韩中字成人| 少妇人妻精品综合一区二区 | 欧美不卡视频在线免费观看| 少妇的逼好多水| 久久精品国产99精品国产亚洲性色| 黄色日韩在线| 亚洲av第一区精品v没综合| 真实男女啪啪啪动态图| 亚洲欧美成人综合另类久久久 | 男女视频在线观看网站免费| av专区在线播放| 成人三级黄色视频| 可以在线观看的亚洲视频| 国内精品一区二区在线观看| 中国国产av一级| 久久久久精品国产欧美久久久| 日日啪夜夜撸| 日本爱情动作片www.在线观看 | 国产精品1区2区在线观看.| 中出人妻视频一区二区| 天堂网av新在线| 在线观看午夜福利视频| 99热这里只有精品一区| 两性午夜刺激爽爽歪歪视频在线观看| 日韩精品青青久久久久久| 床上黄色一级片| 精品一区二区三区视频在线| 天堂影院成人在线观看| 亚洲经典国产精华液单| 美女免费视频网站| 亚洲av第一区精品v没综合| 精品日产1卡2卡| 国语自产精品视频在线第100页| 成人国产麻豆网| 亚洲五月天丁香| 亚洲天堂国产精品一区在线| 人人妻人人澡人人爽人人夜夜 | 国产精品嫩草影院av在线观看| 中文字幕精品亚洲无线码一区| 成人综合一区亚洲| 国产精品1区2区在线观看.| 亚洲精品色激情综合| 91久久精品国产一区二区成人| 极品教师在线视频| 少妇的逼水好多| 亚洲欧美精品自产自拍| 亚洲无线在线观看| 国产91av在线免费观看| 亚洲一区二区三区色噜噜| 国产亚洲91精品色在线| 久久九九热精品免费| 日本三级黄在线观看| av天堂中文字幕网| 搡老岳熟女国产| 最后的刺客免费高清国语| 午夜久久久久精精品| 国产熟女欧美一区二区| av国产免费在线观看| 久久6这里有精品| 国产91av在线免费观看| 国产老妇女一区| 天堂动漫精品| 亚洲欧美清纯卡通| 色av中文字幕| 99精品在免费线老司机午夜| 国产爱豆传媒在线观看| 亚洲av成人av| 99在线视频只有这里精品首页| 老女人水多毛片| 夜夜看夜夜爽夜夜摸| 免费电影在线观看免费观看| 最后的刺客免费高清国语| 午夜久久久久精精品| 三级男女做爰猛烈吃奶摸视频| 深夜a级毛片| 欧美在线一区亚洲| 国产乱人偷精品视频| 亚洲av五月六月丁香网| 99久久精品热视频| 少妇猛男粗大的猛烈进出视频 | 久久热精品热| 最近在线观看免费完整版| 日韩精品中文字幕看吧| 91在线精品国自产拍蜜月| 午夜日韩欧美国产| 国国产精品蜜臀av免费| 精品国内亚洲2022精品成人| 在线免费观看的www视频| 欧美成人精品欧美一级黄| 午夜福利在线在线| 少妇人妻精品综合一区二区 | 无遮挡黄片免费观看| 在现免费观看毛片| 插逼视频在线观看| 日韩高清综合在线| 网址你懂的国产日韩在线| 美女xxoo啪啪120秒动态图| 免费观看精品视频网站| АⅤ资源中文在线天堂| 人妻丰满熟妇av一区二区三区| 一a级毛片在线观看| 日本黄色片子视频| 免费看a级黄色片| 一进一出抽搐动态| ponron亚洲| 亚洲av免费高清在线观看| 小说图片视频综合网站| 久久久久国内视频| av福利片在线观看| 日韩中字成人| 亚洲国产精品成人久久小说 | 国产成年人精品一区二区| 亚洲久久久久久中文字幕| 神马国产精品三级电影在线观看| 狂野欧美激情性xxxx在线观看| 成年女人毛片免费观看观看9| 日本熟妇午夜| 九九久久精品国产亚洲av麻豆| 岛国在线免费视频观看| 五月玫瑰六月丁香| 在线免费观看不下载黄p国产| 色5月婷婷丁香| 成人国产麻豆网| 日本欧美国产在线视频| 国产激情偷乱视频一区二区| 国产高清视频在线播放一区| a级毛片a级免费在线| 男人狂女人下面高潮的视频| 久久久久国产网址| 一a级毛片在线观看| 18禁在线无遮挡免费观看视频 | 欧美日本亚洲视频在线播放| 亚洲高清免费不卡视频| 国产在线精品亚洲第一网站| av.在线天堂| 99九九线精品视频在线观看视频| 成人二区视频| 国产午夜福利久久久久久| 露出奶头的视频| 一卡2卡三卡四卡精品乱码亚洲| 日产精品乱码卡一卡2卡三| 亚洲欧美清纯卡通| 国产精品99久久久久久久久| 丰满乱子伦码专区| 欧美日本视频| 一级毛片久久久久久久久女| 欧美日韩国产亚洲二区| 我要搜黄色片| 看免费成人av毛片| 六月丁香七月| 高清午夜精品一区二区三区 | 久久久国产成人免费| 在线免费观看不下载黄p国产| 国产精品久久久久久久久免| 亚洲最大成人中文| 亚洲无线观看免费| 久久精品人妻少妇| 国产高清有码在线观看视频| 亚洲国产精品国产精品| 国产精品一区二区性色av| 欧美一区二区亚洲| 免费黄网站久久成人精品| 中文亚洲av片在线观看爽| 一级毛片电影观看 | 欧美日韩一区二区视频在线观看视频在线 | 又黄又爽又刺激的免费视频.| 久久久久久久久大av| 又爽又黄a免费视频| 99热网站在线观看| 淫妇啪啪啪对白视频| 在线免费观看的www视频| 久久久久久久亚洲中文字幕| 亚洲内射少妇av| 国产av麻豆久久久久久久| 亚洲自偷自拍三级| 国内精品久久久久精免费| 长腿黑丝高跟| 麻豆一二三区av精品| 久久久精品94久久精品| 真人做人爱边吃奶动态| 免费看美女性在线毛片视频| 国产精品国产高清国产av| 一个人观看的视频www高清免费观看| 亚洲经典国产精华液单| 亚洲国产精品成人综合色| 青春草视频在线免费观看| 大型黄色视频在线免费观看| 日韩av不卡免费在线播放| 欧美在线一区亚洲| 中国美白少妇内射xxxbb| 国产国拍精品亚洲av在线观看| 蜜桃亚洲精品一区二区三区| 99久久久亚洲精品蜜臀av| 国产成人影院久久av| 国内精品一区二区在线观看| 国产成人福利小说| av在线老鸭窝| 婷婷六月久久综合丁香| 欧美中文日本在线观看视频| 成人毛片a级毛片在线播放| 日韩高清综合在线| 欧美激情国产日韩精品一区| 亚洲av成人av| 亚洲国产精品久久男人天堂| 国产男靠女视频免费网站| 最近的中文字幕免费完整| 国产成人精品久久久久久| av视频在线观看入口| 日韩大尺度精品在线看网址| 国产三级在线视频| 久久天躁狠狠躁夜夜2o2o| 国产欧美日韩精品一区二区| 亚洲欧美成人综合另类久久久 | 国产爱豆传媒在线观看| 亚洲高清免费不卡视频| 中文字幕久久专区| 一a级毛片在线观看| 热99re8久久精品国产| 三级男女做爰猛烈吃奶摸视频| 亚洲性夜色夜夜综合| 亚洲av成人精品一区久久| 亚洲成人中文字幕在线播放| 天堂影院成人在线观看| 成人三级黄色视频| 国产黄色视频一区二区在线观看 | 麻豆精品久久久久久蜜桃| 久久热精品热| 国产片特级美女逼逼视频| av.在线天堂| 亚洲精品影视一区二区三区av| 精品少妇黑人巨大在线播放 | 久久久精品94久久精品| 国内久久婷婷六月综合欲色啪| 久久精品夜夜夜夜夜久久蜜豆| 亚洲最大成人手机在线| 在线观看66精品国产| 少妇猛男粗大的猛烈进出视频 | 小说图片视频综合网站| 深爱激情五月婷婷| 91在线观看av| 亚洲无线在线观看| 看片在线看免费视频| 99热只有精品国产| 十八禁国产超污无遮挡网站| 九九久久精品国产亚洲av麻豆| 成熟少妇高潮喷水视频| 亚洲精品日韩在线中文字幕 | 欧美3d第一页| 午夜福利高清视频| 免费观看的影片在线观看| .国产精品久久| 18禁在线无遮挡免费观看视频 | 午夜福利在线观看吧| 人人妻人人澡人人爽人人夜夜 | 丝袜美腿在线中文| 久久久久久久久中文| 国产男人的电影天堂91| 精品人妻一区二区三区麻豆 | 一个人免费在线观看电影| 亚洲成av人片在线播放无| 亚洲内射少妇av| 黄色欧美视频在线观看| 香蕉av资源在线| 欧美国产日韩亚洲一区| 黄片wwwwww| 91精品国产九色| 国产 一区精品| 国产亚洲欧美98| 亚洲成人精品中文字幕电影| 国产精品一区www在线观看| 又粗又爽又猛毛片免费看| 麻豆国产av国片精品| 国产视频一区二区在线看| 在线观看美女被高潮喷水网站| 亚洲三级黄色毛片| 天堂动漫精品| 可以在线观看毛片的网站| 亚洲av成人av| 十八禁国产超污无遮挡网站| 亚州av有码| 亚洲在线自拍视频| 日韩欧美三级三区| 黄色欧美视频在线观看| 长腿黑丝高跟| 联通29元200g的流量卡| 哪里可以看免费的av片| 亚洲在线自拍视频| 国产国拍精品亚洲av在线观看| 亚洲欧美日韩高清在线视频| 深夜精品福利| 啦啦啦观看免费观看视频高清| 在线免费观看的www视频| 亚洲第一电影网av| 男人舔女人下体高潮全视频| 人妻久久中文字幕网| 国产一区二区在线观看日韩| 能在线免费观看的黄片| 亚洲电影在线观看av| 插阴视频在线观看视频| 亚洲av五月六月丁香网| 日日干狠狠操夜夜爽| 亚洲最大成人中文| 我要搜黄色片| 久久久久久久久久成人| 搡老妇女老女人老熟妇| 日日摸夜夜添夜夜添av毛片| 亚洲一级一片aⅴ在线观看| av黄色大香蕉| 草草在线视频免费看| 日本在线视频免费播放| 午夜a级毛片| 欧美国产日韩亚洲一区| 国产成人91sexporn| 天堂影院成人在线观看| 在线免费观看的www视频| 老司机午夜福利在线观看视频| 久久国产乱子免费精品| 免费看av在线观看网站| 深夜a级毛片| 亚洲av不卡在线观看| 日本色播在线视频| 啦啦啦啦在线视频资源| 欧美日韩在线观看h| 晚上一个人看的免费电影| 精品国内亚洲2022精品成人| 精品久久久久久久久亚洲| 久久99热6这里只有精品| 亚洲成人精品中文字幕电影| aaaaa片日本免费| 精华霜和精华液先用哪个| 成熟少妇高潮喷水视频| 搡老岳熟女国产| 亚洲国产精品成人久久小说 | 免费av观看视频| 女生性感内裤真人,穿戴方法视频| 老师上课跳d突然被开到最大视频| 九九久久精品国产亚洲av麻豆| 国产色爽女视频免费观看| 国产精品久久久久久精品电影| 日本三级黄在线观看| 久久久成人免费电影| 老女人水多毛片| 亚州av有码| 国产精品一区二区免费欧美| 久久精品影院6| 国产精品野战在线观看| 亚洲最大成人av| 18+在线观看网站| 欧美性猛交╳xxx乱大交人| 特级一级黄色大片| 日本免费a在线| 99久久九九国产精品国产免费| 国模一区二区三区四区视频| 国语自产精品视频在线第100页| 变态另类丝袜制服| 欧美高清成人免费视频www| 亚洲av一区综合| 精品福利观看| 97热精品久久久久久| 欧美日韩综合久久久久久| 国产成人影院久久av| 免费在线观看影片大全网站| 亚洲人与动物交配视频| 色在线成人网| 免费黄网站久久成人精品| 色吧在线观看| 黄色欧美视频在线观看| or卡值多少钱| 国产午夜精品论理片| 91在线精品国自产拍蜜月| 亚洲精品一卡2卡三卡4卡5卡| 在现免费观看毛片| 欧美又色又爽又黄视频| 亚洲精品456在线播放app| 18禁黄网站禁片免费观看直播| 午夜福利成人在线免费观看| 亚洲综合色惰| 99久久精品一区二区三区| 国产精品日韩av在线免费观看| 亚洲性久久影院| av在线播放精品| 欧美区成人在线视频| 国产黄色视频一区二区在线观看 | 午夜免费男女啪啪视频观看 | 色综合色国产| 午夜精品在线福利| 日产精品乱码卡一卡2卡三| 午夜精品国产一区二区电影 | av黄色大香蕉| 长腿黑丝高跟| 看黄色毛片网站| 嫩草影院精品99| 黄色一级大片看看| 国模一区二区三区四区视频| 亚洲电影在线观看av| 国产中年淑女户外野战色| 日韩中字成人| 国产高清三级在线| 精品久久久久久久久av| 搡老熟女国产l中国老女人| 嫩草影院入口| 国产女主播在线喷水免费视频网站 | 日韩欧美免费精品| 人人妻人人澡人人爽人人夜夜 | 免费在线观看成人毛片| 国产精品无大码| 国内久久婷婷六月综合欲色啪| a级毛片免费高清观看在线播放| 尾随美女入室| 两个人视频免费观看高清| 日韩,欧美,国产一区二区三区 |