使用合格的工具做- 178 c开发过程

您将学习如何使用MathWorks工具- 178 c过程,从需求到软件的验证过程。这个视频系列涵盖- 331基于模型的开发和验证,以及做- 333正式的方法。此外,做- 330软件工具资格考虑将解决的解释做资格工具包。

第1部分:介绍基于模型的开发- 178 c学习如何使用基于模型的设计和正式的方法和仿真软件,Stateflow,嵌入式编码,和在过程符合资格工具包做c - 178, -万博1manbetx 331, - 333, - 330。

第2部分:合格的模型验证,需求跟踪从模型执行跟踪需求,符合- 331,- 178 c和做使用仿真软件需求,然后使用仿真软件生成一个设计描述文档报告生成器。万博1manbetx

第3部分:合格的模型验证,仿真执行模拟和模型覆盖率分析来验证模型,符合- 331,- 178 c和做使用仿真软件测试和仿真软件覆盖。万博1manbetx

第4部分:合格的模型验证,模型的标准执行静态分析来验证模型标准、一致性和准确性,符合- 331,- 178 c和做使用模型检查。万博1manbetx

第5部分:合格的模型验证,设计错误执行正式的方法分析来验证模型的一致性和准确性,符合- 333,- 178 c和做使用仿真软件设计验证器。万博1manbetx

第6部分:合格的代码验证模型代码使用嵌入式编码器和仿真软件代码检查器来生成代码万博1manbetx模型和验证翻译符合- 178 c和做- 331。

第7部分:合格的代码验证-代码标准使用嵌入式编码器和Polyspace Bug仪从模型生成代码并验证编码标准符合- 178 c和做- 331。

第8部分:合格的代码验证-代码错误执行正式的方法分析来验证代码的一致性和准确性,符合- 333,- 178 c和做使用Polyspace代码验证。

第9部分:合格的测试生成使用仿真万博1manbetx软件设计仿真软件验证器和覆盖从模型和生成测试验证低级的测试覆盖率,符合做- 178 c和- 331。

第10部分:合格的软件测试使用processor-in-the-loop功能和代码覆盖率分析来验证可执行目标代码,按照- 331,- 178 c和做模型试验和仿真软件的覆盖率。万博1manbetx