需求條目化管理,提供圖片、公式、表格等多種富文本編輯方式。提供領(lǐng)域形式化需求模板,允許用戶自定義需求模板。
包含數(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)確性和效率。
對用戶給定的性質(zhì),判斷在該性質(zhì)需求中是否始終滿足。如果存在不滿足的情況,系統(tǒng)返回不滿足的路徑信息。
基于需求進(jìn)行符合MC/DC版本的測試用例自動(dòng)生成,避免人工撰寫發(fā)生遺漏的問題,提高撰寫效率。
語言設(shè)計(jì)符合領(lǐng)域特征,使用方式貼合工程習(xí)慣,學(xué)習(xí)成本低
測試用例基于需求生成,可用于一致性比對,確保實(shí)現(xiàn)符合需求
兼容word和ReqIf格式文檔導(dǎo)入導(dǎo)出,便于資產(chǎn)復(fù)用