SCADE模型覆盖率分析MTC简明教程.pdfVIP

SCADE MTC使用指南 1. 模型插装 （Model Instrumentation） 2. 覆盖率获取（Acquisition ） 3. 覆盖率分析（Analysis ） 4. 测试用例调整（Justification Modify ） 5. 生成报告（Reporting） Module M2: Model Test Coverage MTC 流程 测试用例 覆盖率准则 Model Test Coverage 软件需求 (SCADE 模型) 覆盖率获取 覆盖率分析 测试用例调整