论文标题

部分可观测时空混沌系统的无模型预测

Mutation Analysis: Answering the Fuzzing Challenge

论文作者

Gopinath, Rahul, Görz, Philipp, Groce, Alex

论文摘要

模糊是软件测试中增长最快的领域之一。模糊背后的想法是检查软件的行为,以随机生成的大量输入,试图覆盖输入空间的所有有趣部分,同时观察经过测试的软件以确保异常行为。 Fuzzer用户面临的最大挑战之一是如何验证软件行为以及如何提高所使用的甲壳质量。虽然突变分析是评估软件测试甲壳质量的首要技术,但突变评分很少用作评估模糊质量的度量。除非突变分析研究人员可以解决多个问题,从而将突变分析应用于构图挑战,否则突变分析可能会在测试和安全研究的最重要领域之一中永久性地置于。本文试图了解将突变分析用于评估模糊剂的主要挑战,以便研究人员可以专注于解决这些挑战。

Fuzzing is one of the fastest growing fields in software testing. The idea behind fuzzing is to check the behavior of software against a large number of randomly generated inputs, trying to cover all interesting parts of the input space, while observing the tested software for anomalous behaviour. One of the biggest challenges facing fuzzer users is how to validate software behavior, and how to improve the quality of oracles used. While mutation analysis is the premier technique for evaluating the quality of software test oracles, mutation score is rarely used as a metric for evaluating fuzzer quality. Unless mutation analysis researchers can solve multiple problems that make applying mutation analysis to fuzzing challenging, mutation analysis may be permanently sidelined in one of the most important areas of testing and security research. This paper attempts to understand the main challenges in applying mutation analysis for evaluating fuzzers, so that researchers can focus on solving these challenges.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源