登陆
注册
运用形式化方法对AUTOSAR OS及其应用进行了建模与分析，对提高基于AUTOSAR OS开发的汽车电子软件的安全性、可靠性具有一定的促进作用。同时，系统模型的建立，能增强软件开发工程师对系统的理解，为基于模型的开发提供了便利。
已有428人学习
1. 单元测试；
2. Verification & Validation；
3. 非功能需求；
4. 函数调用覆盖率及函数覆盖率；
5. 功能安全对覆盖率的要求；
6. 成功的功能安全必做事项。
已有1423人学习
已完成
数据加载中