SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 16:30 - 16:50 at Studio 1 - Validation & Verification Chair(s): Marsha Chechik

Compiler construction is one of the oldest areas of software engineering, but despite its maturity it does have some underdeveloped sides. One of such sides is compiler testing: there have been many disparate methods developed for testing parsers, optimisers and other components, but no unified methodology that can be consumed by practitioners from a book and applied directly to their needs.

Instead of striving for covering all theoretical aspects of compiler testing in one paper, we present a case study. For an ongoing project of a relative large size for our company (two years, 3–6 devs, 510kLOC as of now), which is a clean room compiler development effort in replicating a 4GL from scratch, we had to build not only a testing framework, but a model-based test data generator. This tool consumes manually written specifications and generates all the necessary test code in the software language being developed, in the host language, and in auxiliary DSLs (batch files, XML project descriptions), to be able to satisfy both the developers and the customer. The number of specifications is 818 at the time of submission, while the number of test cases generated from them, is 5233. All these tests have been run prior to shipping for the last 32 releases of the compiler, both to ensure the lack of regression and to report on the project overall progress. The generated tests are separated into 11 categories which the paper details in the hope that the classification will aid in seeking related work and in pushing this line of research forward.

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

papers
15:30 - 17:30: SLE 2018 - Validation & Verification at Studio 1
Chair(s): Marsha ChechikUniversity of Toronto
papers15:30 - 16:00
Talk
Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print Media Attached
papers16:00 - 16:30
Talk
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
papers16:30 - 16:50
Talk
Vadim ZaytsevRaincode Labs
papers16:50 - 17:10
Talk
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg
DOI