登录论坛

查看完整版本 : 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


更多... ( https://www.mathworks.com/company/newsletters/articles/verifying-models-and-code-for-high-integrity-systems.html )