您的位置： 专家智库 > >

刘利娟

作品数：1 被引量：0H指数：0
供职机构：吉林大学软件学院更多>>
发文基金：中国博士后科学基金吉林省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇系统结构
  • 1篇计算机
  • 1篇计算机系
  • 1篇计算机系统
  • 1篇计算机系统结...
  • 1篇编译器
  • 1篇程序切片

机构

  • 1篇吉林大学

作者

  • 1篇刘磊
  • 1篇刘利娟
  • 1篇张鹏

传媒

  • 1篇吉林大学学报...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于ECPMR的编译器测试方法
2017年
提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。在SNL编译器上进行了本文方法的验证实验,结果表明该方法可有效地探测到SNL编译器中的错误。
刘磊刘利娟吴新维张鹏
关键词：计算机系统结构程序切片
全选 清除 导出
共1页<1>
聚类工具0