![]() This is done in two stages, first using the ARM Compiler to build a semi-hosted version of itself targeting ARM, then using the semi-hosted version to build the second version, and comparing the final images and objects. Convergence Tests - This suite tests that the ARM Compiler can build itself.Math Library Tests - The Floating-Point and Math libraries experience directed tests of special cases (NaNs, infinites, underflow, etc.) as well as tests associated with known difficult values.Nullspace Tests - Measures consistency of expected compiler behavior and optimizations across semantically equivalent, but syntactically different source code.The result is then examined to ensure consistency. They work by running the compiler over each header and having it dump out its internal state. C-Header Tests - Verifies the internal consistency of the standard C header files.Language Extensions - ARM maintains an in-house test suite for testing product language extensions which are not covered in the ANSI/ISO standard.Regression Suite - When defects are fixed, tests are added to our regression tests suite to ensure the defect is not re-enabled by future compiler changes.ARM analyzes this report to verify if any code differences are unexpected. This test suite generates an internal report showing differences against the previous version. Diff Tests - For detecting differences in the code quality, ARM compares the code generated from new compiler versions with that of previously tested versions.Test for legal expressions by generating self-checking expressions of arbitrary complexity.Determine the size of certain compile time limits, e.g., significant length of identifiers or how deeply include files may be nested.Generate self-checking C programs that test permutations of operators and data types. ![]() ![]() Test basic conformance to the ISO c90 and c99 C language standards.The Perennial Validation Suite uses both positive and negative test techniques to accomplish the following: The Perennial Validation Suite for C is the industry standard for the verification of C compilers. The Perennial Validation Suite for ISO/IEC Conformance
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |