规范模型是什么?
当系统地验证设计模型与需求,为每个需求开发过程包括生成测试用例。这些测试验证设计模型用于生产代码生成和有助于获得信心,设计模型满足要求。规范模型是一个可执行的实体,允许您执行基于需求的测试利用吗金宝app®设计验证器™功能。
如果你有一组要求都写在自然语言文本,你可以将其转换为正式使用仿真软件(可执行的)规范。金宝app这些然后成为规范模型。不同于设计模型,只有指定的规范模型什么是要做的,而不是它是如何做。它捕获的需求在一个更高的水平和隐藏了细节在较低水平。
使用规范模型的优点是:
它验证组要求以一种系统化的方式。
它自动化基于需求的测试。
它有助于确定失踪的需求、设计错误,或不一致性需求和设计模式在开发阶段的早期。
使用规范模型基于需求的测试
基于需求的测试,从规范模型生成测试用例是用于验证设计模型与需求。按照以下步骤使用规范的基于需求的测试模型:
要求作者在编辑器的需求。把你的要求写在一个自然语言文本描述系统的行为下的设计。
构建一个规范的模型。设计规范的模型作为一个可执行的要求。这个活动可能揭示问题,导致需求的细化。
链接的要求。联系个人需求或subrequirements规范的零件模型。
为规范模型生成测试。生成每要求至少一个测试演示了它的一致性要求。
创建一个测试转换子系统。规范和设计模型可能不使用相同的输入输出接口。转换生成的测试用例步骤4中通过使用一个测试转换系统。
开发设计模型。独立开发设计模型通过使用需求文档。需求与设计模型。
验证设计和分析报道。在步骤5中运行测试生成的设计模型是在步骤6开发并验证结果是否同意规范模型和需求。生成一个设计模型覆盖率报告来识别丢失的覆盖率和细化需求,如果需要的话。
规范模型的工作流
创建规范模型
考虑到自动驾驶仪控制器模型中描述使用一个基于需求的测试规范模型。示威,要求由逻辑和时间开环的条件。
按照以下步骤创建一个规范模型的要求:
识别规范模型接口
列表的输入和输出信号的规范模型的相关要求。你可能忽略的信号不相关的需求。
这些自动驾驶仪控制器的输入信号是基于需求:
自动驾驶仪进行开关:启用/禁用自动控制器
标题进行开关:当参与,使
HDG_HOLD_MODE。否则,ROLL_HOLD_MODE是活跃的卷参考目标转动旋钮:拨打feed所需的横摇角值自动控制器
标题引用旋钮:给标题的设定点值模式
飞机横摇角:当前瞬时横摇角的飞机
这些都是输出信号:
副翼命令:副翼致动器的输出
辊Ref命令:输出显示窗口显示的设定点值副翼致动器
使用高层表示信号值
有些信号代表更高层次的规范。建议来表示信号规范模型使用范围等高层表示。
考虑输入信号飞机横摇角,代表当前飞机的横摇角和需要任何值区间-180 + 180度。
需求描述的行为自动驾驶仪控制器的区域。这些区域是模仿使用枚举范围。
这五个区域如下图所示。
确定高级操作模式
需求指定高级美联社控制器模式和其积极的条件如下:
| 自动驾驶模式 | 自动驾驶仪进行开关 | 标题进行开关 |
|---|---|---|
从 |
从 | 不关心 |
ROLL_HOLD_MODE |
在 | 从 |
HDG_HOLD_MODE |
在 | 在 |
确定前提条件、效果和预期的输出为每个需求
考虑以下要求:
“每当驾驶舱转动旋钮卷参考目标转动旋钮(Roll_Ref_TK)指挥在正常范围([-30年3]或[+ 3,+ 30]度),卷参考(Roll_Ref_Cmd)应设置Roll_Ref_TK。"
识别前提和效果。上面的要求包括两个条款:
先决条件:
Roll_Ref_TK要么是负的正常范围,(-30 3),或积极的正常范围,(+ 3,+ 30)。这个前提是一个简单的逻辑或表达式,所以真值表是用来表达合乎逻辑的先决条件。
效果:集
Roll_Ref_Cmd来Roll_Ref_TK,影响子句指定了输出信号值在预期的范围内。
的先决条件条款要求确定当它变得活跃,而影响条款决定了需求后将做它变得活跃。
上面的需求没有影响副翼命令Ail_Cmd输出,所以它被认为是Range.All这表示所有可能的值的集合。
创建事实表的要求
编码的先决条件条款的要求到条件表中部分真值表和表部分条款采取行动的影响。
跟踪每一项需求,设置局部变量REQ_ID ID 2.1到相应的要求。
动作表中添加金宝app一个仿真软件设计匹配目标通过使用声明
sldv.test(REQ_ID = = 2.1)。金宝app仿真软件设计验证器发现一个测试当REQ_ID 2.1是满足。
最终规范模型
最终的规范模型通过使用以上工作流程是这样的:
