在航天系統(tǒng)中大量的應(yīng)用實時嵌入式軟件,這些軟件從專業(yè)很強的應(yīng)用軟件到系統(tǒng)軟件(如實時操作系統(tǒng)內(nèi)核RTOS)都有。實時嵌入式軟件測試和實時嵌入式軟件特點密不可分,實時嵌入式軟件和硬件聯(lián)系緊密,實時性要求非常嚴(yán)格。TESSC(SCT-Cast)就是專門針對航天工業(yè)嵌入式軟件驗證(確認(rèn))開發(fā)的專用系統(tǒng)。
TESSC由宿主機系統(tǒng)(Host System)和仿真處理模塊組成。 仿真處理模塊包含一個目標(biāo)處理器的復(fù)制(target CPU,如DSP3X)和支持與控制系統(tǒng)(support system)。目標(biāo)處理器的復(fù)制執(zhí)行匯編語言程序,Ada語言程序,C語言程序程序的最終二進(jìn)制代碼。支持與控制系統(tǒng)控制目標(biāo)處理器復(fù)制的行為并仿真低一級硬件的接口。宿主機用于應(yīng)用測試和全面控制,以及提供更復(fù)雜環(huán)境的仿真模擬。匯編語言程序,高級語言程序,混合語言程序最終二進(jìn)制代碼無需任何修改,直接執(zhí)行于真實目標(biāo)處理器的復(fù)制中,應(yīng)用于目標(biāo)軟件真實的外界感知環(huán)境的仿真系統(tǒng)中。

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