Software Testing / Debugging Technology Research

With the ceaseless advancement of society and the flying development of computer science &technology, as an indispensable part of national economy, national defence and people's daily lives, computer and software has penetrated into every aspect of the human society. As the soul of computer, the role and status of software become more important then ever while the software quality becomes the focus of all attention. When looking forward to the development orientation and strategy of computer science, scientists agree that software quality should take priority over its functions. As everything has fault, software makes no exception and the inevitability of fault and the complexity in finding and correct them are determined by the characteristics of software. As the formalized method and program validity testifying technology are still waiting to be practically applied. Software testing still is the effective method to insure the quality of software. The quality of software testing and debugging ultimately determine the quality of software product Software testing and debugging are two closely related process. The purpose of software testing is to find fault as the purpose of software debugging is to locate fault and correct fault.The paper systematically discusses the basic theories and methods of software testing and software debugging technology, illustrates the principle and opinion about software testing, the befitting posture of automatic software testing, the strongpoints and disadvantage of automatic software testing according to the author's experience and suggests two methods of automatic software testing. One of which, is to rebuild the program to be tested. So that the program will automatically find data from test case file and store the result in result file to exam whether it is the expected data. The method adapts to the program which hold idiographic input&output. As a program testing designed to abstract input&output , the other of which is to design scripts and to test program by dint of automatic testing tools. For software debugging, researches a method based on program slice technology. According to the slice variable, all the phrases which affect the value of slice variable are put into a slice file and fault will be deleted if the result is wrong after executing hence the range of locating fault is reduced and debugging efficiency is improved. As splitting program is a kind of brainwork with high strength, it is necessary to design a kind of program which can split program automatically. In the paper, a program to split C language source program automatically is designed. The basic thought and method of realizing program splitting are discussed through examples. In the last part, this paper is to give an equitable estimate about the arithmetic of automatic program splitting.