verify generated code and deployed code artifacts -凯发k8网页登录

verify generated c/c code and deployed code artifacts by using equivalence tests

with matlab^® test™, you can verify generated c/c code and deployed code artifacts by using equivalence tests, which are also referred to as back-to-back tests.

author equivalence tests that generate c/c code by using matlab coder™ and verify that the generated code is functionally equivalent to the matlab source code. if you have embedded coder^®, you can measure the coverage of your generated c/c code when you run your equivalence tests.

alternatively, you can author equivalence tests that generate deployed code artifacts by using matlab compiler sdk™, including java^® and python^® packages and .net assemblies, and test for equivalence.

classes

	test case for generated c/c equivalence tests
	formal tester for generated c/c equivalence tests
	test case for deployed code artifact equivalence tests

functions

c/c equivalence tests

	generate c/c code in equivalence tests
	execute generated c/c code in equivalence tests
	verify that generated c/c code execution results match matlab results

formal c/c equivalence tests

	generate c/c code in formal equivalence tests
	execute generated c/c code in formal equivalence tests

deployed code artifact equivalence tests

	generate deployed code artifacts in equivalence tests
	execute deployed code artifacts in equivalence tests
	verify that deployed code artifact execution results match matlab results

topics

generate c/c code from matlab code and verify that the execution of the generated code and matlab code are equivalent.
generate c/c code from multiple entry-point functions and signatures and verify that the execution of the generated code and matlab code are equivalent.
generate deployed code artifacts with matlab compiler sdk and verify that the execution of the generated artifacts and matlab code are equivalent.
qualify equivalence tests by using verifications, assumptions, assertions, and fatal assertions.
use different types of code coverage analysis for generated c/c code when you run equivalence tests in sil mode.
measure the coverage of your generated c/c code when you run equivalence tests.