產(chǎn)品概述
Stimulus是法國(guó)達(dá)索公司產(chǎn)品,其目的是通過需求建模分析來驗(yàn)證需求的正確性。Stimulus的核心理念是運(yùn)用“自然語言”對(duì)功能性需求進(jìn)行建模,并通過仿真來查找需求中的缺陷,例如需求一致性、不二義性和完整性檢查等。借助Stimulus可以在系統(tǒng)開發(fā)的早期階段發(fā)現(xiàn)并修改需求規(guī)范中的錯(cuò)誤,在系統(tǒng)最終交付驗(yàn)收階段檢查系統(tǒng)設(shè)計(jì)是否滿足需求規(guī)范,從而較大程度地降低產(chǎn)品開發(fā)的成本與風(fēng)險(xiǎn)。
產(chǎn)品介紹
仿真及驗(yàn)證需求規(guī)范
Stimulus使系統(tǒng)架構(gòu)師能夠模擬需求,并在設(shè)計(jì)開始之前檢測(cè)到模糊、不正確、缺失或沖突的需求,從而創(chuàng)建安全關(guān)鍵型嵌入式系統(tǒng)驗(yàn)證所需的高質(zhì)量規(guī)范。Stimulus使用“自然語言”對(duì)需求進(jìn)行建模、仿真并驗(yàn)證需求,Stimulus中包含了豐富的時(shí)間與邏輯運(yùn)算符,例如:“當(dāng)……時(shí)”“如果”“大于”“只有”等。通過對(duì)需求按照運(yùn)算符進(jìn)行重新書寫,可以驗(yàn)證需求中是否存在沖突;通過對(duì)仿真結(jié)果的觀察,來驗(yàn)證需求規(guī)范中是否存在沖突與缺陷,進(jìn)而保證了需求規(guī)范的正確性。開發(fā)團(tuán)隊(duì)可以用更少的時(shí)間重新定義需求、重寫和重新調(diào)試代碼,從而減少實(shí)現(xiàn)高質(zhì)量結(jié)果所需的開發(fā)迭代。
生成測(cè)試用例及系統(tǒng)驗(yàn)證
在驗(yàn)證階段,Stimulus還使測(cè)試工程師能夠自動(dòng)生成測(cè)試向量和測(cè)試目標(biāo),并檢查嵌入式代碼是否符合其規(guī)范。Stimulus可以根據(jù)需求描述自動(dòng)生成符合需求的測(cè)試用例(需求可以是高層次需求或者低層次需求),也可以在Stimulus中使用“自然語言”描述測(cè)試場(chǎng)景,并生成符合測(cè)試場(chǎng)景的測(cè)試用例。Stimulus不但可以根據(jù)需求生成測(cè)試用例,還可以監(jiān)測(cè)系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。測(cè)試團(tuán)隊(duì)不再需要編寫或維護(hù)從需求中手動(dòng)派生的測(cè)試案例。相反,他們可以重復(fù)利用系統(tǒng)架構(gòu)師已完成的工作來構(gòu)建高度靈活的測(cè)試活動(dòng),從而采用有效的敏捷方法。
良好的集成擴(kuò)展性
Stimulus支持對(duì)SIMULINK及SCADE集成,可以為SIMULINK或SCADE模型自動(dòng)生成測(cè)試用例,即根據(jù)需求生成系統(tǒng)輸入以及系統(tǒng)行為的約束限制,進(jìn)而檢驗(yàn)?zāi)P褪欠駶M足需求規(guī)范。
主要優(yōu)勢(shì)
實(shí)現(xiàn)早期需求驗(yàn)證
在工程師之間分享清晰且可觀察的需求
有效擴(kuò)大測(cè)試活動(dòng)的功能覆蓋范圍
減少開發(fā)流程中成本高昂的迭代
應(yīng)用案例
某跨國(guó)汽車設(shè)備供應(yīng)商(驗(yàn)證ABS/ESP系統(tǒng)需求規(guī)范)。
審核編輯 黃宇
-
建模
+關(guān)注
關(guān)注
1文章
296瀏覽量
60640 -
stimulus
+關(guān)注
關(guān)注
0文章
1瀏覽量
1606
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論