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

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

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

這適用于哪種測(cè)試對(duì)象呢?

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

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

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

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

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

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

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

測(cè)試人員因此可以專注于典型的測(cè)試自動(dòng)化主題，例如

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

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