Visualization of Thread Interleavings Produced by Java

As we move into the era of multi-core processors, a lot more software developers are writing concurrent programs to best utilize these processors. In a concurrent program many streams of operations are executed in parallel versus a sequential program where only one stream of operations, called threads, is executed. The advantage of concurrent programs is that they are a lot more efficient then sequential programs. The disadvantage of concurrent programs is that they are really difficult to test. One solution to testing this type of concurrent software is to use tools that explore the thread interleaving space like Java PathFinder. Java PathFinder is tool developed by NASA that provides a solution to concurrency testing for Java based programs. This tool uses model checking to search all possible schedules for a given concurrent program and can produce a thread interleaving if a bug is found. One of the problems of Java PathFinder is that it does not include a tool to graphically display schedules and show where defects appear in the source code. To help enhance concurrency testing of Java PathFinder, this thesis has researched and developed a Graphical User Interface tool that is able t