美国伦理〈欲女春潮〉|美国伦理〈欲奴3〉|美国伦理巜交换做爰|宝贝腿开大点我添添你下边美国|美国色情巜春药2|美国A片巜禁忌5

SmartRocket Prema / 設(shè)計(jì)需求分析工具

產(chǎn)品概述

SmartRocket Prema是一款對標(biāo)Stimulus的精確需求撰寫、建模、分析工具,用于嵌入式軟件開發(fā)的需求階段,為用戶提供需求撰寫、需求確認(rèn)、基于需求的模擬仿真、形式化需求驗(yàn)證和基于需求的測試用例自動(dòng)生成等功能,從軟件開發(fā)的源頭確保正確性。

特色功能

  • 需求撰寫

    需求條目化管理,提供圖片、公式、表格等多種富文本編輯方式。提供領(lǐng)域形式化需求模板,允許用戶自定義需求模板。

  • 靜態(tài)檢查

    包含數(shù)據(jù)依賴關(guān)系分析、狀態(tài)遷移分析、量綱分析、類型分析、環(huán)路依賴檢查等多個(gè)維度,需求模型確認(rèn)階段確保需求設(shè)計(jì)符合預(yù)期。

  • 模擬仿真

    接收外部初始狀態(tài)驅(qū)動(dòng)需求執(zhí)行,模擬系統(tǒng)中邏輯發(fā)生的本質(zhì)過程,代替?zhèn)鹘y(tǒng)軌道交通領(lǐng)域測試中工程師的手動(dòng)計(jì)算,提高計(jì)算的準(zhǔn)確性和效率。

  • 形式化驗(yàn)證

    對用戶給定的性質(zhì),判斷在該性質(zhì)需求中是否始終滿足。如果存在不滿足的情況,系統(tǒng)返回不滿足的路徑信息。

  • 基于需求的測試用例自動(dòng)生成

    基于需求進(jìn)行符合MC/DC版本的測試用例自動(dòng)生成,避免人工撰寫發(fā)生遺漏的問題,提高撰寫效率。

價(jià)值優(yōu)勢

  • 結(jié)合領(lǐng)域特征

    語言設(shè)計(jì)符合領(lǐng)域特征,使用方式貼合工程習(xí)慣,學(xué)習(xí)成本低

  • 基于需求的測試用例自動(dòng)生成

    測試用例基于需求生成,可用于一致性比對,確保實(shí)現(xiàn)符合需求

  • 兼容多種文檔格式

    兼容word和ReqIf格式文檔導(dǎo)入導(dǎo)出,便于資產(chǎn)復(fù)用

典型應(yīng)用

  • 航空航天

  • 軌道交通

横山县| 陕西省| 都匀市| 盐边县| 利津县| 图们市| 海丰县| 左贡县| 纳雍县| 吉安县| 巫山县| 确山县| 项城市| 吉木萨尔县| 谷城县| 曲周县| 六盘水市| 甘肃省| 上饶县| 武宣县| 乐都县| 思南县| 洪泽县| 宁陕县| 延津县| 南靖县| 阳高县| 新绛县| 木里| 天门市| 余干县| 洪雅县| 化隆| 浦东新区| 兰州市| 澜沧| 江源县| 北川| 鸡泽县| 迁安市| 肥西县|