Stimulus是法國達索公司產品，其目的是通過需求建模分析來驗證需求的正確性。Stimulus的核心理念是運用“自然語言”對功能性需求進行建模，并通過仿真來查找需求中的缺陷，例如需求一致性、不二義性和完整性檢查等。借助Stimulus可以在系統開發的早期階段發現并修改需求規范中的錯誤、在系統最終交付驗收階段檢查系統設計是否滿足需求規范，從而較大地降低產品開發的成本與風險。

產品介紹

仿真及驗證需求規范

Stimulus使用“自然語言”對需求進行建模、仿真并驗證需求。Stimulus中包含了豐富的時間與邏輯運算符，例如：“當…時”，“如果”，“大于”，“只有”等。通過對需求按照運算符進行重新書寫，可以驗證需求中是否存在沖突；通過對仿真結果的觀察，來驗證需求規范中是否存在沖突與缺陷，進而保證了需求規范的正確性。

生成測試用例及系統驗證

Stimulus可以根據需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus不但可以根據需求生成測試用例，還可以監測系統輸出是否符合需求規格說明中的要求。在測試環境中導入生成的測試用例并通過監視系統輸出，客戶可以驗證系統設計是否滿足需求，還可以節省手工書寫測試用例時冗長而無味的時間。

良好的集成擴展性

Stimulus支持對SIMULINK及SCADE集成，可以為SIMULINK或SCADE模型自動生成測試用例，即根據需求生成系統輸入以及系統行為的約束限制，進而檢驗模型是否滿足需求規范中的要求。

應用&案例

某跨國汽車設備供應商（驗證ABS/ESP系統需求規范）

法國某軌道系統運營商（驗證地鐵車站自動門開關控制系統）

相關鏈接 （直接點擊進入）

經緯恒潤通過與IBM、Dassault、ANSYS等知名工業軟件廠商合作，為用戶提供汽車電子領域數十種研發工具，并通過在研發流程、建模仿真、測試驗證、平臺建設等領域的定制開發和技術服務，助力用戶實現研發的流程化、數字化、智能化和平臺化，提升產品研發效率和市場競爭力。