University of Twente Student Theses
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.
Input Invariants in Fuzz-testing
Vasylenko, Marko (2024) Input Invariants in Fuzz-testing.
PDF
446kB |
Abstract: | Fuzz-testing is a technique in which test inputs are generated programmatically to enhance software testing efficiency. This study investigates the suitability of ISLa, a declarative specification language to improve fuzz-testing. ISLa augments context-free grammars (CFG) with additional constraints to express context-sensitive input invariants. In the present study, a testing setup is developed, in which ISLa is used to specify invariants of valid test inputs, as well as test-case-specific preconditions. The expressiveness of ISLa as a specification language is evaluated, as well as the ISLa's effectiveness in generating test inputs which reveal implementation bugs. Ultimately, it is concluded that while ISLa helps tackle some challenges in generating test input, it has some fundamental and practical limitations that prevent it from being widely applicable as an input generation tool. |
Item Type: | Essay (Bachelor) |
Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
Subject: | 54 computer science |
Programme: | Computer Science BSc (56964) |
Link to this item: | https://purl.utwente.nl/essays/101049 |
Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Repository Staff Only: item control page