<small id="6pofh"></small><strike id="6pofh"><pre id="6pofh"><button id="6pofh"></button></pre></strike>
<small id="6pofh"></small>
  • <sub id="6pofh"><listing id="6pofh"></listing></sub>

      <wbr id="6pofh"></wbr>
      1. A片网站短视频免费看|午夜欧美激情影院|免费aV观看污一卡|黄色美女网站大全
        <small id="6pofh"></small><strike id="6pofh"><pre id="6pofh"><button id="6pofh"></button></pre></strike>
        <small id="6pofh"></small>
      2. <sub id="6pofh"><listing id="6pofh"></listing></sub>

          <wbr id="6pofh"></wbr>
          1. CN / EN

            搜索
            搜索
             DEVELOPMENT SERVICE

            DEVELOPMENT SERVICE

            研發服務
            全部分類
            瀏覽量:
            1000

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

            零售價
            0.0
            市場價
            0.0
            瀏覽量:
            1000
            產品編號
            2111
            所屬分類
            服務
            數量
            -
            +
            庫存:
            0
            產品描述

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

             

            產品介紹

            • 仿真及驗證需求規范

             

                    

                   

                    Stimulus使用“自然語言”對需求進行建模、仿真并驗證需求。Stimulus中包含了豐富的時間與邏輯運算符,例如:Stimulus—需求形式化建模和分析工具“當…時”,“如果”,“大于”,“只有”等。通過對需求按照運算符進行重新書寫,可以驗證需求中是否存在沖突;通過對仿真結果的觀察,來驗證需求規范中是否存在沖突與缺陷,進而保證了需求規范的正確性。

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

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

            • 良好的集成擴展性

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

             

            應用&案例
                    汽車及軌道系統客戶

            • 某跨國汽車設備供應商(驗證ABS/ESP系統需求規范)
            • 法國某軌道系統運營商(驗證地鐵車站自動門開關控制系統)
               
            關鍵詞:
            系統
            stimulus
            驗證
            掃二維碼用手機看
            未找到相應參數組,請于后臺屬性模板中添加

            市場部

            電話010-64840808

            郵箱:market_dept@hirain.com

            證券部

            電話010-82263021

            郵箱:ir@hirain.com

            關注我們

            這是描述信息