University of Twente Student Theses
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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page