產品概述
Stimulus 是達索系統的產品，其目的是通過需求建模分析來驗證需求的正確性。 Stimulus 的核心思想是使用“自然語言”對功能需求進行建模，並發現需求中的缺陷，例如需求一致性、模糊性和完整性檢查。 借助 Stimulus，可以在系統開發前期發現並修改需求規範中的錯誤，並在系統的最終交付和驗收階段檢查系統設計是否符合需求規範，從而將產品開發的成本和風險降到最低。
產品介紹
*和驗證要求規範。
Stimulus 使系統架構師能夠在設計開始之前模擬需求並檢測模稜兩可、不正確、缺失或衝突的需求，從而建立驗證安全關鍵型嵌入式系統所需的高質量規範。 Stimulus 使用“自然語言”來建模和驗證需求，包括豐富的時間和邏輯運算子，例如：“When .......”“如果”、“更大”、“僅”等。 通過操作員重寫需求，可以驗證需求中是否存在衝突;通過對第乙個結果的觀察，驗證了需求規範中的衝突和缺陷，保證了需求規範的正確性。 開發團隊可以花更少的時間重新定義需求、重寫和重新除錯**，從而減少實現高質量結果所需的開發迭代次數。
生成測試用例並驗證系統。
在驗證階段，Stimulus 還使測試工程師能夠自動生成測試向量和測試目標，並檢查嵌入式**是否符合其規格。 Stimulus 可以根據需求描述自動生成滿足需求的測試用例（需求可以是高階需求，也可以是低階需求），也可以使用“自然語言”來描述測試場景，生成滿足測試場景的測試用例。 Stimulus 不僅可以根據需求生成測試用例，還可以監控系統輸出是否滿足需求規範中的要求。 測試團隊不再需要編寫或維護從需求手動派生的測試用例。 相反，他們可以重用系統架構師已經完成的工作來構建高度靈活的測試活動，從而產生有效的敏捷方法。
良好的整合可擴充套件性。
Stimulus 支援 Simulink 和 SCADE 的整合，可以自動生成 Simulink 或 SCADE 模型的測試用例，即根據需求生成系統輸入和系統行為的約束，然後驗證模型是否符合需求規範。
主要優點：
支援對需求進行早期驗證。
在工程師之間共享清晰且可觀察的需求。
有效擴充套件測試活動的功能覆蓋範圍。
減少開發過程中成本高昂的迭代。
應用例項
某跨國汽車裝置製造商（ABS ESP系統要求規範驗證）。