As an important means to guarantee software quality and reliability, software testing plays an irreplaceable role in the process of software development. The key of software testing is how to generate test cases. After a survey of major research fields and representative achievements in the area of software testing, this dissertation presents a new testing approach, referred as a domain analysis, based on input domain analysis of both specification and program. The author describes various methods to genera...