產品概述

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

產品介紹

仿真及驗證需求規(guī)范

Stimulus使系統(tǒng)架構師能夠模擬需求，并在設計開始之前檢測到模糊、不正確、缺失或沖突的需求，從而創(chuàng)建安全關鍵型嵌入式系統(tǒng)驗證所需的高質量規(guī)范。Stimulus使用“自然語言”對需求進行建模、仿真并驗證需求，Stimulus中包含了豐富的時間與邏輯運算符，例如：“當……時”“如果”“大于”“只有”等。通過對需求按照運算符進行重新書寫，可以驗證需求中是否存在沖突；通過對仿真結果的觀察，來驗證需求規(guī)范中是否存在沖突與缺陷，進而保證了需求規(guī)范的正確性。開發(fā)團隊可以用更少的時間重新定義需求、重寫和重新調試代碼，從而減少實現高質量結果所需的開發(fā)迭代。

生成測試用例及系統(tǒng)驗證

在驗證階段，Stimulus還使測試工程師能夠自動生成測試向量和測試目標，并檢查嵌入式代碼是否符合其規(guī)范。Stimulus可以根據需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus不但可以根據需求生成測試用例，還可以監(jiān)測系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。測試團隊不再需要編寫或維護從需求中手動派生的測試案例。相反，他們可以重復利用系統(tǒng)架構師已完成的工作來構建高度靈活的測試活動，從而采用有效的敏捷方法。

良好的集成擴展性

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

主要優(yōu)勢

實現早期需求驗證

在工程師之間分享清晰且可觀察的需求

有效擴大測試活動的功能覆蓋范圍

減少開發(fā)流程中成本高昂的迭代

應用案例

某跨國汽車設備供應商（驗證ABS/ESP系統(tǒng)需求規(guī)范）。

審核編輯 黃宇