Testing Demo
Spoofax
Demonstration
In this live demo we introduce a new approach to testing domain-specific languages as they are developed. Using a
language-parametric testing language allows test cases to be written using fragments of the language under test, providing full IDE support for writing test cases and supporting tests for language syntax, semantics, and editor services.
Session information:
Tue 3:40-4:25 pm -
Galleria II
(splashcon.org)
Installation
This demo uses Spoofax 0.6.1 nightly, available from
http://lclnet.nl/update/nightly. Installation requires Eclipse 3.4 or later. Complete installation instructions are available on the
Download page.
To try the example projects below, unzip them to a directory and use the
File > Import > Existing projects into workspace menu to import them into the Eclipse workspace. The projects can be built using
Project > Build project. Since both define the same language, the last project built "wins."
Material
- Paper presentation slides (to be posted)
- Demonstration project with test cases: before.zip?
- Demonstration project with test cases and implementation: after.zip?
Papers
- Lennart C. L. Kats, Eelco Visser. The Spoofax Language Workbench. Rules for Declarative Specification of Languages and IDEs. In Martin Rinard, editor, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), ACM, 2010. (abstract) (pdf) (bib)
(more)