您的位置： 专家智库 > >

梁陈良

作品数：2 被引量：9H指数：1
供职机构：东南大学更多>>
发文基金：江苏省自然科学基金国家自然科学基金国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

  • 2篇自动化与计算...

主题

  • 2篇软件测试
  • 2篇测试用例
  • 2篇测试用例生成
  • 1篇时序逻辑
  • 1篇逻辑描述
  • 1篇测试用例生成...

机构

  • 2篇东南大学

作者

  • 2篇梁陈良
  • 1篇陈振宇
  • 1篇徐宝文
  • 1篇聂长海

传媒

  • 1篇东南大学学报...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于模型检验的测试用例生成技术研究
软件测试是保证软件产品可靠性和正确性的有效方法，其中设计和生成有效的测试用例是决定测试质量的重要因素之一，而测试用例自动生成可以节省测试时间，降低开发成本。模型检验是确保软件设计正确性的形式化验证技术。给出系统有限状态模...
梁陈良
关键词：软件测试测试用例生成逻辑描述
文献传递
一种基于模型检验的类测试用例生成方法被引量：9
2007年
提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.
梁陈良聂长海徐宝文陈振宇
关键词：软件测试时序逻辑测试用例
全选 清除 导出
共1页<1>
聚类工具0