Compiler Verification

The Compiler Verification Tool (CVT) verifies the following:
  • Compiler output is correct
  • Compiler output matches source code input
  • Compiler output contains only the essential elements of the source code input.
    IMPORTANT: Other than Sequential Function Chart (SFC), all produced code is validated for use in safety applications.
    AADvance-Trusted SIS Workstation software
    does not validate SFC code.
The compilation verification process compares individual program organization unit (POU) STF files with their resulting TIC code to validate the accuracy of the compilation process. The verification process starts when the compiler completes the generation of the TIC code from the STF file. The process consists of converting the STF file to an XML file and disassembling the TIC code towards another XML file, then comparing both resulting XML files for differences. Separate utilities perform the conversion of the STF file and the disassembly of the TIC code.
Code Generation
cvt
Verification Process
Output Window
Comparison errors
Apply the guidelines detailed in
Applying Best Practices
to make sure the CVT provides an efficient and accurate analysis of the source TIC code
.
To enable the compiler verification
  1. From the
    Properties
    window of a controller, expand
    Compiler Options
    .
  2. Select
    Enable Compiler Verification
    , and then select
    True
    .
  3. From the
    Properties
    window of an FBD or LD program, select
    Generate Monitoring Symbols
    , and then select
    True
    .
Provide Feedback
Have questions or feedback about this documentation? Please submit your feedback here.
Normal