主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

使用测试来验证需求

在 MATLAB® 和 Simulink® 中运行基于需求的测试来验证需求

将需求链接到 MATLAB 和 Simulink 中的测试,然后通过运行测试来验证这些需求。跟踪需求的验证状态,并对无法验证或不需要验证的需求进行申诉。使用外部结果来验证需求。

App

需求编辑器创建和编辑需求
需求管理器管理模型中的需求和链接

全部展开

slreq.ReqSet 使用需求集
slreq.Requirement 使用需求对象
slreq.Reference 使用外部需求代理对象
slreq.Justification需求申述
slreq.verification.services.JUnit 使用外部结果源
slreq.verification.services.TAP 使用外部结果源

方法

全部展开

runTests 运行与需求集集相关的测试用例
getVerificationStatus 查询需求集验证状态摘要
updateVerificationStatus更新需求集验证状态摘要
getVerificationStatus 查询需求验证状态摘要
isJustifiedFor检查需求是否已申述
justifyImplementation 申述需求以实现
justifyVerification 申述用于验证的需求
getVerificationStatus 查询引用需求验证状态摘要
justifyVerification 申述以验证的引用需求

获取申诉和需求集

find查找父级申述的子级
children为子级寻找申述
parent查找申述的父项
reqSet 返回父级需求集

添加和删除申诉

add添加子申述
copy复制并粘贴申述
remove 删除申述项

移动、升级和降级需求

move按层次结构移动申述
moveDown在层次结构中向下移动申述
moveUp将申述在层次结构中向上移动
promote提升申述
demote降级申述

添加注释和自定义申诉

addComment为申述添加注释
getAttribute获取申述属性
setAttribute设置申述属性

检查和设置层次结构

isHierarchical检查申述是否具有层次性
setHierarchical更改层次申述状态

主题

精选示例