TPT19亮點(diǎn)

1. 形式化需求：自動(dòng)生成測(cè)試用例

在TPT 19中，測(cè)試用例可以通過(guò)形式化需求自動(dòng)創(chuàng)建—只需要按下按鈕。

此前，形式化需求已經(jīng)自動(dòng)評(píng)估?，F(xiàn)在我們對(duì)此進(jìn)行了更深一步的改進(jìn)。

2. 參數(shù)集的混合執(zhí)行

TPT19中可以更容易地創(chuàng)建參數(shù)集，可以多次執(zhí)行，當(dāng)然也可以對(duì)其進(jìn)行評(píng)估。

這意味著不同參數(shù)設(shè)置的測(cè)試用例不必被復(fù)制，并且測(cè)試項(xiàng)目保持清晰和結(jié)構(gòu)良好。

3.最壞情況下執(zhí)行時(shí)間的指示

TPT 19第一次為C/ C++平臺(tái)指定了每個(gè)單獨(dú)測(cè)試步驟的執(zhí)行時(shí)間。換句話說(shuō)，一個(gè)早期預(yù)警系統(tǒng)，它可以指示哪些測(cè)試和哪些條件會(huì)增加本地主機(jī)上的執(zhí)行時(shí)間。

該指標(biāo)可用于在目標(biāo)處理器上進(jìn)行測(cè)試時(shí)減少測(cè)試的選擇。這意味著:更少的測(cè)試執(zhí)行和更快地獲得必要的見解。

4. 對(duì)所有目標(biāo)編譯器的支持

TPT19支持為任何目標(biāo)ECU構(gòu)建軟件，為任何處理器架構(gòu)使用任何編譯器-可用于c平臺(tái)。

5. 在虛擬環(huán)境中執(zhí)行PiL測(cè)試

如何在PiL測(cè)試中節(jié)省硬件？

TPT19的該項(xiàng)新功能對(duì)汽車環(huán)境中的應(yīng)用開發(fā)團(tuán)隊(duì)來(lái)說(shuō)試非常理想的，他們必須在真實(shí)環(huán)境中進(jìn)行測(cè)試——理想情況下無(wú)需構(gòu)建硬件基礎(chǔ)設(shè)施。

TPT19中通過(guò)Lauterbach的Trace32環(huán)境可以實(shí)現(xiàn)虛擬環(huán)境中的PiL測(cè)試。

不僅可以為模型或C/ c++代碼執(zhí)行現(xiàn)有的測(cè)試用例，也為任何目標(biāo)體系結(jié)構(gòu)執(zhí)行測(cè)試用例。

在背靠背測(cè)試過(guò)程中，自動(dòng)將PiL測(cè)試結(jié)果直接與之前的測(cè)試運(yùn)行(MiL和SiL)進(jìn)行比較。

這些測(cè)試的執(zhí)行直接在主機(jī)上的模擬器中完成。不需要硬件接口和PiL板。

6. 壓力測(cè)試

多次運(yùn)行測(cè)試用例，增加檢測(cè)被測(cè)系統(tǒng)的非確定性行為的可能性。簡(jiǎn)單地指定一個(gè)測(cè)試用例是否應(yīng)該使用不同的參數(shù)集執(zhí)行幾次。

7. Linux環(huán)境中的Simulink模型

TPT現(xiàn)在支持Docker環(huán)境下，在云中的Linux、持續(xù)集成環(huán)境或本地主機(jī)上運(yùn)行MiL測(cè)試。

10. 問(wèn)題視圖

在測(cè)試項(xiàng)目設(shè)置過(guò)程中新的問(wèn)題視圖像一個(gè)助手。它能幫助用戶羅列出發(fā)生的警告和錯(cuò)誤。

只需點(diǎn)擊一下，你就可以直接跳轉(zhuǎn)到它們的源代碼并修正它們。

無(wú)論是腳本實(shí)現(xiàn)中的拼寫錯(cuò)誤，配置中的錯(cuò)誤還是忘記了測(cè)試框架的更新;所有阻止測(cè)試執(zhí)行的因素都會(huì)被清楚地列出。