您的位置： 专家智库 > >

朱玲莉

作品数：3 被引量：1H指数：1
供职机构：南华大学计算机科学与技术学院更多>>
相关领域：自动化与计算机技术电气工程更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇电气工程

主题

  • 3篇测试用例
  • 2篇不变量
  • 2篇测试用例集
  • 2篇测试用例集约...
  • 1篇约简方法
  • 1篇约简算法
  • 1篇似然
  • 1篇程序不变量

机构

  • 3篇南华大学

作者

  • 3篇朱玲莉
  • 2篇刘丽娜
  • 1篇汤创为

传媒

  • 1篇电子质量
  • 1篇智能计算机与...

年份

  • 3篇2013
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于Daikon与C++Test的自动测试用例集约简工具生成
2013年
程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。
朱玲莉刘丽娜汤创为
关键词：测试用例集约简
一种基于不变量的测试空间约简方法
2013年
测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例,对于测试空间的约简能够有效地解决这一矛盾。程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言,可以用于指导测试用例的生成。通过程序不变量来判断测试用例的有效性,再根据无效测试用例来确定无效空间,并对无效空间进行删减,从而达到减少冗余测试用例、提高测试用例集生成速度的目的。
刘丽娜朱玲莉
关键词：程序不变量测试用例
核电软件单元测试用例集约简研究
核电作为一种新型的能源工业，在我国已得到了广泛应用，我国的核电软件在借鉴国外先进技术的基础上正向自主化迈进，由于核电软件的特殊性，其对软件的安全性与质量提出了非常高的要求，因此在开发过程中，对核电软件进行测试是必不可少的...
朱玲莉
关键词：约简算法
文献传递
全选 清除 导出
共1页<1>
聚类工具0