Om te solliciteren op deze stage, moet je met je HvA-emailadres een account aanmaken.

account aanmaken

Bedrijfsinformatie

Solid Sands
Joop Geesinkweg 501
1114AB
Amsterdam

Extending a rule-based generator for C compiler testing


At Solid Sands, we use a template-based test generator 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. The goal of this project is to extend the tempest test generator to make more general test program generation possible.

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.

We offer:

  • 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.

Geschikt voor studenten
  • Software Engineering
  • Technische Informatica