.png){kind=icon}
返回
Fuzz Testing with Temporal Constraints
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-11176-0_1.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
在实际操作中，测试通常通过执行精心设计的脚本来进行，这些脚本针对特定的计划场景进行测试。模糊测试可以作为补充方法，用于在预期边界之外对系统进行测试。然而，模糊测试可能过于随机。在本工作中，我们探索了一种使用名为MaTL（匹配时序逻辑）的表达性时序逻辑进行模糊测试的方法，用于表达测试约束，将生成的测试限制在仅满足所提供约束的范围内。MaTL是一种线性时序逻辑，支持未来和过去时间算子以及一个匹配构造，该构造从事件中选择参数值，类似于函数式编程语言中的模式匹配。约束求解使用Z3 SMT求解器进行。
Keyword:
fuzz testing
temporal logic
constraint solving
Z3 SMT solver
test generation
期刊
T
IF:
0
论文数:
28
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容