Some customers have asked us to provide test files for validating the output of CodeCheck feature. For example, Avionics teams using DO-178B can use it for Tool Qualification. The attached file includes a test suite for each of the CodeCheck Checks, as well as a script that uses our Perl API to automatically run each of the Checks on the corresponding test suite. Before running the script, modify the paths at the beginning to point to the appropriate location, then simply run it from the command line with
uperl codecheck_validation.pl
As always, let us know if you run into any questions or problems – [email protected]
Codecheck Validation Tests: ScriptValidation-1.zip (536.2KB)
This is distributed under the MIT license, feel free to share as desired.