讓軟件測試變得越來越方便——TPT18新特性

TPT作為PikeTec公司的嵌入式軟件測試工具，具有很高的擴展性和便捷性。隨著軟件測試日趨復(fù)雜并且需求多樣化，TPT不斷改進以滿足與時俱進的要求。您可以在所有開發(fā)階段使用TPT進行測試。無論是簡單的單元測試還是復(fù)雜的系統(tǒng)測試，TPT都能夠使得測試變得快捷、簡單和直觀。

那么，TPT18是如何讓測試變得簡單快捷呢？

TPT18更新總體預(yù)覽：

1、新增形式化需求評估，實現(xiàn)需求和評估強相關(guān)；

2、更靈活的需求管理，支持自定義功能需求；

3、基于TASMO工具箱，自動生成滿足MC/DC要求的測試用例；

4、新增覆蓋度統(tǒng)計工具TPT Coverage；

5、豐富MATLAB平臺功能；

6、新增給定激勵信號的方式（TPT內(nèi)置函數(shù)）；

7、Batch Runner界面和功能更新；

8、ASAM XiL及Vector系列平臺相關(guān)更新。

其他：

1、新增Simulink Real-Time XiL平臺，支持新一代Speedgoat硬件；

2、Carmaker Platform優(yōu)化接口交互，并且當(dāng)前測試可通過IPG可視化；

3、新增評估函數(shù)，TPT.getConstant和TPT.isConstant()，支持任意表達(dá)式；

4、全局評估可添加到Assesslet中，可針對任意平臺激活；

5、測試執(zhí)行前后，可添加Python Script，實現(xiàn)自定義功能；

6、在Test Case Details/Description中可導(dǎo)出評估條件；

7、Test Case Summary中可顯示鏈接的需求ID。

……

詳細(xì)介紹：

一、形式化需求評估

想不想只編輯需求而不寫評估？現(xiàn)在TPT18形式化需求評估能夠滿足這一要求。

形式化需求具有簡潔、明確和可評估的特點。在TPT18中，可將導(dǎo)入的Excel需求翻譯成形式化需求評估。形式化需求不僅僅是靠鏈接關(guān)系完成的需求覆蓋，而是更直接的對需求進行評估。

比如，燈控模型需求SPEC-17，可以翻譯成如下形式化需求評估。

圖 1形式化需求評估

測試結(jié)果如下：

圖 2測試結(jié)果

二、更靈活的需求管理

TPT18前，功能需求只能從外部導(dǎo)入，不能在TPT中更改。雖然這樣能保證需求的統(tǒng)一，但也為功能需求的更改帶來不便。在TPT18中，可直接在Requirements中更改/新建功能需求/子功能需求，并且該需求不會隨著功能需求的導(dǎo)入而改變。

圖 3功能需求更新

三、TASMO支持MC/DC自動生成測試用例

測試覆蓋度不能達(dá)到要求怎么辦？這時候可以考慮使用TASMO。TASMO可根據(jù)模型/代碼結(jié)構(gòu)生成測試用例，提高測試覆蓋度。

TPT18除了支持CC和DC覆蓋外，還支持MC/DC覆蓋，更容易達(dá)到理想覆蓋度。

例如模型中OR模塊，如須滿足MC/DC，須包含如下情況：

圖 4模型中的Or結(jié)構(gòu)

1、所有輸入為False；

2、一個輸入為True，其余均為False。

在TPT18中，可分析出如下結(jié)構(gòu)，并根據(jù)此結(jié)構(gòu)自動生成測試用例。

圖 5 TPT18 Or模塊結(jié)構(gòu)

四、新增代碼覆蓋度統(tǒng)計工具——TPT Coverage

TPT在統(tǒng)計覆蓋度時，提供了多種選擇，在測試時按照自身情況決定即可。

在模型階段，可以調(diào)用Targetlink、CTC++ for Targetlink和Simulink V&V統(tǒng)計覆蓋度。

在代碼階段，除了CTC++和GNU gcov外，還提供了TPT Coverage統(tǒng)計覆蓋度。

圖 6 TPT Coverage

圖 7覆蓋度報告

圖 8覆蓋度報告

五、豐富MALTAB平臺功能

（1）MATLAB/Simulink Platform加速運行模式

你能想象一條測試用例運行后的數(shù)據(jù)達(dá)到將近10G嗎？

超大的數(shù)據(jù)量也就意味著一個字——慢，而且是超級慢。

現(xiàn)在，這種情況得到緩解，TPT18的“MATLAB/Simulink Platform”新增選項“Simulation Mode”，可使用“Normal”、“Accelerator”、“Rapid Accelerator”和“Software in the loop”模式運行測試，可加快測試運行速度。

Tip：針對測試用例數(shù)量較多情況，TPT支持多核模式加速運行。

圖 9加速運行模式

（2）檢測特定系統(tǒng)覆蓋度

TPT18前，如果需要分析特定子層級覆蓋度時，需要將其它子層級注釋掉。但是，如果子層級之前存在交互，需要進行接地等調(diào)試，較為復(fù)雜?，F(xiàn)在，TPT18免去這一煩惱，因為可以直接排除掉不想檢測的子層級。

圖 10 Advanced setting

圖 11選擇特定子系統(tǒng)

（3）直接導(dǎo)入Stateflow中間變量

TPT18前導(dǎo)入Stateflow中間變量需要手動新建并設(shè)置Import Measurements，還需在測試平臺中加入腳本。TPT18的可直接點擊“offline logging”導(dǎo)入，方便快捷。

圖 12導(dǎo)入Stateflow中間變量

（4）自動生成TPT Simulink Function Handler

當(dāng)模型中使用了Simulink Function，但是測試目標(biāo)層級的 Function Caller與Simulink Function不在同一層級，運行測試時會報錯（找不到Simulink Function）。

面對此種情況，TPT18在測試框架中可自動生成TPT Simulink Function Handler。

圖 13 TPT Simulink Function Handler

六、豐富給定激勵信號的方式（TPT內(nèi)置函數(shù)）

TPT18增加了激勵信號的給定方式，例如：TPT.impulse()、TPT.step()、TPT.sinwave()等，更方便實現(xiàn)想要的信號。

圖 14 TPT內(nèi)置函數(shù)

七、Batch Runner界面和功能更新

當(dāng)有多個TPT工程需要運行時，可以使用Batch Runner同時運行。

在TPT18中，更新了界面，并且增加了如下步驟：

▲TPT API-script

▲Execute Tests

▲Generate Testframe

▲Generate Overview RePort

支持如下平臺生成測試框架：

▲AUTOSAR

▲C/C++

▲MATLAB

▲ASCET@FUSION

▲ASCET

圖 15 Batch Runner

八、ASAM XiL及Vector相關(guān)更新

（1）擴展了ASAM XiL支持

服務(wù)項中增加了ASAM XiL Diag Port，可直接在測試用例中對DTC進行操作，如下：

▲Read DTCs

▲Clear DTCs

▲Read/Write Values

▲Execute Services

圖 16增加的服務(wù)步驟

（2）支持導(dǎo)入DBC中枚舉類型信號

在DBC中如果定義并關(guān)聯(lián)了Value Table，TPT18支持導(dǎo)入。

圖 17導(dǎo)入枚舉

（3）XCP通信控制

不僅在測試用例執(zhí)行前可以控制XCP通信，而且在測試用例中也可以控制，方便進行測試。

圖 18 XCP控制

圖 19測試用例中控制

篇幅所限，不能一一介紹TPT18的改變，如想了解更多內(nèi)容，請點擊此處。

北匯信息攜手PikeTec，共同促進軟件測試發(fā)展。歡迎各位同學(xué)提出寶貴意見，讓軟件測試變得越來越“方便”和“簡單”！