作者 | 昱佳

小編 | 不吃豬頭肉

前言
隨著汽車電子技術(shù)的不斷發(fā)展和普及,汽車電子系統(tǒng)的復(fù)雜度不斷增加，對(duì)汽車電子系統(tǒng)的測(cè)試要求也越來越高,傳統(tǒng)的測(cè)試方法已經(jīng)無法滿足對(duì)系統(tǒng)功能和性能的全面測(cè)試需求。TPT作為一種靈活、高效的測(cè)試工具，能夠幫助測(cè)試工程師快速編寫滿足各類需求的測(cè)試用例，有效提高測(cè)試效率和覆蓋率。
為了滿足汽車行業(yè)日益增加的測(cè)試需求，走在測(cè)試技術(shù)前沿，TPT也在不斷成長(zhǎng)，以適應(yīng)新的測(cè)試需求和挑戰(zhàn)。更新亮點(diǎn)
2.1形式化需求
在TPT 19時(shí)我們已經(jīng)體驗(yàn)到了形式化需求的高度自動(dòng)化，在此基礎(chǔ)上TPT 20支持MiL、SiL、PiL、HiL階段所有平臺(tái)使用形式化需求自動(dòng)生成測(cè)試用例(例如:MATLAB、AUTOSAR、Lauterbach、CANoe、VeriStand等)，這一優(yōu)化無疑會(huì)對(duì)我們的測(cè)試質(zhì)量和效率的提升有很大幫助。
另外，形式化需求的編寫也得到了優(yōu)化，提供了一些新的步驟以便于滿足各類需求。

例如：當(dāng)需要的測(cè)試結(jié)果是檢測(cè)兩個(gè)信號(hào)是否相等時(shí)，新增的‘Shall Signal Compare’步驟就可直接滿足這一需求。

圖 1 新增步驟示例

形式化需求還新增一種生成未通過測(cè)試用例功能（滿足功能需求輸入，未得到期望結(jié)果），可以通過在TASMO自動(dòng)生成測(cè)試用例界面選擇開啟該功能。
圖 2 選擇生成Failed測(cè)試用例
選擇生成Failed測(cè)試用例后，生成界面會(huì)顯示哪些需求存在未通過的情況，通過分析模型/代碼，這樣就可以快速發(fā)現(xiàn)/定位問題啦。
圖 3 形式化需求自動(dòng)生成用例界面（生成Failed測(cè)試用例示例）
2.2自動(dòng)生成測(cè)試用例
除形式化需求自動(dòng)生成測(cè)試用例有更新外，其他測(cè)試用例自動(dòng)生成也做了優(yōu)化改進(jìn)。

以‘Generate Test Cases from Equivalence Classes’為例：

我們現(xiàn)在可以選用等價(jià)類單個(gè)隨機(jī)值做接口測(cè)試，在用邊界值方法設(shè)計(jì)測(cè)試用例的時(shí)候選取三點(diǎn)邊界值，從映射中檢索量化數(shù)據(jù)。

圖 4 選擇測(cè)試方式圖 5 選擇映射
在TPT 20中，我們不再需要通過復(fù)雜的配置組合去實(shí)現(xiàn)多類測(cè)試用例的生成，而是可以通過簡(jiǎn)單選擇直接生成所需測(cè)試用例。
另外TPT 20還針對(duì)組合方式和生成用例形式提供了多個(gè)類型來滿足我們測(cè)試的多種工況。

組合方式

Single value：?jiǎn)蝹€(gè)信號(hào)的單個(gè)代表為一組。Pair two values：選擇一對(duì)信號(hào)為一組。Combine values：選擇所需信號(hào)的代表值為一組。

步驟列表

Embedded：將所有組合作為嵌入信號(hào)步驟的示例點(diǎn)嵌入一個(gè)步驟列表。Merged：將組合合并到一個(gè)用例中，在各組合間設(shè)置等待時(shí)間。Separated：為每個(gè)組合單獨(dú)生成一個(gè)測(cè)試用例。圖 6 信號(hào)組合和用例形式選擇新增的'Generate Test Cases for Interface Testing' 功能是同時(shí)支持'Generate Test Cases from Equivalence Classes'和'Generate Test Cases from Value Ranges'的功能生成測(cè)試用例，可以更好的實(shí)現(xiàn)功能安全要求的接口測(cè)試和邊界值測(cè)試。圖 7 Generate Test Cases for Interface Testing
2.3AUTOSAR
現(xiàn)在AUTOSAR新增TPT Coverage（TASMO）覆蓋度統(tǒng)計(jì)方式，該統(tǒng)計(jì)方式可以直接使用并查看代碼的SC、CC、DC、MC/DC覆蓋率，無需另外購買商用覆蓋度統(tǒng)計(jì)工具，避免繁瑣的配置過程，節(jié)約成本的同時(shí)提高測(cè)試效率。
圖 8 AUTOSAR覆蓋度設(shè)置自動(dòng)生成完成后，執(zhí)行相應(yīng)測(cè)試用例，可以直觀的看到代碼結(jié)構(gòu)的覆蓋情況。
圖 9 代碼覆蓋度報(bào)告查看

同時(shí)，AUTOSAR還支持了TASMO自動(dòng)生成測(cè)試用例，并且提供了新的覆蓋度標(biāo)準(zhǔn)‘Function coverage’，它滿足了功能安全集成測(cè)試階段的覆蓋度統(tǒng)計(jì)要求，以便測(cè)試人員更好地查看代碼中的函數(shù)是否執(zhí)行。

圖 10 Generate Test Cases for C/C++ or AUTOSAR

新功能
3.1項(xiàng)目元素共享
當(dāng)一個(gè)項(xiàng)目有多個(gè)TPT工程時(shí)，可以通過在子項(xiàng)目中設(shè)置父項(xiàng)目，將父項(xiàng)目的聲明、命名數(shù)據(jù)類型、映射、函數(shù)和需求與多個(gè)子項(xiàng)目共享。圖 11 設(shè)置父項(xiàng)目為了提高效率，將一個(gè)模型的功能分給不同的人測(cè)試時(shí)，可以通過此方法共享測(cè)試元素，分別進(jìn)行需求測(cè)試，當(dāng)父項(xiàng)目更新時(shí)，父項(xiàng)目中的調(diào)整也將應(yīng)用于所有子項(xiàng)目。
圖 12 共享元素
3.2Function Wizard改進(jìn)

‘Channel steps’ and‘ Parameter steps’ 現(xiàn)在都可以使用TPT函數(shù)，例如 ：TPT.rampgradient()。此外，現(xiàn)在還可以為所有支持的整數(shù)數(shù)據(jù)類型生成Asymptote Functions 和 Ramp Functions以滿足我們更復(fù)雜和多樣的測(cè)試需求。

圖 13 Function Wizard
3.3Python 3.0
TPT 20現(xiàn)在可支持Python 3.0用于測(cè)試評(píng)估。
圖 14 新增功能函數(shù)
相比之前，TPT不僅可以使用Python 3.0來編寫評(píng)估，Python 2.0在使用上也有優(yōu)化。

舉例：

現(xiàn)在可以將兩個(gè)“TPTNumpy.array（）”對(duì)象用“==”進(jìn)行比較，也支持了幾個(gè)與時(shí)間相關(guān)的信號(hào)的并行分配。

圖 15 示例
3.4TPT項(xiàng)目文件的差異和合并
TPT 20支持TPT項(xiàng)目文件的比較和合并。通過’Diff and Merge view’視圖，可以比較兩個(gè)加載的TPT項(xiàng)目文件，并將偏差從一個(gè)文件轉(zhuǎn)移到另一個(gè)文件。
圖 16 對(duì)比項(xiàng)目文件
在測(cè)試的過程中，大家肯定避免不了會(huì)嘗試修改各種設(shè)置和用例等來實(shí)現(xiàn)測(cè)試結(jié)果，這一過程也許會(huì)產(chǎn)生多個(gè)版本的項(xiàng)目文件，待測(cè)試成功后就可以使用該功能查看我們修改過的內(nèi)容并做出總結(jié)，以便下次應(yīng)用。
3.5TPTBIN文件優(yōu)化在TPT 20中，優(yōu)化了文件存儲(chǔ)形式。相比前期版本縮小了文件大小，節(jié)省了空間，提高了測(cè)試效率。
如圖所示，相同的文件在TPT 19中顯示為6KB，但是在TPT 20中為3KB，顯著縮小了文件大小。
圖 17 TPT 20的BIN文件
圖 18 TPT 19的BIN文件

總結(jié)
TPT 20的新功能就先介紹到這里了，每一次的更新和優(yōu)化都是為了更好滿足我們的需求和功能實(shí)現(xiàn)，給我們帶來新的感受和體驗(yàn)，如果各位想要進(jìn)一步了解TPT，歡迎聯(lián)系我們，也希望能給我們帶來新的建議和反饋。