中科信软针对simulink模型的测试与验证方法
课程描述: 本课程重点讲述控制算法和模型的测试与验证。具体内容包括所建模型与需求的链接,模型架构设计和数据管理,及其对模型建模规范的检查;通过模型测试验证的工具给出模型覆盖度,自动生成测试用例,并且对模型进行属性验证,当验证失败时会给出相应的测试反例,相关的测试都能够给出对应的报告。讲授过程中将借助客户已有的相关软件进行演示。 |
|
面向对象: |
1)需要对图形化模型算法或模型做测试与验证的人员 2)做系统级仿真与测试的人员 |
课程目标 |
1)利用测试工具对模型或算法进行测试与验证 2)基于模型设计能够进行需求管理、模型架构设计、数据管理、建模规范检查等工作 |
课程内容: |
1)基于模型设计流程 2)模型与需求的链接 3)模型架构设计 4)数据管理 5)建模规范 6)单元测试,包括自动生成测试用例、覆盖度分析、属性验证等 7)自动测试 8)自动生成报告 |
联系我时,请说是在北京便民网看到的,谢谢!