您的位置： 专家智库 > >

林牧宇

作品数：1 被引量：0H指数：0
供职机构：兰州交通大学电子与信息工程学院更多>>
发文基金：甘肃省科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇独立性
  • 1篇切片算法
  • 1篇程序切片

机构

  • 1篇兰州交通大学

作者

  • 1篇张忠林
  • 1篇赵园
  • 1篇林牧宇

传媒

  • 1篇兰州交通大学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种用于测试临界安全变量独立性的类内切片算法
2010年
主要通过类内切片技术来实现临界安全变量独立性的判断,主要解决一个类内临界安全组件中的临界安全变量的独立性判断不准确、辨别过程复杂的问题.该思想通过MSV关系图,可以直观、准确的计算出对于类内某一成员变量即临界安全变量的特定行语句的程序切片,从而达到分析临界安全变量独立性的目的.
林牧宇张忠林赵园
关键词：程序切片
全选 清除 导出
共1页<1>
聚类工具0