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要求以一种非常受限的方式编写程序，以维护并发编程的安全性和内存处理保证。因此，它是一种很难“变异”的语言，也就是说，引入实际编译并可用于评估软件测试的错误。这项工作将进一步促进锈菌突变分析的应用，为高效、有效地运行提供一种实用的技术。它还将考虑与REAL Rust程序和开发人员进行研究的工作的实用价值。