文档

金宝appSimulink设计验证块

按字母顺序列表 按类别

测试用例生成

功能需求测试

测试条件 在测试用例中约束信号值
测试的目标 定义信号在测试用例中必须满足的自定义目标
探测器 检测输入的真实持续时间，并基于输出类型构造输出真实持续时间
扩展器 延长输入的真实持续时间
意味着 指定产生特定响应的条件
在暗示 验证响应在预期时间内发生
验证子系统 在不影响模拟结果或生成代码的情况下指定证明或测试目标

模型覆盖率分析

测试条件 在测试用例中约束信号值

基于需求的验证

需求建模

证明假设 证明模型属性时约束信号值
客观的证据 定义在证明模型属性时信号必须满足的目标
断言 检查信号是否为零
探测器 检测输入的真实持续时间，并基于输出类型构造输出真实持续时间
扩展器 延长输入的真实持续时间
意味着 指定产生特定响应的条件
在暗示 验证响应在预期时间内发生
验证子系统 在不影响模拟结果或生成代码的情况下指定证明或测试目标
这个话题有用吗?
金宝appSimulink设计验证器文档
其他文档
金宝app

试试MATLAB、Sim金宝appulink和其他产品下载188bet金宝搏

现在就去审判吧