在測試形式化需求的主題上，我們又向前邁進了一步。

如今，已經可以使用TPT自動評估形式化需求。在TPT 19中，相應的測試數據現在可以一鍵生成。

這還在測試中嗎?是的，但是完全自動并且不需要創建復雜的測試用例。

這適用于哪種測試對象呢?

適用于可以使用TPT測試的所有內容:用于模型(ASCET, Simulink, Targetlink)，用于生成或手寫的C/ C++代碼，用于AUTOSAR組件，ECU等等。

需求是基礎—您只需單擊即可導入它們。然后用我們的語言集(針對嵌入式場景進行了優化)將需求形式化。然后再點擊幾下，測試報告就準備好了

此功能如何幫助提高產品質量并加快測試過程?

在以下兩種情況中，您可以在測試中使用形式化需求:

1. 作為所有測試的基礎。
2. 作為現有測試的補充。

形式化需求的測試也可以與測試用例創建過程中其他類型的測試相結合，比如手動創建測試用例和測試數據生成。

無論怎么做，您都可以通過重新分配任務來支持您的測試團隊，例如:經驗豐富的需求經理和開發人員(而不是測試人員)可以負責形式化。

測試人員因此可以專注于典型的測試自動化主題，例如

• 被測系統（SUT）的連接;
• 額外的自動化和補充測試，以獲得更高的代碼覆蓋率(也是自動的)；
• ECU的負載測試

心動不如行動，馬上聯系北匯信息獲取TPT 19試用吧~