您的位置： 专家智库 > >

甄晓丽

作品数：2 被引量：1H指数：1
供职机构：南京航空航天大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇语义
  • 2篇语义差异
  • 1篇依赖图
  • 1篇语义图
  • 1篇软件可测试性
  • 1篇切片
  • 1篇可测试性
  • 1篇基于语义
  • 1篇程序依赖图
  • 1篇程序语义

机构

  • 2篇南京航空航天...
  • 1篇黄河水利职业...

作者

  • 2篇甄晓丽
  • 1篇彭静静

传媒

  • 1篇科技信息

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
程序语义差异计算方法分析与研究
2006年
本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的方法,并且在研究这些方法的基础上比较了他们各自的优缺点。
甄晓丽彭静静
关键词：程序依赖图语义差异切片
基于语义的软件可测试性度量的研究与应用
软件可测试性是指软件在特定的输入分布下进行随机黑盒测试时，暴露故障的能力。软件的可测试性是衡量软件测试难易程度的一个重要指标，在测试的过程中可以指导测试进行的深度，确保测试资源进行合理分配。而语义信息在软件的可测试性度量...
甄晓丽
关键词：软件可测试性语义差异
文献传递
全选 清除 导出
共1页<1>
聚类工具0