測試用例的案例
TPA測試項目管理系統(tǒng)-測試用例管理
? 支持業(yè)務(wù)邏輯和測試數(shù)據(jù)分離
TPA支持LTC(邏輯測試用例)/CTC（具體的測試用例）的用例描述結(jié)構(gòu)，可將測試用例的業(yè)務(wù)邏輯與測試數(shù)據(jù)相分離，以此提高用例和腳本的使用率，降低維護(hù)成本。
TPA可根據(jù)LTC的測試用例描述和參數(shù)引用自動生成參數(shù)表格，并可根據(jù)參數(shù)表格配置的數(shù)據(jù)生成CTC，LTC/CTC結(jié)構(gòu)將多條相同邏輯的用例簡化為一個LTC加一張CTC參數(shù)表，有效減少了用例編寫工作，同時用戶可以通過添加參數(shù)表數(shù)據(jù)方便的擴(kuò)展測試用例。 ? 支持Excel測試用例的導(dǎo)入和導(dǎo)出
用戶已有的通過Excel積累的測試用例，支持直接導(dǎo)入TPA系統(tǒng)，如果用戶更習(xí)慣使用Excel編寫用例時，TPA還支持Excel文件重復(fù)導(dǎo)入，通過重復(fù)導(dǎo)入可以實現(xiàn)通過Excel增加和修改測試用例的目的。
當(dāng)測試環(huán)境無網(wǎng)絡(luò)支持時，TPA軟件支持將系統(tǒng)中已經(jīng)編寫好的測試用例導(dǎo)出為Excel文檔，導(dǎo)出的用例文檔可用于無網(wǎng)環(huán)境時的手動測試及測試結(jié)果記錄。 ? 支持用例審核機(jī)制
對于一些涉及安全關(guān)鍵的用例，為了保證被測件的安全，需要上級人員或是設(shè)計人員對測試用例進(jìn)行審核，只有通過審核的用例才可以執(zhí)行。
針對這種需求，TPA提供了用例審核機(jī)制，包含用例審核和申請編輯兩個過程：
用例審核：用例編寫完成后用例編寫人可以提出用例審核申請并指定審核人，審核人收到申請后會查看用例并進(jìn)行審核，審核通過的用例不允許任何人再修改，同時要求測試人員只能執(zhí)行通過審核的測試用例。
申請編輯：當(dāng)通過審核的用例需要再次修改時，經(jīng)過審批流程，否則不允許修改。 ? 便捷的測試用例復(fù)用
對于測試部門來說，測試用例庫的積累至關(guān)重要。
展開 測試用例質(zhì)量的重要性
變異測試（Mutation Testing）
評定測試用例質(zhì)量的一種可行方法是變異測試（在IEC 61508標(biāo)準(zhǔn)中也被稱為“錯誤播種”（error seeding））。有運(yùn)行通過的測試用例時，可以“變異”代碼。如，將判斷（i<5）改成（i<=5），在計算結(jié)果上加1，把“&&”改為“||”，注釋掉部分代碼等。代碼進(jìn)行變異之后，重新運(yùn)行測試用例。若所有測試用例能夠通過，測試用例質(zhì)量就比較低。至少一項測試用例應(yīng)該會由于進(jìn)行了變異而無法驗證通過。
小結(jié)
100%的代碼覆蓋率并不意味著“好”的測試用例。然而，在執(zhí)行測試的過程中為了能夠檢測出軟件的缺陷，需要高質(zhì)量的用例。這項任務(wù)需要仔細(xì)而富有經(jīng)驗的人力工作才能達(dá)成，對于自動化生成的測試用例，應(yīng)該持保留態(tài)度。
展開 通用自動化測試軟件 — TAE
圖形化測試用例
基于拖拽方式完成測試用例的搭建
支持 Python 語言進(jìn)行自定義組件的開發(fā)和測試用例的搭建
用例開發(fā)階段支持靜態(tài)編譯及語法檢查，減少調(diào)試工作量
支持測試用例離線開發(fā)及調(diào)試
支持測試用例執(zhí)行過程和運(yùn)行結(jié)果的監(jiān)視
3. 高度的測試用例重用
如果一個測試步驟會被其他測試序列重用，那么可以將其封裝成用戶庫。隨著測試項目的進(jìn)行，用戶庫中的內(nèi)容會越來越豐富，它們會大大提高測試序列開發(fā)的效率。用戶庫可以單獨(dú)編輯，并同步到使用該用戶庫的測試序列中。
支持用戶自定義用例庫，支持庫文件對引用文件的一鍵更新
引入 LTC\CTC 機(jī)制，實際用例重用同一邏輯測試用例，減少測試用例的開發(fā)數(shù)量
將測試用例變量與模型、信號列表、ECU 信號隔離，有效保證測試用例在不同硬件環(huán)境、模型環(huán)境下的重用
4. 靈活的測試工程及計劃管理
在執(zhí)行測試用例時，可以建立包含測試用例的測試計劃，以便于在無人干預(yù)的情況下，自動執(zhí)行一系列的測試用例。測試計劃可配置任一測試用例的執(zhí)行順序和次數(shù)。
統(tǒng)一管理測試工程，包含測試計劃、測試用例、測試報告和測試設(shè)備
支持配置一組或多組測試用例的執(zhí)行順序、次數(shù)及范圍
5. 可定制的測試報告
TAE 能夠自動生成基于測試結(jié)果的報告文檔。測試報告開頭部分為基于測試結(jié)果的統(tǒng)計信息。用戶可選擇生成詳細(xì)的測試報告，也可生成一目了然的概要測試報告。除此之外，還可根據(jù)需要定制測試報告的內(nèi)容結(jié)構(gòu)。
支持測試報告的自動生成
支持測試報告樣式的自定義
支持生成 HTML、PDF 等格式的測試報告
支持的工具
部分工具供應(yīng)商
展開 嵌入式系統(tǒng) | Ansys SCADE在核電項目Connexion中的應(yīng)用
圖表5: CONNEXION項目選用的工具鏈
4
基于模型的測試
CONNEXION項目使用基于模型的測試(MBT: Model-based testing)方法，可基于被測系統(tǒng)(SUT: system under test)來生成測試用例，其中包含的活動如下：
步驟1: 基于系統(tǒng)需求開發(fā)出模型
步驟2: 定義測試用例的選擇規(guī)范
步驟3: 將測試用例的選擇規(guī)范轉(zhuǎn)換為可操作的形式化的測試用例
步驟4: 基于完整定義的模型和測試用例生成測試套件
步驟5: 執(zhí)行測試用例
步驟5-1:將測試用例轉(zhuǎn)換為可執(zhí)行腳本并送入運(yùn)行環(huán)境
步驟5-2:比較測試套件/腳本內(nèi)的期望輸出與真實運(yùn)行輸出，判定結(jié)果
圖表6: CONNEXION項目基于模型的測試流程
4.1 選用的測試策略及相關(guān)術(shù)語
傳統(tǒng)上，測試策略分為黑盒測試(功能測試)和白盒測試(結(jié)構(gòu)測試)。黑盒測試目的是通過測試設(shè)計規(guī)范找到程序的錯誤，黑盒測試中設(shè)計的測試用例集不需要分析模型/代碼的細(xì)節(jié)，僅使用設(shè)計規(guī)范。而白盒測試則相反，側(cè)重于程序的結(jié)構(gòu)。例如，白盒測試中設(shè)計的測試用例，能保證每一行代碼都至少執(zhí)行一次。
展開 
符合功能安全要求的動態(tài)測試工具-TESSY
功能介紹
- 自動生成測試環(huán)境
Tessy可以自動生成測試環(huán)境驅(qū)動，選擇自動或者手動打樁以及自動生成測試用例模板，幫助客戶提高測試用例設(shè)計效率。
- 多種測試用例確定方式
除了可以在簡潔的界面中手動輸入測試用例之外，還支持從Excel中導(dǎo)入測試數(shù)據(jù)，也可以通過腳本編輯器編寫測試用例。另外，Tessy里集成了CTE軟件，根據(jù)分類樹的方法，將每個接口的等價類進(jìn)行劃分，半自動化的生成測試用例，降低用例冗余度，提高測試效率。
用例設(shè)計
用例腳本編輯器
CTE分類樹設(shè)計
- 支持動態(tài)測試的各階段
Tessy可以支持從單元測試到系統(tǒng)測試的動態(tài)測試過程各個階段，通過單元測試檢查每個函數(shù)的功能完整性，通過集成測試對各個子模塊進(jìn)行功能驗證以及模塊間接口測試，可以通過與目標(biāo)板集成進(jìn)行系統(tǒng)功能驗證。
另外Tessy可以自動識別被測對象的接口變更，提示我們需要更新測試用例；版本迭代時，可重用測試用例和測試數(shù)據(jù)，節(jié)約大量回歸測試需要的工作和時間，在接口不變的情況下，Tessy可以自動化地執(zhí)行不需要用戶介入的回歸測試。
- 全自動地測試執(zhí)行及評估
Tessy檢查源文件并且通過分析程序代碼來確定函數(shù)以及他們的接口，這些信息將被保存在特定的數(shù)據(jù)庫中供隨時檢索，接口信息和測試數(shù)據(jù)的分離實現(xiàn)了結(jié)構(gòu)和數(shù)據(jù)之間的明確劃分，一方面，接口的測試使首先顯示變化成為可能；另一方面，如果發(fā)生變化，通常也只有要測試的函數(shù)接口的幾個元素要發(fā)生變化，在Tessy中接口發(fā)生變化時的處理相當(dāng)簡單。
展開 嵌入式系統(tǒng) | Ansys SCADE在核電項目Connexion中的應(yīng)用
圖表5: CONNEXION項目選用的工具鏈
4
基于模型的測試
CONNEXION項目使用基于模型的測試(MBT: Model-based testing)方法，可基于被測系統(tǒng)(SUT: system under test)來生成測試用例，其中包含的活動如下：
步驟1: 基于系統(tǒng)需求開發(fā)出模型
步驟2: 定義測試用例的選擇規(guī)范
步驟3: 將測試用例的選擇規(guī)范轉(zhuǎn)換為可操作的形式化的測試用例
步驟4: 基于完整定義的模型和測試用例生成測試套件
步驟5: 執(zhí)行測試用例
步驟5-1:將測試用例轉(zhuǎn)換為可執(zhí)行腳本并送入運(yùn)行環(huán)境
步驟5-2:比較測試套件/腳本內(nèi)的期望輸出與真實運(yùn)行輸出，判定結(jié)果
圖表6: CONNEXION項目基于模型的測試流程
4.1 選用的測試策略及相關(guān)術(shù)語
傳統(tǒng)上，測試策略分為黑盒測試(功能測試)和白盒測試(結(jié)構(gòu)測試)。黑盒測試目的是通過測試設(shè)計規(guī)范找到程序的錯誤，黑盒測試中設(shè)計的測試用例集不需要分析模型/代碼的細(xì)節(jié)，僅使用設(shè)計規(guī)范。而白盒測試則相反，側(cè)重于程序的結(jié)構(gòu)。例如，白盒測試中設(shè)計的測試用例，能保證每一行代碼都至少執(zhí)行一次。
展開 嵌入式系統(tǒng) | 基于SCADE Suite模型的驗證
下圖是測試用例規(guī)則的范例
圖表2: SCADE測試用例范例
從SCADE 2020版本開始，測試用例腳本語言新增了一些擴(kuò)展，以支持用戶更好地設(shè)計測試用例
2.1.1 輸出參數(shù)支持使用Lambda表達(dá)式來檢查范圍
Lambda 表達(dá)式 (lambda expression) 支持以匿名函數(shù)形式編寫測試用例中的輸出參數(shù)
圖表3: 測試用例的輸出參數(shù)支持使用Lambda表達(dá)式
2.1.2 輸出參數(shù)支持使用區(qū)間表達(dá)式來檢查范圍
區(qū)間表達(dá)式中，可取邊界值用[]符號，不可取邊界值用][符號，注意不是用()符號
圖表4: 測試用例的輸出參數(shù)支持使用區(qū)間表達(dá)式
2.1.3 輸入輸出參數(shù)支持直接使用模型中的常量來設(shè)置
圖表5: 測試用例的輸入輸出參數(shù)支持使用模型中的常量
2.1.4 輸入輸出參數(shù)支持IEEE754標(biāo)準(zhǔn)定義的無窮數(shù)Inf和非數(shù)值Nan的使用
圖表6: 測試用例的輸入輸出參數(shù)支持IEEE754標(biāo)準(zhǔn)定義的無窮數(shù)Inf和非數(shù)值Nan
2.1.5 輸入輸出支持對字符串的某字符進(jìn)行單獨(dú)設(shè)置
圖表7: 測試用例的輸入輸出參數(shù)支持設(shè)置字符串的某單獨(dú)字符
2.2 執(zhí)行在主機(jī)上的功能測試
使用SCADE QTE在主機(jī)上進(jìn)行功能測試的結(jié)果如下圖，既有圖形化的報告，也有文本化的報告。圖形化的報告既有按照測試場景周期排列的，也有按照圖形比對結(jié)果排列的。可以從結(jié)果報告中看到測試用例編號、待測變量名稱、實際輸出、期望輸出、精度約束等信息。
展開 嵌入式系統(tǒng) | 基于SCADE Suite模型的驗證
下圖是測試用例規(guī)則的范例
圖表2: SCADE測試用例范例
從SCADE 2020版本開始，測試用例腳本語言新增了一些擴(kuò)展，以支持用戶更好地設(shè)計測試用例
2.1.1 輸出參數(shù)支持使用Lambda表達(dá)式來檢查范圍
Lambda 表達(dá)式 (lambda expression) 支持以匿名函數(shù)形式編寫測試用例中的輸出參數(shù)
圖表3: 測試用例的輸出參數(shù)支持使用Lambda表達(dá)式
2.1.2 輸出參數(shù)支持使用區(qū)間表達(dá)式來檢查范圍
區(qū)間表達(dá)式中，可取邊界值用[]符號，不可取邊界值用][符號，注意不是用()符號
圖表4: 測試用例的輸出參數(shù)支持使用區(qū)間表達(dá)式
2.1.3 輸入輸出參數(shù)支持直接使用模型中的常量來設(shè)置
圖表5: 測試用例的輸入輸出參數(shù)支持使用模型中的常量
2.1.4 輸入輸出參數(shù)支持IEEE754標(biāo)準(zhǔn)定義的無窮數(shù)Inf和非數(shù)值Nan的使用
圖表6: 測試用例的輸入輸出參數(shù)支持IEEE754標(biāo)準(zhǔn)定義的無窮數(shù)Inf和非數(shù)值Nan
2.1.5 輸入輸出支持對字符串的某字符進(jìn)行單獨(dú)設(shè)置
圖表7: 測試用例的輸入輸出參數(shù)支持設(shè)置字符串的某單獨(dú)字符
2.2 執(zhí)行在主機(jī)上的功能測試
使用SCADE QTE在主機(jī)上進(jìn)行功能測試的結(jié)果如下圖，既有圖形化的報告，也有文本化的報告。圖形化的報告既有按照測試場景周期排列的，也有按照圖形比對結(jié)果排列的。
展開 【新品發(fā)布】 AETP—支持TC8 v3.0的車載以太網(wǎng)測試套件
AETP特點(diǎn)
? 測試用例覆蓋
AETP目前已覆蓋TC8 v3.0 Layer 3-7層TCP/IP和SOME/IP的全部測試用例，滿足了市場相關(guān)需求。
尤其是SOME/IP ETS測試，由于TC8 v2.0規(guī)范中對于ETS服務(wù)接口參數(shù)定義不清晰，導(dǎo)致在ETS測試實施過程中會遇到很多困難。經(jīng)緯恒潤憑借多年的車載以太網(wǎng)開發(fā)及測試經(jīng)驗，在TC8 v2.0階段總結(jié)了符合測試需求的ETS服務(wù)接口定義。這也為AETP SOME/IP ETS測試腳本的快速推出奠定了基礎(chǔ)。
除此之外，其他TC8 v3.0測試內(nèi)容（e.g. IOP test package等）以及部分車載以太網(wǎng)應(yīng)用層的測試內(nèi)容（e.g. DoIP test package）也已發(fā)布，更多內(nèi)容也在緊鑼密鼓的開發(fā)過程中，會陸續(xù)與大家見面。
AETP Roadmap
? 便捷的操作體驗
TC8測試規(guī)范中定義了大量的測試輸入?yún)?shù)，需要充分理解測試用例后才能明確其具體含義和配置方式。為了降低測試執(zhí)行門檻，經(jīng)緯恒潤測試軟件開發(fā)工程師基于大量的測試經(jīng)驗，優(yōu)化了測試參數(shù)配置，幫助測試新人快速上手。
測試參數(shù)配置界面
用戶完成參數(shù)配置后，可創(chuàng)建批量運(yùn)行的測試用例組。直接選擇并運(yùn)行單項測試用例或者測試用例組，即可自動完成對應(yīng)測試并生成測試報告。整個過程不需要重新加載參數(shù)、重新編譯文件，或者重新生成可執(zhí)行文件等步驟，大大節(jié)省了測試時間。
? 豐富的測試結(jié)果展示
測試報告可根據(jù)需求生成多種格式。測試報告詳細(xì)上傳了每一步驟的期望結(jié)果與實際測試結(jié)果。如果某個測試用例樣件測試失敗，通過測試報告能夠清晰判斷該測試用例通過的要求以及失敗的原因，幫助測試人員快速明確問題點(diǎn)。
展開 Tessy — 嵌入式軟件單元測試/ 集成測試工具
主要功能
? 自動生成測試環(huán)境
Tessy可以自動生成測試環(huán)境驅(qū)動，選擇自動或者手動打樁以及自動生成測試用例模板，幫助客戶提高測試用例設(shè)計效率。
? 多種測試用例確定方式
除了可以在簡潔的界面中手動輸入測試用例之外，還支持從Excel中導(dǎo)入測試數(shù)據(jù)，也可以通過腳本編輯器編寫測試用例。另外，Tessy里集成了CTE軟件，根據(jù)分類樹的方法，將每個接口的等價類進(jìn)行劃分，半自動化的生成測試用例，降低用例冗余度，提高測試效率。
用例設(shè)計
用例腳本編輯器
CTE分類樹設(shè)計
? 支持動態(tài)測試的各階段
Tessy可以支持從單元測試到系統(tǒng)測試的動態(tài)測試過程各個階段，通過單元測試檢查每個函數(shù)的功能通過集成測試對各個子模塊進(jìn)行功能驗證以及模塊間接口測試，可以通過與目標(biāo)板集成進(jìn)行系統(tǒng)功能驗證。
另外Tessy可以自動識別被測對象的接口變更，提示我們需要更新測試用例；版本迭代時，可重用測試用例和測試數(shù)據(jù)，節(jié)約大量回歸測試需要的工作和時間，在接口不變的情況下Tessy可以自動化地執(zhí)行不需要用戶介入的回歸測試。
? 全自動地測試執(zhí)行及評估
Tessy檢查源文件并且通過分析程序代碼來確定函數(shù)以及他們的接口，這些信息將被保存在特定的數(shù)據(jù)庫中供隨時檢索，接口信息和測試數(shù)據(jù)的分離實現(xiàn)了結(jié)構(gòu)和數(shù)據(jù)之間的劃分，一方面，接口的測試使顯示變化成為可能，另一方面，如果發(fā)生變化，通常也只有要測試的函數(shù)接口的幾個元素要發(fā)生變化，在Tessy中接口發(fā)生變化時的處理相當(dāng)簡單；
? 測試報告生成
管理測試數(shù)據(jù)并將測試結(jié)果文檔，Tessy提供輸入?yún)?shù)/執(zhí)行測試和評估結(jié)果和報告文檔，Tessy可以生成各種類型的測試報告，包括詳細(xì)報告、概況報告以及覆蓋度報告等。
展開 每個成功的產(chǎn)品背后都有一名出色的測試（轉(zhuǎn)）
目的是能夠?qū)④浖?em>測試的行為轉(zhuǎn)化成可管理的模式，同時測試用例也是將測試具體量化的方法之一，不同類別的軟件，測試用例是不同的。一些大型項目，測試用例能達(dá)到幾萬條的數(shù)目。
測試用例的多少和產(chǎn)品質(zhì)量的“堅挺”程度相關(guān)，一般情況下，測試用例越多越細(xì)致，對應(yīng)產(chǎn)品邏輯會越縝密，在上線之后越能經(jīng)得起各式各樣環(huán)境的考驗，對用戶來說，產(chǎn)品的可用度就越高，產(chǎn)品質(zhì)量就越堅挺。
結(jié)語
最后，當(dāng)我們在調(diào)戲產(chǎn)品狗、程序猿的時候，不要忘記你身邊的“測試貓”，他們縝密而低調(diào)，忍耐而細(xì)心，專業(yè)的扮演好產(chǎn)品上線管家的角色。毫不夸張的說，每一個成功的產(chǎn)品背后都有一名偉大的測試工程師。
作者：無邪
展開 
測試項目管理系統(tǒng) — TPA
樹形層級結(jié)構(gòu)用例管理，可劃分為項目、包和測試用例三個層級，支持LTC/CTC 結(jié)構(gòu)，有效減少測試用例數(shù)量
測試用例中的變量統(tǒng)一來源于變量管理模塊，保證變量的一致性
支持用例對測試需求的追蹤和覆蓋度分析
統(tǒng)一的變量和變量取值管理
支持變量和取值更新時已引用用例的自動替換
?? 測試樣件管理
一般情況下，在測試過程中測試樣件是逐步升級和變化的，相同用例在不同測試樣件下運(yùn)行的測試結(jié)果可能不盡相同，為了保證對指定樣件測試結(jié)果的準(zhǔn)確性和對應(yīng)性，TPA 提供了測試樣件管理功能，測試樣件的信息會完整的保存至測試報告中。
統(tǒng)一管理測試樣件
支持測試計劃、測試報告、缺陷和測試樣件關(guān)聯(lián)管理
提供基于測試樣件的統(tǒng)計功能
?? 測試報告管理
用戶可以將手動（實車、臺架等）測試報告和自動測試報告上傳到TPA 中進(jìn)行統(tǒng)一管理，同時支持基于已經(jīng)存在的測試報告進(jìn)行測試結(jié)果和用例執(zhí)行情況統(tǒng)計和分析。測試報告都支持在線查看和導(dǎo)出。
支持手動報告和自動報告上傳、查看、下載
支持基于測試報告的統(tǒng)計
支持測試用例的測試覆蓋率統(tǒng)計
?? 缺陷管理
缺陷是整個測試活動的核心產(chǎn)出，缺陷產(chǎn)生和關(guān)閉是測試活動發(fā)現(xiàn)問題和解決問題的過程。TPA 提供了完善的缺陷管理模塊，并和需求、用例等管理模塊數(shù)據(jù)相關(guān)聯(lián)。
支持軟件缺陷的錄入和導(dǎo)出
支持缺陷和需求、用例、報告的關(guān)聯(lián)
支持各種維度的缺陷統(tǒng)計
支持問題屬性和流程的自定義
展開 Mx Suite — ISO 26262 認(rèn)證的嵌入式軟件一體化測試平臺
Mx Suite是汽車行業(yè)內(nèi)經(jīng)過大量工程實踐檢驗的嵌入式一體化軟件測試平臺。它使用強(qiáng)大的圖形化方式來設(shè)計測試用例輸入、期望輸出和結(jié)果容差，通過多種成熟的接口與不同的被測對象進(jìn)行連接，并提供豐富的報告展示測試結(jié)果，為汽車嵌入式軟件測試提供一站式一體化的測試平臺環(huán)境。Mx Suite可用于測試Simulink模型、代碼（人工或自動）和連接不同的汽車電子設(shè)備等，旨在消除嵌入式軟件的功能缺陷等問題。
Mx Suite主要優(yōu)勢
? 從軟件測試整個周期來看，Mx Suite能做到MIL/SIL/HIL測試用例復(fù)用，測試的計劃、測試用例、測試報告也因平臺的可實現(xiàn)測試質(zhì)量的管控
? Mx Suite軟件可以圖形化交互式地設(shè)計測試用例，靈活組成測試場景進(jìn)行自動化測試
? Mx Suite具備70+汽車業(yè)內(nèi)主流的軟件接口，可支持符合Autosar協(xié)議開發(fā)軟件單元測試
? 測試平臺通過功能安全等級認(rèn)證，對安全等級較高的控制器過產(chǎn)品認(rèn)證有很大幫助，可進(jìn)行基于嵌入式一體化平臺的單元測試， 集成測試
Mx Suite 一體化測試平臺
Mx Suite主要由兩部分組成
? Mx-VDev：通用測試平臺
主要包括測試編輯器、測試檢查器、測試執(zhí)行和報告生成器。
Mx-Vdev 通用測試編輯器和檢查器
Mx-VDev可以導(dǎo)入設(shè)備數(shù)據(jù)和輸出作為測試用例、新建測試用例，調(diào)度執(zhí)行測試用例，評估測試結(jié)果，并生成測試報告。它通過強(qiáng)大的自動回歸測試功能，可以在非工作時間進(jìn)行無人化回歸測試，以便及時獲得測試報告。
? Mx-TransIt：仿真接口編輯器
接口編輯，用于創(chuàng)建測試用例和Simulink模型、軟件代碼、車輛網(wǎng)絡(luò)、HIL測試設(shè)備和ECU的連接。主要起仿真連接的作用。
展開 汽車電子測試項目管理系統(tǒng)-TPA
? 樹形層級結(jié)構(gòu)用例管理，可劃分為項目、包和測試用例三個層級，支持LTC/CTC 結(jié)構(gòu)，有效減少測試用例數(shù)量
? 測試用例中的變量統(tǒng)一來源于變量管理模塊，保證變量的一致性
? 支持用例對測試需求的追蹤和覆蓋度分析
? 變量和變量取值管理
? 支持變量和取值更新時已引用用例的自動替換
? 測試樣件管理
一般情況下，在測試過程中測試樣件是逐步升級和變化的，相同用例在不同測試樣件下運(yùn)行的測試結(jié)果可能不盡相同，為了保證對指定樣件測試結(jié)果的對應(yīng)性，TPA 提供了測試樣件管理功能，測試樣件的信息會保存至測試報告中。
? 統(tǒng)一管理測試樣件
? 支持測試計劃、測試報告、缺陷和測試樣件的關(guān)聯(lián)管理
? 提供基于測試樣件的統(tǒng)計功能
? 測試報告管理
用戶可以將手動（實車、臺架等）測試報告和自動測試報告上傳到TPA 中進(jìn)行統(tǒng)一管理，同時支持基于已經(jīng)存在的測試報告進(jìn)行測試結(jié)果和用例執(zhí)行情況統(tǒng)計和分析。測試報告都支持在線查看和導(dǎo)出。
? 支持手動報告和自動報告上傳、查看、下載
? 支持基于測試報告的統(tǒng)計
? 支持測試用例的測試覆蓋率統(tǒng)計
? 缺陷管理
缺陷是整個測試活動的核心產(chǎn)出，缺陷產(chǎn)生和關(guān)閉是測試活動發(fā)現(xiàn)問題和解決問題的過程。TPA 提供了缺陷管理模塊，并和需求、用例等管理模塊的數(shù)據(jù)相關(guān)聯(lián)。
展開 Stimulus—需求形式化建模和分析工具
生成測試用例及系統(tǒng)驗證
Stimulus可以根據(jù)需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus不但可以根據(jù)需求生成測試用例，還可以監(jiān)測系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。在測試環(huán)境中導(dǎo)入生成的測試用例并通過監(jiān)視系統(tǒng)輸出，客戶可以驗證系統(tǒng)設(shè)計是否滿足需求，還可以節(jié)省手工書寫測試用例時冗長而無味的時間。
良好的集成擴(kuò)展性
Stimulus支持對SIMULINK及SCADE集成，可以為SIMULINK或SCADE模型自動生成測試用例，即根據(jù)需求生成系統(tǒng)輸入以及系統(tǒng)行為的約束限制，進(jìn)而檢驗?zāi)Ｐ褪欠駶M足需求規(guī)范中的要求。
應(yīng)用&案例
某跨國汽車設(shè)備供應(yīng)商（驗證ABS/ESP系統(tǒng)需求規(guī)范）
法國某軌道系統(tǒng)運(yùn)營商（驗證地鐵車站自動門開關(guān)控制系統(tǒng)）
展開 