The JetBrains Blog
·
将模糊测试引入Kotlin：kotlinx.fuzz
💡
原文英文，约1800词，阅读约需7分钟。
📝
内容提要
模糊测试（fuzzing）通过自动生成随机或无效输入来发现软件中的错误和漏洞。JetBrains Research的kotlinx.fuzz项目为Kotlin库提供高效的模糊测试框架，尽管在其他语言中已广泛应用，但在Kotlin中仍不普及。该项目展示了kotlinx.fuzz的使用示例，并计划进一步改善用户体验和功能。
🎯
关键要点
- 模糊测试通过自动生成随机或无效输入来发现软件中的错误和漏洞。
- JetBrains Research开发了kotlinx.fuzz项目，为Kotlin库提供高效的模糊测试框架。
- 模糊测试在其他编程语言中广泛应用，但在Kotlin中仍未普及。
- kotlinx.fuzz的目标是填补Kotlin开发中的模糊测试空白。
- 模糊测试能够有效检测未被发现的错误和漏洞。
- Google的OSS-Fuzz在开源项目中发现了超过40,000个错误。
- kotlinx.fuzz的使用示例展示了模糊测试的工作原理。
- 选择要模糊测试的目标函数是模糊测试的第一步。
- 设计模糊测试时需要决定测试场景和生成数据的方法。
- 创建一个oracle可以自动检查执行结果的正确性。
- 配置模糊测试的目标、运行时间和结果存储方式。
- 分析模糊测试结果时，关注覆盖率和发现的错误。
- kotlinx.fuzz项目旨在探索模糊测试在Kotlin程序中的适用性。
- kotlinx.fuzz提供了直观的API、Gradle插件和自定义JUnit引擎。
- 通过kotlinx.fuzz发现了多个Kotlinx库中的有趣错误。
- 未来将继续改进kotlinx.fuzz，增强用户体验和功能。
- 希望Kotlin开发者尝试kotlinx.fuzz并提供反馈，促进其发展。
❓
延伸问答
什么是模糊测试，它的主要目的是什么？
模糊测试是一种通过自动生成随机或无效输入来发现软件中的错误和漏洞的技术，主要目的是揭示未被发现的错误和潜在的安全漏洞。
kotlinx.fuzz项目的主要目标是什么？
kotlinx.fuzz项目的主要目标是为Kotlin库提供一个高效的模糊测试框架，填补Kotlin开发中的模糊测试空白。
如何选择要进行模糊测试的目标函数？
选择要模糊测试的目标函数时，应优先考虑主要入口点和使用频率较高的函数，而不是对所有函数进行模糊测试，以提高效率。
kotlinx.fuzz如何帮助发现Kotlin库中的错误？
kotlinx.fuzz通过对Kotlinx库进行模糊测试，能够发现多个有趣的错误，例如在序列化和集合操作中的不一致性和无限递归问题。
kotlinx.fuzz的未来发展计划是什么？
未来，kotlinx.fuzz计划引入新的功能，如根据模糊测试发现的崩溃生成常规测试、改进崩溃去重机制，以及开发自动模糊测试生成工具。
模糊测试的结果分析应该关注哪些方面？
模糊测试结果分析时，应关注覆盖率和发现的错误，确保测试覆盖了所有目标部分，并分析模糊测试中发现的崩溃情况。
➡️
