Mutation Analysis for Software Testing of Programs Written in the Rust Programming Language
Mutation Analysis for Software Testing of Programs Written in the Rust Programming Language
批准号:
2894791
负责人:
金额:
$0.0万
依托单位:
依托单位国家:
英国
项目类别:
Studentship
财政年份:
2023
资助国家:
英国
项目状态:
未结题
起止时间:
2023 至 --
中文摘要
变异分析是一种评估软件测试在故障查找能力方面有多好的方法。不幸的是,用Rust编程语言编写的程序的工具和技术供应不足,Rust编程语言是一种相对较新但流行的系统编程语言。Rust要求程序以非常受限的方式编写,以维护并发编程的安全性和内存处理保证。因此,这是一种很难“变异”的语言,也就是说,引入实际编译的错误,并可用于评估软件测试。这项工作将进一步推动Rust突变分析的应用,提供一种有效运行的可用技术。它还将考虑与真实的Rust程序和开发人员一起研究工作的实用价值。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
登录
查看更多内容
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
-
批准号:--
-
项目类别:合作创新研究团队
-
资助金额:--
-
批准年份:2024
-
负责人:姚韬
-
依托单位:
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
-
批准号:--
-
项目类别:外国学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:USHARANI HAREESH GOVINDARA JAN
-
依托单位:
基于Meta-analysis的新疆棉花灌水增产模型研究
-
批准号:41601604
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2016
-
负责人:赵爱琴
-
依托单位:
大规模微阵列数据组的meta-analysis方法研究
-
批准号:31100958
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2011
-
负责人:赵洪雅
-
依托单位:
用“后合成核磁共振分析”(retrobiosynthetic NMR analysis)技术阐明青蒿素生物合成途径
-
批准号:30470153
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2004
-
负责人:刘本叶
-
依托单位: