您的位置： 专家智库 > >

周志远

作品数：4 被引量：11H指数：2
供职机构：湖南大学信息科学与工程学院（软件学院）更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 3篇软件测试
  • 3篇JAVA并发...
  • 3篇并发程序
  • 2篇多线程
  • 2篇线程
  • 1篇多线程技术
  • 1篇形式化
  • 1篇形式化验证
  • 1篇有限状态机
  • 1篇状态机
  • 1篇线程技术
  • 1篇内存
  • 1篇内存模型
  • 1篇基于JAVA
  • 1篇管理协议
  • 1篇TCP连接

机构

  • 4篇湖南大学

作者

  • 4篇周志远
  • 3篇张大方
  • 3篇缪力
  • 1篇黄谷

传媒

  • 2篇计算机工程与...
  • 1篇计算机工程与...

年份

  • 1篇2010
  • 3篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于Java内存模型的并发程序模型检测被引量：5
2010年
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。
周志远张大方缪力
关键词：JAVA并发程序多线程软件测试
基于模型检查的TCP连接管理协议分析与验证
2009年
随着网络协议复杂性的增大,如何发现其自身的潜在错误变得非常重要。为了发现传统测试手段难以检测的错误,采用模型检查技术分析和验证网络协议。从TCP协议设计规范中提取了包含TCP连接管理协议重要细节的形式化模型,并采用模型检查工具SPIN验证协议模型是否满足需求,结果表明,TCP协议设计规范中同同时打开连接过程存在不一致问题,针对该问题提出了改进策略。
黄谷缪力张大方周志远
关键词：形式化验证有限状态机
java并发程序的模型提取与模型检测技术研究
随着多核心处理器系统的发展，分布式并发系统已成为当前主流的软件体系结构。分布式软件的特性导致错误不可重现，使软件排错工作非常困难。java是在语言级别支持并发的高级语言，其提供的语言特性和大量的类库很好地支持了并发程序的...
周志远
关键词：JAVA并发程序多线程技术软件测试
文献传递网络资源链接
对Java并发程序进行模型检测被引量：4
2009年
随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势。但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误。针对这个问题,提出了一种直接分析Java源代码,从中提取并发程序模型的方法;并以此方法为基础开发了工具JTS(Java to SPIN),实现了对Java并发程序的自动化分析和模型检测。实验表明JTS能够成功地检测出Java并发程序中存在的错误并给出相应的错误路径。这项工作给Java并发程序的测试与验证提供了新的途径。
周志远张大方缪力
关键词：并发程序软件测试
全选 清除 导出
共1页<1>
聚类工具0