您的位置： 专家智库 > >

李业华

作品数：1 被引量：3H指数：1
供职机构：中国科学院沈阳计算技术研究所更多>>
发文基金：国家自然科学基金高等学校学科创新引智计划国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语言
  • 1篇时程
  • 1篇RPA
  • 1篇布尔逻辑
  • 1篇插桩
  • 1篇程序插桩

机构

  • 1篇中国科学院
  • 1篇中国科学技术...
  • 1篇安徽省计算与...

作者

  • 1篇彭飞
  • 1篇张颖楠
  • 1篇顾乃杰
  • 1篇李业华

传媒

  • 1篇计算机工程

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于插桩和布尔逻辑的运行时程序验证框架被引量：3
2013年
针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。
李业华顾乃杰张颖楠彭飞
关键词：程序插桩布尔逻辑
全选 清除 导出
共1页<1>
聚类工具0