在測試形式化需求的主題上,我們又向前邁進(jìn)了一步。
如今,已經(jīng)可以使用TPT自動(dòng)評估形式化需求。在TPT 19中,相應(yīng)的測試數(shù)據(jù)現(xiàn)在可以一鍵生成。
這還在測試中嗎?是的,但是完全自動(dòng)并且不需要?jiǎng)?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ì)量并加快測試過程?
在以下兩種情況中,您可以在測試中使用形式化需求:
- 作為所有測試的基礎(chǔ)。
- 作為現(xiàn)有測試的補(bǔ)充。
形式化需求的測試也可以與測試用例創(chuàng)建過程中其他類型的測試相結(jié)合,比如手動(dòng)創(chuàng)建測試用例和測試數(shù)據(jù)生成。
無論怎么做,您都可以通過重新分配任務(wù)來支持您的測試團(tuán)隊(duì),例如:經(jīng)驗(yàn)豐富的需求經(jīng)理和開發(fā)人員(而不是測試人員)可以負(fù)責(zé)形式化。
測試人員因此可以專注于典型的測試自動(dòng)化主題,例如
- 被測系統(tǒng)(SUT)的連接;
- 額外的自動(dòng)化和補(bǔ)充測試,以獲得更高的代碼覆蓋率(也是自動(dòng)的);
- ECU的負(fù)載測試
心動(dòng)不如行動(dòng),馬上聯(lián)系北匯信息獲取TPT 19試用吧~
-
測試
+關(guān)注
關(guān)注
8文章
5046瀏覽量
126238 -
嵌入式
+關(guān)注
關(guān)注
5054文章
18917瀏覽量
300953 -
嵌入式軟件測試
+關(guān)注
關(guān)注
2文章
26瀏覽量
6077
發(fā)布評論請先 登錄
相關(guān)推薦
評論