祁琳莹
- 作品数：3 被引量：11H指数：2
- 供职机构：四川大学计算机学院(软件学院)更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于动态插桩的程序分析工具的性能改进被引量：2
- 2013年
- 基于动态插桩的工具被广泛应用于程序分析中,但该类工具都面临着严重的性能问题。这类工具的性能开销主要由两部分组成,即插桩引擎的开销和用户定义的分析程序的开销。为降低用户定义的分析工具的开销,首先分析了基于动态插桩的工具的性能开销的组成,并通过实验分析了造成性能开销的几点原因及其对工具的性能影响;根据分析结论提出了使用离线分析方式来优化工具性能,最后通过并行数据收集来进一步提升工具性能。使用该方法能减少分析程序5%～15%的CPU占用时间。
- 代声馨洪玫郭鑫宇张鹏祁琳莹
- 关键词：离线分析
- 一种针对单元测试框架的测试脚本重用方法被引量：2
- 2013年
- 单元测试框架下的软件测试将产生大量的测试脚本,在软件测试过程中如何有效利用现有的测试脚本,实现软件测试脚本(代码)的重用成为业界关心的一个重要问题。业界最常见的复用需求是当开发项目更换新的测试框架时,如何重用开发人员在原单元测试框架下积累的测试脚本。针对这一问题,提出了基于测试脚本移植的重用方案。通过对单元测试脚本的分析和自动翻译方法,将原测试脚本中包含的信息提取出来,解析为基于XML的中间脚本,然后再利用XSLT技术,依据XML记录的信息,自动生成目标框架的单元测试脚本,从而解决单元测试脚本的重用问题。最后实验验证了方案的可行性。
- 祁琳莹洪玫冯丽云周宁文婷婷
- 关键词：软件测试单元测试框架
- 基于模型检测工具NuSMV的功能测试用例生成方法被引量：7
- 2015年
- 对现今已有的基于模型检测的测试用例生成方法以及覆盖准则进行了研究,在此基础上设计一个基于模型检测工具Nu SMV生成功能测试用例的方法。首先,从被测系统状态图入手,经过抽象映射成Nu SMV支持的模型验证器(SMV)模型;其次,将测试覆盖标准以CTL时序逻辑公式给出,并设计出陷阱性质;最后,利用Nu SMV进行模型检测,自动获得反例集,在去除冗余后,自动生成能够满足变换覆盖和状态覆盖的功能测试用例集。实验结果表明,该方法能够生成满足变换覆盖和状态覆盖的功能测试用例集,与传统方法相比,减少了测试用例生成的工作量,简化了测试用例集。
- 何洋洪玫祁琳莹王存伟郑佳琪
- 关键词：测试用例生成
