Rust语言是一种兼顾了安全和效率的新型编程语言。近70%的计算机漏洞来源自Memory Management,而Rust语言几乎杜绝了此类问题,这样的特性令Rust语言极适合被主要用于一系列系统软件的开发。随着Rust语言走向成熟,它逐渐得到了工业界的广泛关注。微软公司已经将其应用到关键组件的开发中,Amazon,Google,蚂蚁金服等数百家国内外知名公司也开始利用Rust语言满足用户的安全需求;此外,科研界也对Rust语言产生了浓厚的兴趣:自2017年至今,Rust语言已禅联Stack Overflow论坛“最受欢迎编程语言”的榜首达五届之久。Rust程序的井喷也带来了新的需求:绝大多数Rust语言的使用者将程序的安全性视为编程的第一准则,他们希望Rust语言未来能取得更大的进步,Rust程序的安全性可以再迈上一个阶梯——然而当前的开发形势下,Rust语言不可能在短期内实现显著的飞跃。若开发者对Rust程序的安全性有更高的要求,最合理的解决方案是用自动化测试工具对Rust程序进行检测。然而,作为一种诞生时间尚短且安全性极佳的语言,Rust语言测试工具的领域几乎是空白的。当前,国内的Rust研究领域并未提出相应的测试工具;国外的Rust测试工具在数量和技术方面都很贫乏:这些工具基本建立于成熟测试工具的技术迁移之上。其中,Seer工具和Seahorn工具的作者就是将它们的成熟测试工具作了修改以支持Rust语言,后续的改进也被搁置。在软件测试领域中,动态符号执行技术和模糊测试技术的结合在C++与Python程序中取得了很好的表现。模糊测试生成大量测试用例触发目标程序中的错误。而动态符号执行技术通过探索程序路径来发现错误,它利用插桩技术获取路径的约束信息,生成和各条程序路径相对应的测试用例。这两种技术在著名的Driller工具中得以结合,并体现出了强大的潜力。然而,目前Rust领域缺少类似的测试工具,本文将针对这个问题展开工作。本文作出的贡献如下:（1）介绍了模糊测试和动态符号执行技术的结合于主流程序语言测试领域的应用现状,提出了改进此类技术以测试Rust语言程序的设计思路。（2）依据前文提出的方法构建了一个Rust测试工具,Veri Rust。Veri Rust,通过AFL模糊测试工具大量生成输入,快速寻找程序中的隔间部分。同时利用LLVM技术将Rust程序翻译为中间语句IR,在模糊测试工具失效时,应用针对Rust语言进行再集成的KLEE动态符号执行工具,在中间语句上寻找可以通过复杂检查的输入。（3）VeriRust在Rust使用频率最高的两个第三方库组成的数据集,serde＿json和url上分别进行了实验。实验结果表明,在Rust常用的第三方库之上,本文提出的工具优于一系列单纯应用模糊测试技术和动态符号执行技术的工具。由此体现了相当程度的可行性和有效性。并进一步证明,结合了硬件行业中的形式化验证和软件测试中的模糊测试技术的一类方法,可通过LLVM中间语言被迁移到Rust语言测试领域。应用此类方法开发的工具在Rust实战中展现高覆盖率和准确率,后续的开发改进具有相当的潜力。综上所述,本文的工作对Rust语言领域实现了具有可贵意义的初级探索。