CAAPE User's Manual - ALSTOM Signaling Inc.

Using Application Files7.10.2. Verification ProcessVerification of the compile is done by running an Application Data Verifier (ADV)program and examining report files. In general, the verification process is performed asfollows:1. Compile the source files. The VPI Compiler program creates prom files; in doing so,it condenses the user-entered application data into a set of numeric values andoutputs these values to the VPI Consolidation Report (VCR) file.2. Run the Application Data Verifier. The ADV program reads the data structures fromthe prom files and reconstructs the user-entered data. It condenses this data intoanother set of numeric values and outputs these values to the ADV ConsolidationReport (ACR) file. It also saves detailed information on the reconstructed user data(e.g. listings of any Vital messages and I/O boards) in the Verification Listing (LSV)file. If the ADV detects any outright errors in the contents of the data structures, itdisplays error messages and saves them in the LSV file.3. Check the LSV file for reported errors. If none are found, this shows that no errorswere detected in the prom files. However, it does not yet prove that the prom dataaccurately reflects what the user entered.4. Compare the VCR and ACR files and determines that they both show the sameresults. If they do, this shows that the application data reconstructed from prom isidentical to that originally entered by the user.The VPI Compiler converts the complex Boolean expressions in the Vital logic into thesum-of-products form required by the VPI system (see below). The ADV verifies thatthis was done correctly by independently reading the logic file and converting it intosum-of-products form, then comparing this data to the logic stored in prom datastructures. The comparison results are shown in the ADV's consolidation report.CAUTIONADV versions prior to 032F / 023U are not able to read VPI Library fileelements in creating the consolidation report.P2512A, Rev. Oct/09 7–28 Alstom Signaling Inc.