一种基于符号执行的测试用例生成方法_第1页
一种基于符号执行的测试用例生成方法_第2页
一种基于符号执行的测试用例生成方法_第3页
一种基于符号执行的测试用例生成方法_第4页
全文预览已结束

付费下载

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

一种基于符号执行的测试用例生成方法系统已经变得越来越复杂，在软件开发过程中对系统进行测试变得越来越重要。测试是基于需求、设计、开发和部署的软过程中的一项重要活动。在测试中，我们需要找到尽可能多的错陷，以确保软件系统的质量和可靠性。与此同时，测试过程也需TestCase成部分，它能够帮助测更好的检测软件系统的缺陷。符号执行是一种近年来比较流行的例生成方法，在软件测试中扮演了重要的角色。符号执行是一种完整路径覆盖的方法，它能够产生高覆盖率的测试用例，检测到缺陷，减少测试人员数量和测试时间。因此，符号执行成为软件种基于符号执行的测试用例生成方法，该方法可以有效盖测试对象，并且可以检测隐藏的缺陷。本文将主要介绍符号执行。是一种程序静态分析技术，其本质是将程序中的变量视为变量而非实际变量来处理。符号执行将程序视为输入和路径受限制数。在程序中，符号值代替实际值，程序执行能够表现出不同的路符号执行通过对程序中所有路径的符号变量建立符号化条件，并解些条件来确认程序中所有可能的执行路径。因此，符号执行可以为执行路径生成一个具有一定输入条件的测试用例，并且这些测试用的核心任务是将程序中的变量替换为符号变量。符号变量件。对符号变量的修改可以生成多个可行的解，因此符号执行是径覆盖技术，它基于给定的符号输入自动执行程序，并跟踪中的所有分支和路径，以生成每个路径上的符号约束条件的解。当执行找到路径上的每个符号变量解时，即可生成一条有效的测试用需要寻找测试基准程序的每个可能执行路径上的所有约束些约束条件包括逻辑条件，数据约束条件和内存约束条件。符过程的主要任务是基于给定符号输入执行程序，并跟踪程的每个分支路径。在符号执行过程中，程序中的每一行都将评估序的运行，符号执行系统将遇到各种情况，例如函数调用，指针访问等。针对这些情况，符号执行系统需要进行特殊处理，以获器收集每个路径上的约束条件并将其组合成路径约束。路束是程序路径的约束条件集合，表示程序需要满足在这条路径上运所有约束条件。符号执行生成的路径约束集合是导致程序的每个执器将路径约束集合转换成可以运行在测试目标中的执行路每个约束条件都对应着一个符号变量的值，测试用例生成时需要将约束条件转换为实际的测试输入并且运行程序，最终生成有效的测例生成方法执行的测试用例生成方法需要通过执行符号化的程序来获LEE径确认指令，并将目标二进制文件中的实际变量替换为符号及其他有关的测试用例数据。在测试该程序之前，我们需要确保所成的测试用例都是有效的。在生成测试用例时，我们可以使用基于代码覆盖率和路径覆盖率的测试用例选择来解决误报或漏报缺陷的问题。减少测试用例的数量，我们可以使用一些策略和方法来减小测试用结果试用例生成工具。在实验中，我们使用了两种度量方式：代码覆盖率和路径覆盖率，以验证我们的测试用例的有效性。实验结果表明，执行的测试用例生成方法可以生成高覆盖率的测试用例，并且一种基于符号执行的测试用例生成方法，该方法可以自成高覆盖率的测试用例，检测到隐藏的缺陷，并减少测试人员间。在实验中，我们发现

人人文库> 全部分类> 图纸下载 > 毕业设计

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论