MATLAB爱好者论坛-LabFans.com - 查看单个帖子 - Verifying Models and Code for High-Integrity Systems

labfans · 2019-10-31, 18:04

This article describes a verification workflow based on Simulink. Topics covered include creating test cases, generating test cases for missing model coverage, and measuring code coverage.

2017-09-11 08:00 AM

更多...

2019-10-31, 18:04	#1
labfans 论坛管理员注册日期: 2007-04-03 帖子: 784 声望力: 5	Verifying Models and Code for High-Integrity Systems This article describes a verification workflow based on Simulink. Topics covered include creating test cases, generating test cases for missing model coverage, and measuring code coverage. 2017-09-11 08:00 AM 更多...