动态测试数据生成方法

作者提出了一种动态的测试数据生成方法，其中省略了路径选择阶段。在这种方法中，测试数据基于被测试程序的实际执行、动态数据流分析和函数最小化方法生成。该方法首先针对任意程序输入执行程序。在每个执行分支的程序执行过程中，搜索过程决定是继续当前分支的执行，还是选择另一个分支。如果在当前分支观察到不理想的执行流，则与该分支关联一个实值函数，并使用函数最小化搜索算法自动找到输入变量的值，以改变该分支的执行流。此外，使用动态数据流分析来确定导致不理想程序行为的输入变量，从而加快搜索过程。