欢乐二人麻将单机版|二人麻将口诀和技巧
用戶中心
· 企業空間 首頁 | 資訊 | 技術 | 產品 | 企業 | 博客 | 論壇| 在線研討會
恒潤科技
  • Stimulus — 需求形式化建模和分析工具  
  • 發布時間:2019/8/23 10:21:31   修改時間:2019/8/23 10:21:31 瀏覽次數:138
  • Stimulus — 需求形式化建模和分析工具
  •        Stimulus 是法國Argosim公司產品,其目的是通過需求建模分析來驗證需求的正確性。Stimulus的核心理念是運用“自然語言”對功能性需求進行建模,并通過仿真來查找需求中的缺陷,例如需求一致性、不二義性和完整性檢查等。借助Stimulus可以在系統開發的早期階段發現并修改需求規范中的錯誤、在系統最終交付驗收階段檢查系統設計是否滿足需求規范,從而很大地降低產品開發的成本與風險。



    產品介紹

    仿真及驗證需求規范

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




    生成測試用例及系統驗證

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


    良好的集成擴展性

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




    經緯恒潤

    北京市海淀區知春路7號致真大廈D座6層

    電話:010-64840808-6105

    郵箱:[email protected]

    網址:www.hirain.com

  • 企業介紹
恒潤科技(HiRain Technologies)是一家持續快速發展的高新技術企業,專業從事汽車、車聯網、軌道交通等領域的電子產品研發生產、解決方案咨詢服務、研發工具代理以及專業培訓等,總部位于北京,設有上海、成都、美國底特律、德國慕尼黑分公司,長春、…  更多>>
  • 聯系方式

恒潤科技

聯系人:秦女士

地址: 北京市海淀區知春路7號致真大廈D座5-10層

郵編:100101

電話:010-64840808-6103

傳真:

公司網址:http://www.hirain.com

  • 該空間手機版

掃描此二維碼即可訪問該空間手機版

  • 在線反饋
1.我有以下需求:



2.詳細的需求:
姓名:
單位:
電話:
郵件:
您還沒有登錄,請登陸,
如果您還沒有注冊,點擊這里注冊.
  • 網友反饋
  • 茍德文 在2019/10/15 16:02:00留言
  • 留言類型:貴公司技術支持人員聯系我,
  • 詳細留言:F:/TESSY/RELS/tessy\work\00000412\00000414\00000416/ts_env.h:1:1: error: stray '\233' in program 你好!在執行數據測試時出現如下錯誤是什么原因?麻煩解答一下,這個問題已經難為很長時間了,ts_env.h是軟件自己內部生成的為什么還會出錯呢?
  • 何蘇宇 在2019/10/14 9:24:00留言
  • 留言類型:我想得到貴公司產品詳細資料,我想得到貴公司產品的價格信息,我讓貴公司產品銷售人員聯系我,
  • 詳細留言:您好,我是天津中德應用技術大學的教師,應用您公司的carmaker軟件做教學使用,請您看到后聯系我
  • 馬光明 在2019/10/13 21:15:00留言
  • 留言類型:得到貴公司產品詳細資料,
  • 詳細留言:我們團隊正在做綜采工作面半實物仿真,想獲得貴公司半實物仿真平臺資料(如各部分配置 價格 以及支持的建模軟件和后期的技術服務等)
  • 陳偉 在2019/10/10 9:18:00留言
  • 留言類型:得到貴公司產品詳細資料,得到貴公司產品的價格信息,貴公司技術支持人員聯系我,
  • 詳細留言:想了解一下貴公司有沒有 車載以太網 解決方案。 (avb 支持)
  • 陳樹霖 在2019/10/9 17:41:00留言
  • 留言類型:我想得到貴公司產品詳細資料,我想得到貴公司產品的價格信息,我讓貴公司產品銷售人員聯系我,
  • 詳細留言:VI-CarRealTime報價,產品詳細資料
更多請進入空間管理中心查看
關于我們 | 網站地圖 | 聯系我們
© 2003-2018    經營許可編號:京ICP證120335號
公安機關備案號:110102002318  服務熱線:010-82053688
我要反饋
欢乐二人麻将单机版 天津时时官方网址 即时足球比分手机 彩票计划公式赚钱真假 17年极速时时开奖 皇家3肖6码默认论坛 金花线上娱乐 pk10免费计划软件 通比牛牛是什么意思 重庆时时开奖分析软件 500彩计划网