Validation and Verification
Development tools from Keil are quality assurance tested
using a number of commercial and in-house test suites.
Plum/Hall validation test suite for ISO/IEC Conformance
This is the de-facto industry standard for C compiler verification.
In-house validation test suite for Language Extensions
This test suite verifies operation of language extensions that are
not tested by the Plum/Hall test suite.
In-house validation test suite for Code Quality
This test suite compares the code generated by a new compiler
version with previous releases. Differences are highlighted and
manually verified to ensure accuracy and code density.
In-house validation test suite for Real-Time Kernels
These test suites include a complex real-time application that
tests all aspects of the kernel. All library routines are tested
with a variety of parameter values.
All test suites generate automatic error reports.
Our integrated product validation process utilizes and tests all
the development tools and helps verify proper operation. Using the
test suites listed above, the validation and verification process is
The compiler generates assembler output for all test
The assembler creates object files from the compiler-generated
The linker links this code with the standard libraries and
produces an executable binary.
The error-free program is executed by the µVision
Simulator. Output from the simulation is compared with prior
validation sequences to ensure correct operation of the tools.
Products are released only after successfully completing each step
of the validation and verification process.