Verify Generated Code and Deployed Code Artifacts

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

`matlabtest.coder.TestCase`	Test case for generated C/C++ equivalence tests (Since R2023a)
`matlabtest.coder.MATLABCoderTester`	Formal tester for generated C/C++ equivalence tests (Since R2023a)
`matlabtest.compiler.TestCase`	Test case for deployed code artifact equivalence tests (Since R2023a)
`matlabtest.coder.plugins.GeneratedCodeCoveragePlugin`	Plugin for code coverage information for generated C/C++ code equivalence tests (Since R2023a)

Functions

expand all

C/C++ Equivalence Tests

`build`	Generate C/C++ code in equivalence tests (Since R2023a)
`execute`	Execute generated C/C++ code in equivalence tests (Since R2023a)
`verifyExecutionMatchesMATLAB`	Verify that generated C/C++ code execution results match MATLAB results (Since R2023a)

Formal C/C++ Equivalence Tests

`build`	Generate C/C++ code in formal equivalence tests (Since R2023a)
`execute`	Execute generated C/C++ code in formal equivalence tests (Since R2023a)

Deployed Code Artifact Equivalence Tests

`build`	Generate deployed code artifacts in equivalence tests (Since R2023a)
`execute`	Execute deployed code artifacts in equivalence tests (Since R2023a)
`verifyExecutionMatchesMATLAB`	Verify that deployed code artifact execution results match MATLAB results (Since R2023a)

Topics

Generate C/C++ Code and Test for Equivalence
Generate C/C++ code from MATLAB code and verify that the execution of the generated code and MATLAB code are equivalent.
Equivalence Test C/C++ Code for Multiple Entry-Point Functions and Function Signatures
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 and Test for Equivalence
Generate deployed code artifacts with MATLAB Compiler SDK and verify that the execution of the generated artifacts and MATLAB code are equivalent.
Table of Qualifications for Equivalence Tests
Qualify equivalence tests by using verifications, assumptions, assertions, and fatal assertions.
Types of Coverage for Generated C/C++ Code in Equivalence Tests
Use different types of code coverage analysis for generated C/C++ code when you run equivalence tests in SIL mode.
Collect Coverage for Generated C/C++ Code in Equivalence Tests
Measure the coverage of your generated C/C++ code when you run equivalence tests.