会议论文《基于全同步对覆盖的线程调度序列生成方法》提出了一种新的线程调度序列生成算法，旨在提高多线程程序测试的覆盖率。该方法通过分析线程间的同步关系，确保所有可能的同步路径都被覆盖，从而有效发现潜在的并发错误。该研究在第八届全国测试学术会议上发表，为多线程软件测试提供了理论支持和实践指导。
文档为pdf格式，1.91MB，总共7页。
举报
