识别规范模型接口

规范模型的输入和输出信号列表相关的您想要测试的需求。忽略的信号,没有指定要求,不影响测试的输出。在这个例子中,要求指定5个输入和两个输出。规范模型的输入信号:

识别前提条件、后置条件和行动为每个需求

对于你想验证的需求,将原文需求转换为逻辑表达式可以表示为先决条件,后置条件,和行动。你正式的需求定义为先决条件,后置条件,和行动:

你会发现一些需求可以交换使用后置条件或一个动作,或后置条件和动作。指定您想要使用基于设计模型的配置。

例如考虑这个高水平要求指定自动控制器的模式:

自动驾驶仪控制器模式是由以下几点:

你可以写这些需求,因为这些逻辑表达式:

重复这个过程剩余的需求。

识别设计值表示在需求

您的需求可以指定范围的值必须满足您的设计模型,或者你可能需要参数化的值在每个评估要求。这些值与文字值不能总是容易描述。您可以使用需求表块值的表达式表示为常数或参数数据。看到需求表中定义数据块(需求工具箱)。你可以改变数据在模拟。除了分配数值数据,支持其他数据块类型,如字符串、枚举或范围。万博1manbetx使用的表示值符合您的需求。

在自动驾驶仪控制器模型,需求为飞机横摇角指定阈值。这个图表说明了阈值的数值和口头的等价物。

创建需求表块

识别信号表征后,价值观,和您想要使用的表达式的正式要求,编写逻辑表达式的先决条件,后置条件,和行动先决条件后置条件,行动列分别为每一个需求。如果你的需求有孩子或依赖关系,可以包括那些关系。看到需求表中建立层次结构(需求工具箱)。

您创建的每一个需求需求表块创建一个等价的要求要求编辑器。更新的附加文本属性需求,比如描述,在编辑器中。看到正式的需求配置属性(需求工具箱)。

在自动驾驶仪控制器模型,模型包括两个规范需求表块。AP_Mode_Determination自动驾驶仪控制器模式定义了正式的要求。

另一个需求表块,Cmd_Determination描述所需的副翼命令和辊引用命令的输出。

最终规范模型

连接后需求表块的输入、输出和对方,最终规范模型是:

准备测试生成的规范模型

万博1manbetx仿真软件设计验证器自动创建测试从需求中定义的目标需求表块。如果你需要约束的值测试目标,您可以指定它们的信号来源,或包括在假设表的块。看到添加假设需求(需求工具箱)。准备测试生成的规范模型,该模型覆盖的目标。在设计验证器选项卡,准备部分中,点击测试生成的设置。在配置参数窗口中,展开设计验证器列表并点击测试生成。集模型覆盖目标最好的选项捕获所需的报道。