"Java PathFinder is an executable Java program debugging/verification system. At its core is a Java Virtual Machine (JVM) that can be used to systematically probe all possible execution paths of a program to avoid deadlocks or unhandled exceptions, etc. It happens. Unlike traditional debuggers, Java PathFinder reports the entire execution path that led to the defect. Java PathFinder is especially good for finding concurrency bugs in multithreaded programs that are difficult to test."
- from someone else's blog
After reading many blogs, I finally determined the steps to install JPF:
①For Windows-like systems, you can download and install TortoiseHg for the source code of clone JPF;
There is more than one way to install TortoiseHg, among which I choose: http://www.it610.com/article/2540343.htm