An approach to automated program testing and debugging
Zhang Xinjun, Yuji Tashiro, H. Takata, T. Fujii, M. Yamamuro, D. Kasai, Takao Shimomura · 2003
The paper presents the ITAD (Integrated Testing and Debugging) system that integrates program testing and debugging processes into a series of consecutive processes and supports automation of each of these processes. It also illustrates an example of testing and debugging in the ITAD system. In the system, a programmer can easily create necessary test paths, find the test data that force the program to run along the created test paths, test the program using these test data, and detect faults if failures occur during program testing.