基于扩展同步序列的Java多线程程序可达性测试方法

为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.

基于扩展同步序列的Java多线程程序可达性测试方法探讨

随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列的Java多线程程序可达性测试,探讨基于扩展同步序列的可达性测试方法,旨在为我国计算机程序的编写和测试提供参考。