At Solid Sands, we use a template-based test generator (tempest) to create tests that verify the correctness of a C or C++ compiler. The test generator is based on context free generator patterns but they do not easily handle the type constraints of a programming language. This also makes it hard to create test programs for which the 'reference answer' is not known beforehand. The goal of this project is to extend the tempest test generator and to develop programming tricks that make more general test program generation possible.
- A pleasant working environment in Amsterdam
- Guidance when you need it
- An internship compensation
About Solid Sands:
Solid Sands, based in Amsterdam, is the leading provider of compiler 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. SuperTest helps Solid Sands’ customers to achieve the compiler quality level required by the ISO language and functional safety standards, such as the ISO 26262 standard for automotive software.