线程调度序列相关论文
多线程并发程序由于线程执行顺序的不确定性,使得并发程序测试变得异常困难.线程调度序列是多线程并发程序测试的关键.针对并发程......
针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法......