Model 模块
如果您的模型包含引用外部模型的 Model 模块,则会针对顶级模型创建测试,并考虑其执行上下文中的每个引用模型。
如果多个 Model 模块引用同一个模型,则生成的测试将尝试满足顶级模型中各个上下文中引用模型的每个实例的测试目标。如果您有三个引用某个模型的 Model 模块,则分析会针对所有三个实例产生结果。
如果使用生成的测试用例收集覆盖率,累计覆盖率将反映同一引用模型的多个实例。仿真会为每个引用模型生成一组覆盖率结果;如果您有三个引用某个模型的 Model 模块,则仿真会为该引用模型生成一组结果。
例如,考虑一个顶层模型,其中三个 Model 模块引用同一个模型。参考模型有三个测试目标。分析顶层模型产生了九个测试目标。如果使用九个测试用例仿真模型,则该引用模型的覆盖率结果指定三个测试目标。