부산대학교 도서관

With the rise in interconnected systems, networked programs have now become commonplace. While it is possible to get a complete visualization of standalone programs using software such as JIVE, it becomes difficult to get an overall view of networked programs. The communicating processes are distributed across different hosts and therefore only fragmented views of the execution are possible. This paper extends the capability of JIVE to synthesize client and server executions from multiple machines that run concurrently and communicate with each other by message passing. The crux of the technique that underlies the synthesis is a novel segmenting algorithm that partitions an execution trace tacitly so that partial order relationship between send and receive at each message passing point is preserved. The synthesized execution is then portrayed in the form of sequence diagram enabling debugging and analysis.The proposed work has demonstrated the efficacy of the synthesis by presenting two case studies. that provide deeper insights into the execution such as occurrence of race conditions.