SuperTest compiler test and validation suite

This tool in other languages: de-DE

Description

SuperTest is a compiler test and validation suite for C and C++ compilers and its libraries. It offers hand-crafted and generated test files including millions of conformance tests. In addition, SuperTest includes many tests aimed at compiler internals such as analyses, transformations and optimizations and it comes with powerful and flexible test generators.

The framework includes both conformance and diagnostic tests, and has facilities to support selective testing of subsets of the suites. SuperTest runs on a POSIX or Windows based user interface which seamlessly integrates into any compiler development environment, allows for easy addition of new tests and provides cross platform validation support. SuperTest starts where other suites end. 

SuperTest: the industry standard for C and C++ compiler testing! 

Read more

Categories

Test Automation, Testspecification / Generators, Code- and Coverage-Analysis, General

Rating

1 2 3 4 5
SuperTest compiler test and validation suite
Solid Sands B.V https://www.testtoolreview.de/images/hersteller/hersteller_id_314_image.png

Solid Sands is the leading provider of compiler and library testing and qualification technology in North-America, Europe and Asia.

Our mission is to put quality into C. We do that by improving the quality of C and C++ compilers, libraries and analysis tools, and by enabling their safe and secure use. With the quality level of our test suites, we stay at the forefront of software testing and qualification to help you achieve ISO compliance and functional safety standard requirements.

Founded in 2014, Solid Sands is headquartered in Amsterdam, The Netherlands. With partners all over the world we serve both leading innovative companies in the semiconductor, IP and security industries as well as safety-critical companies in automotive, robotics, railway and medical.

Our SuperTest Compiler Test and Validation Suite provides a complete validation environment which enables customers to achieve the software quality level demanded by the ISO language and functional safety standards.

Meanwhile, our SuperGuard C Library Safety Qualification Suite is a requirements-based test suite for the C standard library with full traceability between the requirements derived from the ISO C language definition and the individual library tests. 

 info@solidsands.nl + 31 20 244 0199
PO Box 9897 1008 AB Amsterdam The Netherlands
0.00 von 5 based on 0 ratings

You have to be logged in to execute this action.

Cancel

Profile

languages English
platform any
licence model Site source license
price model Perpetual or subscription

Manufacturer

Solid Sands B.V

PO Box 9897

1008 AB Amsterdam

The Netherlands

+ 31 20 244 0199

http://www.solidsands.com

Criteria:

Code- and Coverage-Analysis
Test Automation
Testspecification / Generators
<
>

client OS

installation

license model

localisation

provider service

test level

Conformance

Downloads:

Title File URL
Helping Graphcore accelerate the future of AI graphcore_casecard.pdf https://solidsands.com/wp-content/uploads/2019/02/Graphcore_Casecard.pdf
Elevating AdaCore’s C compiler to Ada/SPARK safety adacore_casecard.pdf https://solidsands.com/wp-content/uploads/2019/12/AdaCore_CaseCard.pdf
Helping Ambarella deliver AI-powered vision systems for next-generation vehicle autonomy ambarella_casecard.pdf https://solidsands.com/wp-content/uploads/2020/01/Ambarella_CaseCard.pdf
Reducing the risk in safety-critical automotive applications denso_casecard.pdf https://solidsands.com/wp-content/uploads/2017/10/denso-casecard.pdf
http://www.solidsands.nl
Verification of Optimization Correctness with SuperTest verificationofoptimizationcorrectness.pdf https://solidsands.com/wp-content/uploads/2019/05/VerificationofOptimizationCorrectnessV2.pdf
Helping Peloton enhance ‘big-rig’ safety and fuel efficiency https://solidsands.com/wp-content/uploads/2018/09/Peloton_CaseCard.pdf
C Compiler Validation for Embedded Targets compiler_validation.pdf
Library Qualification library_qualification.pdf
Safety-automotive safety_automotive_casecard.pdf
User Experience Synopsys (LLVM) synopsys_casecard.pdf
User Experience Somnium (GCC) somnium_casecard.pdf

Comments

To write a comment, you need to be logged in.

There are no comments