基于扩展同步序列的Java多线程程序可达性测试思路构建探索

摘要

针对Java程序的并发性特点，应用可达性测试是一种有效的方法。但是，为了克服Java多线程程序在应用可达性测试的过程中，所产生的局限性和不能实现对事件的同步检测，或者同步检测错误等问题，需要应用一种基于扩展同步序列的可达性测试方法。