Solid Sands announced SuperTest Mondrian Release with MISRA-C Compilers can now be tested for conformance to MISRA-C:2004
Solid Sands, the supplier has shipped the SuperTest Mondrian Release to its users. This SuperTest Mondrian Release is now commercially available. In addition to the new MISRA-C:2004 conformance suite, a novel feature in the world of compiler testing and validation, this Mondrian Release also offers an enhanced Depth Suite and many other improvements.
The well known and very powerful arithmetic test suite (the Depth Suite) that Solid Sands offers as part of SuperTest has been improved. The Depth Suites are generated for specific data models and have detailed knowledge about the boundaries of target arithmetic. SuperTest includes variants of the Depth Suite for more than 30 data models. SuperTest already contained fixed-point extensions in the Depth Suite for target compilers supporting Embedded C (ISO TR18037) which requires the use of type specifiers. Yet many alternative fixed-point extensions exist. The new developments give more freedom in the implementation of fixed-point types. By introducing type macro's that can be overruled easily with external definitions, the use of type specifiers is avoided. This makes the fixed-point Depth.