Mutation Analysis for Software Testing of Programs Written in the Rust Programming Language

Rust 编程语言编写的程序软件测试的变异分析

• 批准号: 2894791
• 金额: --
• 依托单位: University of Sheffield
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2894791
• 关键词: Mutation; Analysis; Software; Testing; Programs

Mutation analysis is a way of assessing how good software tests are in terms of their fault-finding capability. Unfortunately, tools and techniques are in short supply for programs written in the Rust programming language, a relatively new but popular systems programming language. Rust requires programs to be written in a very constrained way to uphold security and memory handling guarantees for concurrent programming. It is therefore a difficult language to "mutate" that is, to introduce faults that actually compile and can be used to assess software tests. This work will further the application of mutation analysis for Rust, providing a usable technique that will run efficiently and effectively. It will also consider the practical value of the work with studies with real Rust programs and developers.

突变分析是一种评估软件测试的故障查找能力的方法。不幸的是，对于用 Rust 编程语言（一种相对较新但流行的系统编程语言）编写的程序来说，工具和技术供不应求。 Rust 要求以非常受限的方式编写程序，以维护并发编程的安全性和内存处理保证。因此，它是一种很难“变异”的语言，即引入实际编译并可用于评估软件测试的错误。这项工作将进一步推进 Rust 突变分析的应用，提供一种可以高效运行的可用技术。它还将考虑与真正的 Rust 程序和开发人员进行研究的实际价值。