<tt id="3u3ki"><button id="3u3ki"><span id="3u3ki"></span></button></tt>

    <output id="3u3ki"></output>

    <code id="3u3ki"><delect id="3u3ki"><s id="3u3ki"></s></delect></code>
  • 登錄 | 注冊 | English

    研發工具

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

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

    概述

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

     

     

    產品介紹

    1.仿真及驗證需求規范

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

     

     

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

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

     

    3.良好的集成擴展性

            Stimulus 支持對SIMULINK 及SCADE 集成, 可以為SIMULINK 或SCADE 模型自動生成測試用例,即根據需求生成系統輸入以及系統行為的約束限制,進而檢驗模型是否滿足需求規范中的要求。
    關于恒潤
    企業簡介
    企業理念
    企業資質
    新聞中心
    恒潤在全球
    誠聘英才
    校園招聘
    實習生招聘
    社會招聘
    走進恒潤
    常見問題
    市場活動
    在線研討會
    線下活動
    微信課堂
    用戶社區
    資料下載
    恒潤月刊
    用戶留言
    個人中心
    PMT留言
    相關鏈接
    達索公司
    IBM-中國
    聯系我們
    電話:010-64840808
    郵箱:market_dept@hirain.com
    版權所有 ? 北京經緯恒潤科技股份有限公司 京ICP備18000642號-1 京公網安備11010802017344號 網站地圖 | 招聘信息 | 法律聲明 | 隱私保護
    外道魂无残 在线观看禁片| 欧美乱色情| 校园春色性爱| 正在播放高树玛利亚先锋| s情图片网站| AV电影照片| 欧美伦理电影大全| 日本电影AV女优电影| 日本高清免费g一本视频| 电影天堂网av| 日本AV电影网址| 西欧搜狗色网| 新色中色影视| 高岛理央 在綫| 2019天堂网影音先锋| av天堂网2012| AV女优免费观看网站| 色中色视频| AV女优免费电影| 日本女优电影网站在线观看| 白河雪乃影音|