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

產品介紹

• 模擬及驗證需求規範

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

• 生成測試用例及系統驗證

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

• 良好的整合擴充套件性

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

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

相關文章