2.1　静态测试用例自动生成方法

静态测试用例生成方法最早提出于20世纪70年代,这种方法首先对被测程序进行解析,然后用符号变量代替实际变量执行一条程序路径,并提取出执行这条路径要满足的约束条件,最后通过约束求解器对这些条件进行求解来得出满足这些路径约束的测试用例[2]。(https://www.daowen.com)