.png){kind=icon}
.png){kind=icon}
Return
Fuzz Testing with Temporal Constraints
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-11176-0_1.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Testing is in practice commonly performed by executing carefully planned scripts, which exercise particular planned scenarios. Fuzz testing can be applied as a complementary approach, to exercise a system outside the boundaries of the expected. However, fuzz testing can be too random. In this work, we explore an approach to fuzz testing using an expressive temporal logic named MaTL (Matching Temporal Logic) for expressing constraints on tests, restricting generated tests to only such that satisfy the provided constraints. MaTL is a linear temporal logic that supports future and past time operators and a match construct that selects argument values from events, similar to pattern matching in functional programming languages. Constraint solving is performed using the Z3 SMT solver.
Keywords:
fuzz testing
temporal logic
constraint solving
Z3 SMT solver
test generation
Journal
T
IF:
0
Papers:
28
Citations:
0