2.2　动态测试用例自动生成方法

动态测试用例生成基于程序的实际执行。早在1976年,Webb Miller和David L.Spooner[65]就提出了这种方法,当时其只针对浮点型的测试用例生成问题。这种方法反复执行被测程序,在执行过程中进行信息的收集,根据这些信息判断对于特定的测试需求,当前输入能够在多大程度上令其得到满足,并依据判断结果指导后面的过程。由于各输入变量的值在程序运行时已经确定,动态法相比于静态法具有一定优势。但是当问题有解时,由于随机性和试探搜索导致的不确定性,动态法不保证一定能找到解。(https://www.daowen.com)