张智轶
- 作品数：12 被引量：33H指数：2
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于覆盖度的错误定位技术的测试用例集优化方法
- 基于覆盖度的错误定位技术的测试用例集优化方法，对于给定的测试用例集T，通过聚类从中识别偶然性正确测试用例，所述偶然性正确测试用例指错误语句被执行，但执行结果仍然为″通过″的测试用例，对识别出的偶然性正确的测试用例进行处理...
- 陈振宇赵志宏缪怡纪昌斌张智轶
- 文献传递
- 一种基于步骤提示的安卓众包测试反馈方法
- 一种基于步骤提示的安卓众包测试反馈方法，其特征是通过众包测试平台Kikbug的驱动程序对测试过程的记录，建立用户测试行为数据库；在测试过程当中，收集当前测试人员的测试步骤信息，和数据库中已记录的、已触发异常的操作信息对比...
- 陈振宇张欣房春荣张智轶李玉莹
- 文献传递
- 测试用例演化研究进展被引量：27
- 2013年
- 由于功能增加、性能调优、错误修复等原因,软件常常动态演化.现有测试技术难以满足软件演化过程中变化的测试需求,因此需要系统的测试用例演化技术,以有效保障演化软件的质量.回顾测试用例演化技术的研究现状,分别对测试用例选择、测试用例修复和测试用例集扩增这3部分内容进行了详细的比较和分析.最后提出测试用例演化技术领域存在的挑战和未来的研究方向.
- 张智轶陈振宇徐宝文杨瑞
- 关键词：测试用例选择
- 一种基于步骤提示的安卓众包测试反馈方法
- 一种基于步骤提示的安卓众包测试反馈方法，其特征是通过众包测试平台Kikbug的驱动程序对测试过程的记录，建立用户测试行为数据库；在测试过程当中，收集当前测试人员的测试步骤信息，和数据库中已记录的、已触发异常的操作信息对比...
- 陈振宇张欣房春荣张智轶李玉莹
- 关于软件测试中变异体选择的经验研究
- 变异测试是一种建立在错误程序版本上的行之有效的测试方法。变异测试中的基本原则是变异体可以代表程序员现实的错误。变异测试主要应用于:一，评估测试用例集的错误检测能力;二，生成较完整的测试用例集。 自变异测试提出以来，变异...
- 张智轶
- 关键词：软件测试
- 一种联合差异性随机测试方法
- 一种联合差异性随机测试方法，通过PI识别随机生成的测试用例之间在程序内部结构上的差异性，通过测试用例间的欧几里得距离来识别测试用例在输入域上的差异性，然后联合这二者的差异，高效率地生成有效的测试用例集，为一种结合黑盒测试...
- 徐宝文时清凯陈振宇张智轶
- 文献传递
- 一种基于移动即时通讯软件的软件缺陷智能跟踪管理方法
- 本发明提供一种基于移动即时通讯软件的软件缺陷智能跟踪管理方法，包括下列步骤：1)软件缺陷描述消息的采集；2)软件缺陷报告的自动生成；3)软件缺陷报告特征向量的生成；4)软件缺陷报告严重等级的自动划分；5)软件缺陷报告的自...
- 陈振宇豆梦宇冯洋张智轶郭玉晨
- 文献传递
- 一种回归测试中基于分布的测试用例优先级划分方法
- 一种回归测试中基于分布的测试用例优化方法，对于回归测试中的测试用例集，依据执行剖面在剖面空间中的分布对测试用例的执行顺序进行优先级排序，优先级高的测试用例将被优先执行，使得执行顺序临近的测试用例尽可能分散在剖面空间中，以...
- 陈振宇赵志宏吴堃房春荣张智轶
- 文献传递
- 一种基于扩展有限状态机可行路径分析的测试用例自动生成方法
- 一种自动化测试用例生成方法，基于扩展有限状态机可行路径分析，由于不可行路径的存在使得扩展有限状态机模型中生成测试用例仍然是一个难题，本发明通过路径可行性分析尽可能的避开不可行路径、自动化的生成测试用例和创建测试预言。特征...
- 陈振宇杨瑞徐宝文张洁张智轶
- 文献传递
- 一种基于扩展有限状态机的自动化测试用例生成方法被引量：6
- 2014年
- 扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.
- 杨瑞陈振宇张智轶刘子聪徐宝文
- 关键词：测试用例生成扩展有限状态机可执行模型
