University of Twente Student Theses

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

[img] 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