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