STIMULUS 基于端到端需求的驗證解決方案

在規范制定階段，STIMULUS 使系統架構師能夠模擬需求，并在設計開始之前檢測到模糊、不正確、缺失或沖突的需求，從而創建安全關鍵型嵌入式系統驗證所需的高質量規范。
開發團隊可以用更少的時間重新定義需求、重寫和重新調試代碼，從而減少實現高質量結果所需的開發迭代。
在驗證階段，STIMULUS 還使測試工程師能夠自動生成測試向量和測試目標，并檢查您的嵌入式代碼是否符合其規范。
測試團隊不再需要編寫或維護從需求中手動派生的測試案例。相反，他們可以重復利用系統架構師已完成的工作來構建高度靈活的測試活動，從而采用有效的敏捷方法。

主要優勢

實現早期需求驗證
在工程師之間分享清晰且可觀察的需求
更大限度地擴大測試活動的功能覆蓋范圍
減少開發流程中成本高昂的迭代

主要特征

l 以可讀的正式語言表達文本需求
l 對狀態機和系統體系結構建模
l 觀察指定系統的可能執行情況
l 自動生成多個測試用例