Stimulus是法國達索公司產(chǎn)品,其目的是通過需求建模分析來驗證需求的正確性。Stimulus的核心理念是運用“自然語言”對功能性需求進行建模,并通過仿真來查找需求中的缺陷,例如需求一致性、不二義性和完整性檢查等。借助Stimulus可以在系統(tǒng)開發(fā)的早期階段發(fā)現(xiàn)并修改需求規(guī)范中的錯誤、在系統(tǒng)最終交付驗收階段檢查系統(tǒng)設計是否滿足需求規(guī)范,從而較大地降低產(chǎn)品開發(fā)的成本與風險。
產(chǎn)品介紹
仿真及驗證需求規(guī)范
Stimulus使用“自然語言”對需求進行建模、仿真并驗證需求。Stimulus中包含了豐富的時間與邏輯運算符,例如:“當…時”,“如果”,“大于”,“只有”等。通過對需求按照運算符進行重新書寫,可以驗證需求中是否存在沖突;通過對仿真結果的觀察,來驗證需求規(guī)范中是否存在沖突與缺陷,進而保證了需求規(guī)范的正確性。
生成測試用例及系統(tǒng)驗證
Stimulus可以根據(jù)需求描述自動生成符合需求的測試用例(需求可以是高層次需求或者低層次需求),也可以在Stimulus中使用“自然語言”描述測試場景,并生成符合測試場景的測試用例。Stimulus不但可以根據(jù)需求生成測試用例,還可以監(jiān)測系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。在測試環(huán)境中導入生成的測試用例并通過監(jiān)視系統(tǒng)輸出,客戶可以驗證系統(tǒng)設計是否滿足需求,還可以節(jié)省手工書寫測試用例時冗長而無味的時間。
良好的集成擴展性
Stimulus支持對SIMULINK及SCADE集成,可以為SIMULINK或SCADE模型自動生成測試用例,即根據(jù)需求生成系統(tǒng)輸入以及系統(tǒng)行為的約束限制,進而檢驗模型是否滿足需求規(guī)范中的要求。
應用&案例
某跨國汽車設備供應商(驗證ABS/ESP系統(tǒng)需求規(guī)范)
法國某軌道系統(tǒng)運營商(驗證地鐵車站自動門開關控制系統(tǒng))
相關鏈接 (直接點擊進入)
1 | Cotherm 多物理場耦合方案 |
2 | Cradle CFD—專業(yè)熱流場分析工具 |
3 | TAITherm座艙熱管理與續(xù)航里程 |
4 | Twin Builder——系統(tǒng)級多物理域數(shù)字孿生平臺 |
5 | SPEOS—光學產(chǎn)品設計及仿真工具 |
6 | IPS—線束和軟管的受力與動態(tài)三維仿真 |
經(jīng)緯恒潤通過與IBM、Dassault、ANSYS等知名工業(yè)軟件廠商合作,為用戶提供汽車電子領域數(shù)十種研發(fā)工具,并通過在研發(fā)流程、建模仿真、測試驗證、平臺建設等領域的定制開發(fā)和技術服務,助力用戶實現(xiàn)研發(fā)的流程化、數(shù)字化、智能化和平臺化,提升產(chǎn)品研發(fā)效率和市場競爭力。
-
汽車電子
+關注
關注
3019文章
7790瀏覽量
165702
發(fā)布評論請先 登錄
相關推薦
評論