基于全同步对覆盖的线程调度序列生成方法
多线程并发程序由于线程执行顺序的不确定性,使得并发程序测试变得异常困难.线程调度序列是多线程并发程序测试的关键.针对并发程序,本文定义了同步对及全同步对覆盖准则,给出了一个同步对—线程关联图构建方法,并提出了一种基于全同步对覆盖的线程调度序列生成方法.利用JPF(Java Path Finder)检测工具,对4个Java类库并发程序进行了线程调度序列生成实验,并与其他三种线程调度序列生成方法进行了实验分析对比.实验结果表明,本文方法生成的线程调度序列不仅能够覆盖并发程序的所有同步对,并且当达到全同步对覆盖时,相比其他线程调度序列生成方法,所需要的状态数、迁移数更少,生成的线程调度序列数更少,能够有效降低状态空间的搜索开销,提高线程调度序列的生成效率.
并发程序测试 线程调度序列 生成机制 全同步对覆盖
石存沣 赵瑞莲 李征
北京化工大学计算机科学系 北京 100029
国内会议
武汉
中文
411-417
2014-07-19（万方平台首次上网日期，不代表论文的发表时间）