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

如今，已經(jīng)可以使用TPT自動評估形式化需求。在TPT 19中，相應(yīng)的測試數(shù)據(jù)現(xiàn)在可以一鍵生成。

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

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

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

需求是基礎(chǔ)—您只需單擊即可導(dǎo)入它們。然后用我們的語言集(針對嵌入式場景進(jìn)行了優(yōu)化)將需求形式化。然后再點(diǎn)擊幾下，測試報(bào)告就準(zhǔn)備好了

此功能如何幫助提高產(chǎn)品質(zhì)量并加快測試過程?

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

1. 作為所有測試的基礎(chǔ)。
2. 作為現(xiàn)有測試的補(bǔ)充。

形式化需求的測試也可以與測試用例創(chuàng)建過程中其他類型的測試相結(jié)合，比如手動創(chuàng)建測試用例和測試數(shù)據(jù)生成。

無論怎么做，您都可以通過重新分配任務(wù)來支持您的測試團(tuán)隊(duì)，例如:經(jīng)驗(yàn)豐富的需求經(jīng)理和開發(fā)人員(而不是測試人員)可以負(fù)責(zé)形式化。

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

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

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