您的位置: 专家智库 > >

国家自然科学基金(60873049)

作品数:3 被引量:2H指数:1
相关作者:戚晓芳汪鹏尹恒周晓宇更多>>
相关机构:东南大学更多>>
发文基金:国家自然科学基金软件工程国家重点实验室开放基金江苏省自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 1篇设计模式
  • 1篇偏序
  • 1篇切片
  • 1篇切片方法
  • 1篇状态转换图
  • 1篇可达图
  • 1篇可达性
  • 1篇可达性分析
  • 1篇REVERS...
  • 1篇UML
  • 1篇USE_CA...
  • 1篇IDENTI...
  • 1篇并发程序
  • 1篇程序切片
  • 1篇USERS
  • 1篇CODES

机构

  • 2篇东南大学

作者

  • 1篇周晓宇
  • 1篇汪鹏
  • 1篇戚晓芳
  • 1篇尹恒

传媒

  • 1篇计算机学报
  • 1篇计算机与数字...
  • 1篇Wuhan ...

年份

  • 1篇2014
  • 1篇2010
  • 1篇2009
3 条 记 录,以下是 1-3
排序方式:
基于偏序约简程序可达图的并发程序切片方法被引量:2
2014年
并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较高.偏序约简是一种十分有效的并发系统状态空间约简技术,约简的并发系统状态空间包含所有的并发程序执行代表.为提高效率,该文将偏序约简技术扩展到程序可达图的约简中,在偏序约简理论的基础上,证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的.实验结果表明,采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率.与其它高精度切片方法相比,基于约简程序可达图的切片方法的精度更高,在大多数情况下,切片效率也有一定提高.
戚晓芳徐晓晶江振亮汪鹏
关键词:并发程序程序切片可达性分析
一种恢复状态模式的状态转换图的方法
2010年
现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。
尹恒周晓宇
关键词:设计模式状态转换图
Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach
2009年
Based on the different roles played by base flow and alternative flow in the process to achieve user's goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect different use cases. This paper presents an approach to identify base flows and alternative flows of different use cases by traversing control flow graph in which back edges are eliminated. The effectiveness of the approach is verified by identification of the use case structure of an ATM system. The workload of human intervention of the approach is relatively slight, and the manner of human intervention closely follows the usual process of software comprehension.
ZHOU XiaoyuQIAN JuCHEN LinXU Baowen
共1页<1>
聚类工具0