论文研究-基于约束的数据流自动测试方法研究 .pdf

【文件属性】：

文件名称：论文研究-基于约束的数据流自动测试方法研究 .pdf

文件大小：472KB

文件格式：PDF

更新时间：2022-09-04 10:18:52

自动测试

基于约束的数据流自动测试方法研究，张斌，杜振军，软件测试中，测试数据的生成是最具有挑战性的工作之一。目前，已有很多技术和软件，如基于随机算法的、遗传算法的、谓词约束的，