论文部分内容阅读
随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势。但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误。针对这个问题,提出了一种直接分析Java源代码,从中提取并发程序模型的方法;并以此方法为基础开发了工具JTS(Java to SPIN),实现了对Java并发程序的自动化分析和模型检测。实验表明JTS能够成功地检测出Java并发程序中存在的错误并给出相应的错误路径。这项工作给Java并发程序的测试与验证提供了新的途径。