Solid Sands: SuperTest to improve quality of C language in Silexica’s SLX tool suite

Solid Sands announced that Silexica chose SuperTest to secure the quality of the C language in their tools. The task of compiling C code continues to be plagued with challenges and, for Silexica, this problem increases significantly as their tools instrument, analyze and transform source code with a goal to uncover parallelism. This process must be performed with the utmost care to ensure that the semantics of the C code is not changed. SuperTest provides an anchor to the semantics of the C and C++ languages.

Carefully constructed to verify the requirements of the language standard, SuperTest also contains many tests that not only deal with language semantics per se, but also with the analysis, transformation and code generation steps.

More Information...

Latest News from Solid Sands

Solid Sands: SIG evaluates SuperTest quality as defined in ISO/IEC 25010 standard
Solid Sands: SuperTest to improve quality of C language in Silexica’s SLX tool suite
Solid Sands: industry leaders form Embedded Tools Alliance
Solid Sands and Verum receive funding for joint MIT R&D project ISAFE
Solid Sands updates SuperTest with C11 and extended C math library tests
Solid Sands expands into Japanese market
Solid Sands: partnership with Vector Software for compiler validation
Solid Sands announced SuperTest Mondrian Release with MISRA-C Compilers can now be tested for conformance to MISRA-C:2004