形式化需求和基于需求的测试用例生成

了解如何通过形式化需求和自动生成基于需求的测试来降低软件验证成本。 

出版年份: 2023 年 7 月 9 日

反馈

下一个:

符合ISO 26262的汽车电子软件开发流程

相关视频:

基于模型设计的电机控制系统开发 （以TI DRV8312为硬件实例

上汽基于模型的新能源汽车控制系统开发

基于模型开发实践及平台化应用

基于标准的开发：采用AUTOSAR和ISO 26262