您的位置： 专家智库 > >

吴重强

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

合作作者

文献类型

  • 1篇学位论文
  • 1篇科技成果

领域

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

主题

  • 2篇程序切片
  • 1篇动点
  • 1篇软件测试
  • 1篇不动点
  • 1篇不动点理论

机构

  • 2篇东南大学

作者

  • 2篇吴重强
  • 1篇钱巨
  • 1篇陈林
  • 1篇黄曙萍
  • 1篇周晓宇
  • 1篇屈波
  • 1篇曹景
  • 1篇章晓芳
  • 1篇史亮
  • 1篇周毓明
  • 1篇左赋斌
  • 1篇徐宝文
  • 1篇聂长海
  • 1篇卢红敏
  • 1篇陈振强

年份

  • 1篇2006
  • 1篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
模块单子切片性质研究及扩展
程序切片是一种程序分解技术。因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。目前，模块单子切片的基本理论已初见规模，但是模块单子切片的一些性质尚未有深入探讨，所处理的语言机制还有...
吴重强
关键词：程序切片不动点理论
文献传递
程序分析与测试技术研究
徐宝文史亮陈振强聂长海黄曙萍周毓明周晓宇陈林卢红敏左赋斌曹景屈波钱巨章晓芳吴重强
“程序分析与测试技术研究”课题组提出了一种并发程序切片算法，较好地解决了并发程序依赖性的不可传递性问题，在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法，其生成...
关键词：
关键词：程序切片软件测试
全选 清除 导出
共1页<1>
聚类工具0