在航天系統(tǒng)中大量的應用實時嵌入式軟件,這些軟件從專業(yè)很強的應用軟件到系統(tǒng)軟件(如實時操作系統(tǒng)內(nèi)核RTOS)都有。實時嵌入式軟件測試和實時嵌入式軟件特點密不可分,實時嵌入式軟件和硬件聯(lián)系緊密,實時性要求非常嚴格。TESSC(SCT-Cast)就是專門針對航天工業(yè)嵌入式軟件驗證(確認)開發(fā)的專用系統(tǒng)。
TESSC由宿主機系統(tǒng)(Host System)和仿真處理模塊組成。 仿真處理模塊包含一個目標處理器的復制(target CPU,如DSP3X)和支持與控制系統(tǒng)(support system)。目標處理器的復制執(zhí)行匯編語言程序,Ada語言程序,C語言程序程序的最終二進制代碼。支持與控制系統(tǒng)控制目標處理器復制的行為并仿真低一級硬件的接口。宿主機用于應用測試和全面控制,以及提供更復雜環(huán)境的仿真模擬。匯編語言程序,高級語言程序,混合語言程序最終二進制代碼無需任何修改,直接執(zhí)行于真實目標處理器的復制中,應用于目標軟件真實的外界感知環(huán)境的仿真系統(tǒng)中。
TESSC最重要的特性之一是目標處理器的復制和所有和它相關的時間關系都可以被支持系統(tǒng)與控制系統(tǒng)管理、控制。這就意味著在 TESSC上的目標軟件(包括匯編語言程序,高級語言程序)的行為過程,完全可以控制,可以在測試期間對目標軟件內(nèi)部的探查精確而詳細??梢赃M行更多軟件測試,對目標軟件深層問題進行探究。
系統(tǒng)測試,是對包括軟件及硬件一體的系統(tǒng)的測試。這種測試方式對于軟件測試而言所得到的結(jié)果,是包括軟件行為在內(nèi)的系統(tǒng)行為,所以較難辨識軟件的行為特性,所以通常只能做為確認測試的方法之一,而 TESSC則禰補了這空白。
TESSC特點如下:
TESSC提供真實的CPU;
仿真真實目標處理器的輸入輸出接口;
目標軟件(包括匯編語言程序,高級語言程序,混合語言程序)最終二進制代碼無需任何修改,直接執(zhí)行于真實目標處理器的復制中;
支持在目標處理器的所有內(nèi)存,輸入輸出的所有地址空間設置斷點;
支持在目標軟件運行的任何時間設置斷點;
支持針對目標軟件(包括匯編語言程序,高級語言程序,混合語言程序)從處理器內(nèi)部及外部環(huán)境的故障注入;實現(xiàn)被測應用程序的閉環(huán)運行。這樣就可在軟件測試中不需引入任何設備;
支持運行在真實目標處理器復制基礎上的覆蓋率分析;
仿真的實時,實時性要求非常嚴格;
系統(tǒng)可重用
保留CRESTS/ATAT,TESS界面風格、應用風格和大部分主要功能;
盡管被測程序是運行在真實的CPU上,但TESSC同樣不需要(或SCT-Cast可以)對被測程序進行插樁。
能夠?qū)PU的I/O行為和外圍硬件行為進行編程仿真,并實現(xiàn)被測應用程序的閉環(huán)運行。這樣就可在軟件測試中不需引入任何設備;
支持匯編、C語言、Ada語言。
TESSC能夠滿足嵌入式軟件開發(fā)階段的內(nèi)部測試和調(diào)試以及驗收階段的測試的要求,并能夠為測試方、被測方及上級主管單位提供可以信賴和再現(xiàn)測試過程與測試問題的測試報告。
在該平臺下,可以實現(xiàn)虛擬目標機環(huán)境、程序結(jié)構(gòu)分析、軟件質(zhì)量度量、支持結(jié)構(gòu)測試,故障注入、全數(shù)字仿真、軟件分析與測試總結(jié)報告。