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 based in Amsterdam, the Netherlands. 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 their safe and secure use, with the best possible test and validation suite, SuperTest.
 
With SuperTest, Solid Sands serves its customers to achieve the software quality level required by the ISO language and functional safety standard such as; ISO 26262 and EN:50128.
 
With our history in compiler development, our knowledge of past, current and upcoming versions of the C and C++ standards, new analysis and optimizations techniques and new use cases, Solid Sands stays at the fore-front of tools testing and validation.
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:

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