Software testing is an integral part of modern software development. Testing frameworks are part of the toolset of any software language allowing programmers to test their programs in order to detect bugs. Unfortunately, there is no work on testing in attribute grammars.
In this paper we combine the powerful property-based testing technique with the attribute grammar formalism. In such property-based attribute grammars, properties are defined on attribute instances. Properties are tested on large sets of randomly generated (abstract syntax) trees by evaluating their attributes.
We present an implementation that relies on strategies to express property-based attribute grammars. Strategies are tree-based recursion patterns that are used to encode logic quantifiers defining the properties.
Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | SLE Session 1: Parsing and Attribute GrammarsSLE 2025 at M 001 Chair(s): Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
11:00 22mTalk | Handling Grammar Cycles in the 1997 Standard ML Definition SLE 2025 Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London, UK Pre-print | ||
11:22 22mTalk | Property-based Testing of Attribute Grammars SLE 2025 José Nuno Macedo University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho | ||
11:45 22mTalk | Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars SLE 2025 Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities Pre-print | ||
12:07 22mTalk | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars SLE 2025 Michele Chiari TU Wien, Michele Giornetta Politecnico di Milano, Dino Mandrioli Politecnico di Milano, Matteo Pradella Politecnico di Milano, Italy Pre-print | ||