您的位置： 专家智库 > >

王艳臣

作品数：2 被引量：4H指数：1
供职机构：东南大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇多线程
  • 2篇多线程程序
  • 2篇线程
  • 2篇可达性测试
  • 2篇JAVA

机构

  • 2篇东南大学
  • 1篇江南大学

作者

  • 2篇王艳臣
  • 1篇李必信
  • 1篇戴君

传媒

  • 1篇东南大学学报...

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
并发程序测试——基于扩展同步序列的Java多线程程序可达性测试方法
测试是软件质量保证的重要手段，并发程序固有的非确定性给测试造成困难。解决这一困难目前存在许多方法，它们所采取的策略可以归结为两类:非确定性测试策略和确定性测试策略。可达性测试方法由于将非确定性策略和确定性策略相结合，充分...
王艳臣
关键词：可达性测试多线程程序
文献传递
基于扩展同步序列的Java多线程程序可达性测试方法被引量：3
2006年
为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.
王艳臣李必信戴君
关键词：可达性测试多线程
全选 清除 导出
共1页<1>
聚类工具0