讓軟件測(cè)試變得越來(lái)越方便——TPT18新特性

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

那么，TPT18是如何讓測(cè)試變得簡(jiǎn)單快捷呢？

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

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

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

3、基于TASMO工具箱，自動(dòng)生成滿足MC/DC要求的測(cè)試用例；

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

5、豐富MATLAB平臺(tái)功能；

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

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

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

其他：

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

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

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

4、全局評(píng)估可添加到Assesslet中，可針對(duì)任意平臺(tái)激活；

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

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

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

……

詳細(xì)介紹：

一、形式化需求評(píng)估

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

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

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

圖 1形式化需求評(píng)估

測(cè)試結(jié)果如下：

圖 2測(cè)試結(jié)果

二、更靈活的需求管理

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

圖 3功能需求更新

三、TASMO支持MC/DC自動(dòng)生成測(cè)試用例

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

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

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

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

1、所有輸入為False；

2、一個(gè)輸入為T(mén)rue，其余均為False。

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

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

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

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

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

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

圖 6 TPT Coverage

圖 7覆蓋度報(bào)告

圖 8覆蓋度報(bào)告

五、豐富MALTAB平臺(tái)功能

（1）MATLAB/Simulink Platform加速運(yùn)行模式

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

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

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

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

圖 9加速運(yùn)行模式

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

TPT18前，如果需要分析特定子層級(jí)覆蓋度時(shí)，需要將其它子層級(jí)注釋掉。但是，如果子層級(jí)之前存在交互，需要進(jìn)行接地等調(diào)試，較為復(fù)雜?，F(xiàn)在，TPT18免去這一煩惱，因?yàn)榭梢灾苯优懦舨幌霗z測(cè)的子層級(jí)。

圖 10 Advanced setting

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

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

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

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

（4）自動(dòng)生成TPT Simulink Function Handler

當(dāng)模型中使用了Simulink Function，但是測(cè)試目標(biāo)層級(jí)的 Function Caller與Simulink Function不在同一層級(jí)，運(yùn)行測(cè)試時(shí)會(huì)報(bào)錯(cuò)（找不到Simulink Function）。

面對(duì)此種情況，TPT18在測(cè)試框架中可自動(dòng)生成TPT Simulink Function Handler。

圖 13 TPT Simulink Function Handler

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

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

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

七、Batch Runner界面和功能更新

當(dāng)有多個(gè)TPT工程需要運(yùn)行時(shí)，可以使用Batch Runner同時(shí)運(yùn)行。

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

▲TPT API-script

▲Execute Tests

▲Generate Testframe

▲Generate Overview RePort

支持如下平臺(tái)生成測(cè)試框架：

▲AUTOSAR

▲C/C++

▲MATLAB

▲ASCET@FUSION

▲ASCET

圖 15 Batch Runner

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

（1）擴(kuò)展了ASAM XiL支持

服務(wù)項(xiàng)中增加了ASAM XiL Diag Port，可直接在測(cè)試用例中對(duì)DTC進(jìn)行操作，如下：

▲Read DTCs

▲Clear DTCs

▲Read/Write Values

▲Execute Services

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

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

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

圖 17導(dǎo)入枚舉

（3）XCP通信控制

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

圖 18 XCP控制

圖 19測(cè)試用例中控制

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

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