Stimulus—需求形式化建模和分析工具

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使用“自然語言”對(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ī)范的正確性。

生成測(cè)試用例及系統(tǒng)驗(yàn)證

Stimulus可以根據(jù)需求描述自動(dòng)生成符合需求的測(cè)試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測(cè)試場(chǎng)景，并生成符合測(cè)試場(chǎng)景的測(cè)試用例。Stimulus不但可以根據(jù)需求生成測(cè)試用例，還可以監(jiān)測(cè)系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。在測(cè)試環(huán)境中導(dǎo)入生成的測(cè)試用例并通過監(jiān)視系統(tǒng)輸出，客戶可以驗(yàn)證系統(tǒng)設(shè)計(jì)是否滿足需求，還可以節(jié)省手工書寫測(cè)試用例時(shí)冗長(zhǎng)而無味的時(shí)間。

良好的集成擴(kuò)展性

Stimulus支持對(duì)SIMULINK及SCADE集成，可以為SIMULINK或SCADE模型自動(dòng)生成測(cè)試用例，即根據(jù)需求生成系統(tǒng)輸入以及系統(tǒng)行為的約束限制，進(jìn)而檢驗(yàn)?zāi)Ｐ褪欠駶M足需求規(guī)范中的要求。

應(yīng)用&案例

某跨國(guó)汽車設(shè)備供應(yīng)商（驗(yàn)證ABS/ESP系統(tǒng)需求規(guī)范）

法國(guó)某軌道系統(tǒng)運(yùn)營(yíng)商（驗(yàn)證地鐵車站自動(dòng)門開關(guān)控制系統(tǒng)）

相關(guān)鏈接 （直接點(diǎn)擊進(jìn)入）

經(jīng)緯恒潤(rùn)通過與IBM、Dassault、ANSYS等知名工業(yè)軟件廠商合作，為用戶提供汽車電子領(lǐng)域數(shù)十種研發(fā)工具，并通過在研發(fā)流程、建模仿真、測(cè)試驗(yàn)證、平臺(tái)建設(shè)等領(lǐng)域的定制開發(fā)和技術(shù)服務(wù)，助力用戶實(shí)現(xiàn)研發(fā)的流程化、數(shù)字化、智能化和平臺(tái)化，提升產(chǎn)品研發(fā)效率和市場(chǎng)競(jìng)爭(zhēng)力。