需求形式化建模和分析工具—新聞中心—汤姆影院科技

登錄 | 注冊 | English

研發工具

首頁  >  研發工具  >  V流程需求及功能開發階段  >  Stimulus-需求形式化建模和分析工具

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

概述

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

 

 

產品介紹

1.仿真及驗證需求規範

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

 

 

2.生成測試用例及係統驗證

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

 

3.良好的集成擴展性

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

 

應用&案例

汽車及軌道係統客戶

• 某跨國汽車設備供應商(驗證ABS/ESP係統需求規範)

• 法國某軌道係統運營商(驗證地鐵車站自動門開關控製係統)

關於汤姆影院
企業簡介
企業理念
企業資質
新聞中心
汤姆影院在全球
誠聘英才
校園招聘
實習生招聘
社會招聘
走進汤姆影院
常見問題
市場活動
在線研討會
線下活動
微信課堂
用戶社區
資料下載
汤姆影院月刊
用戶留言
個人中心
相關鏈接
達索公司
IBM-中國
聯係我們
電話:010-64840808
郵箱:market_dept@ishsu.com
版權所有 © 北京經緯汤姆影院科技有限公司 京ICP備18000642號-1 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護