SANKHYA C Test Suite
SANKHYA C Test Suite is a collection of test programs that can be used to test language and library conformance, correctness and performance of C compilers. The test suite supports generation of new test programs based on templates using the Teraptor Model Space Explorer and Teraptor Verifier tools. A template specifies a class of programs that test for a particular feature or optimization. SANKHYA C Test suite includes scripts to explore a program template and generate thousands of test programs for testing a specific language feature or optimization.
Key Benefits | Subscription Options | Case Study | Outsource | Support | Downloads | Training | About Us |
Key Benefits of SCTS
- 1. Concise and easy to understand test cases that test for various aspects of C language like expressions, statements, data structures and function calling conventions
- 2. Each test case tests for a specific feature which makes it easier to analyze and fix issues in the compiler when a test case fails.
- 3. Can be quickly configured and run to test new tool chains thereby saving time for developers and maintainers.
- 4. Comprehensive log of compiler tool chain commands invoked which helps in reproducing a test run quickly.
- 5. Detailed and easy to read report that includes status of each test case and summary statistics (total tests, passed, failed, skipped, pass percentage,etc.)
- 6. Performance analysis tools to generate compiler performance data and identify opportunities for improvement (available in selected subscription options)
- 7. Test for new features or extensions by generating test cases based on templates (available in selected subscription options
Subscription Options
SCTS Versions | Single Compiler Standrad Edition | Single Compiler Advanced | Multiple Compilers Standrad Edition | Multiple Compilers Advanced | Single Compiler Enterprise Edition | Multiple Compiler Enterprise Edition |
---|---|---|---|---|---|---|
Verification | Yes | Yes | Yes | Yes | - | - |
Performance Improvements | - | Yes | - | Yes | - | Yes |
Number of Compilers | 1 | 1 | 3 | 3 | Contact Sales | Contact Sales |
No. of Static Testcases | 10,000 | 1,00,000 | 10,000 | 1,00,000 | - | - |
Testsuite Generation | - | - | - | - | Yes | Yes |
Subscription Period | 1 year | 2 years | 2 years | 5 years | 3 years | 5 years |
Pricing | $100 a quarter | Request For Pricing | $1000 a quarter | Request For Pricing | Request For Pricing | Request For Pricing |
Subscribe | Buy | Contact Sales | Buy | Contact Sales | Contact Sales | Contact Sales |
Support | Standard | Standard | Standard | Standard | Standard | Standard |
Case Study
Demonstrate the proficiency of SCTS to automate generation of test cases enormously and validate the performance of a C Compiler by identifying opportunities for improvement
Outsource
STIO extends outsourcing services to diverse clients for the design and development of a Compiler tool chain including maintenance, support for compiler optimization performance analysis, testing and debugging. With years of end-to-end compiler development experience, OS porting, driver development and maintenance - STIO offers flexible options for clients who wish to outsource the work to India. To enable us send a proposal, kindly submit the form below with your specific request.
Support
Please use the form below to submit your inquiry
Downloads
About Us
STIO offers comprehensive C and C++ Compiler Verification Solutions using SCTS as well as third party verification suites. STIO team has experience with verifying compilers using GCC C Test Suite, Perennial and NULLSTONE. SCTS is template driven and can easily be adapted to work for other programming languages as well. STIO offers custom verification solutions for compiler developers and large scale users looking for superior verification solutions for languages such as Swift and Manifolda.