SHF: Small: Collaborative Research: Diversity and Feedback in Random Testing for Systems Software

SHF：小型：协作研究：系统软件随机测试的多样性和反馈

• 批准号: 1218026
• 负责人: John Regehr
• 金额: $ 24.9万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-09-01 至 2015-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1218026&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Diversity; SHF; Small; Collaborative; Research; Diversity

Testing is an extremely important part of any software development effort, especially for programs that have access to sensitive resources (personal information, sensor data, etc.) and that can be reached through the Internet. The PIs' work will improve the state of the art in software testing for mobile applications running on the open source Android platform, resulting in fewer bugs and reduced testing effort.The foundation of the PIs' work is random testing, where random numbers are used as inputs to an algorithm for constructing test cases. Although random testing has been shown to be highly effective for discovering serious bugs in complex software systems, it suffers from various problems including the fact that it is very difficult to engineer a random tester that doesn't spend a lot of time re-exploring the same application behaviors over and over again. The PIs will build upon their "swarm testing" work, which has been shown to be an inexpensive way to increase the diversity of random test cases, and also to increase their effectiveness in discovering bugs. Additionally, the PIs are investigating how to marry random testing with modern symbolic execution methods, and how to use feedback from executions of the software under test in order to improve the efficacy of random testing.The development of more efficient and effective testing techniques and tools will lower the cost and raise the quality of software. Test coverage is a challenging, open problem that is being addressed here in a novel way.

测试是任何软件开发工作中极为重要的一部分，尤其是对于可以访问敏感资源（个人信息，传感器数据等）并且可以通过Internet访问的程序。 PIS的工作将改善在开源Android平台上运行的移动应用程序的软件测试中的最新技术，从而减少了错误和减少测试工作。PIS的工作的基础是随机测试，其中随机数被用作算法的输入，用于构建测试案例。尽管已证明随机测试对于在复杂的软件系统中发现严重的错误非常有效，但它遇到了各种问题，包括一个事实，即很难设计一个随机测试仪，该测试仪不会花费大量时间一遍又一遍地重新探索相同的应用程序行为。 PI将建立在其“群测试”工作的基础上，这被证明是增加随机测试案例多样性的一种廉价方法，并提高其在发现虫子方面的有效性。此外，PI正在研究如何将随机测试与现代符号执行方法结合在一起，以及如何使用正在测试的软件执行中的反馈，以提高随机测试的效果。开发更有效的测试技术和工具将降低成本，并提高软件的质量。 测试覆盖范围是一个具有挑战性的开放问题，它以一种新颖的方式解决了。