c．Gotlieb采用方法 埘约束求解的方法生成测试数据，利用“静态单一指派”（Static Single Assignment）和控制依 赖，将被测程序转化成一个约束系统，然后寻找经过给定语句的路径，生成相应的测试数据。
基于20个网页-相关网页
静态单一指派
Static single assignment
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动