周岩
- 作品数：11 被引量：19H指数：2
- 供职机构：南京大学更多>>
- 发文基金：江苏省产学研联合创新资金项目国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向修订的条件判定覆盖的测试数据自动生成方法
- 本发明公开了一种面向修订的条件判定覆盖的测试数据自动生成方法。本发明通过对每个分支节点按修订的条件判定覆盖准则寻找可覆盖该分支节点的测试数据产生待测源代码的测试数据集。其中，对个分支节点按修订的条件判定覆盖准则寻找可覆盖...
- 陈鑫欧建生成新周岩鞠秀芳
- 文献传递
- 一种面向条件判定覆盖的测试数据自动生成方法
- 本发明公开了一种面向条件判定覆盖的测试数据自动生成方法。本发明通过对每个分支节点按条件判定覆盖准则寻找可覆盖该分支节点的测试数据产生待测源代码的测试数据集。其中，对个分支节点按条件判定覆盖准则寻找可覆盖该分支节点的测试数...
- 陈鑫欧建生成新周岩鞠秀芳
- 文献传递
- 一种运用线性拟合实现路径覆盖的测试数据自动生成方法
- 本发明公开了一种运用线性拟合实现路径覆盖的测试数据自动生成方法。本发明通过将主要的线性拟合运算的步骤装入至各个线程中，从而使得本发明的方法能够在多处理器的系统中并行运行，提高处理效率；再通过对输入变量与输入向量对应表<I...
- 陈鑫周岩
- 文献传递
- 一种线性拟合函数驱动的测试数据自动生成方法
- 本发明公开了一种基于线性拟合函数驱动的测试数据自动生成方法。本发明通过路径分析得到路径集合，然后对每个路径寻找可覆盖该路径的测试数据产生待测源代码的测试数据集。其中，对每个路径寻找可覆盖该路径的测试数据通过以下方法实现：...
- 陈鑫成新欧建生周岩鞠秀芳
- 文献传递
- 面向条件判定覆盖的线性拟合制导测试生成被引量：5
- 2016年
- 条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.例如:符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优,而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,提出了一种线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,该方法具有参数配置简易、生成过程高效等优点,并且能够处理带非线性条件约束、逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,所提出的方法比目前以覆盖率见长的遗传算法(genetic algorithm,简称GA)制导方法具备更好的覆盖能力与更高的执行效率.
- 汤恩义周岩欧建生陈鑫
- 关键词：测试用例自动生成
- 一种线性拟合函数驱动的测试数据自动生成方法
- 本发明公开了一种基于线性拟合函数驱动的测试数据自动生成方法。本发明通过路径分析得到路径集合，然后对每个路径寻找可覆盖该路径的测试数据产生待测源代码的测试数据集。其中，对每个路径寻找可覆盖该路径的测试数据通过以下方法实现：...
- 陈鑫成新欧建生周岩鞠秀芳
- 面向复杂路径约束的线性拟合求解方法改进与扩展研究
- 面向路径的测试是一种重要的测试技术，作为核心支撑技术，它在错误代码定位、目标制导的测试、内存泄漏检测等多种测试中，具有广泛的应用。面向路径的测试数据生成关注于，针对给定路径如何自动生成测试输入以驱动程序沿着目标路径执行。...
- 周岩
- 关键词：软件测试数据自动生成并行计算
