Software Testing Techniques Carnegie Mellon （卡内基梅隆大学软件测试技术）.pdfVIP

Software Testing Techniques Technology Maturation and Research Strategy Class Report for 17-939A Lu Luo Institute for Software Research International Carnegie Mellon University Pittsburgh, PA15232 USA Software Testing Techniques Technology Maturation and Research Strategies Lu Luo School of Computer Science Carnegie Mellon University 1 1 Introduction Software testing is as old as the hills in the history of digital computers. The testing of software is an important means of assessing the software to determine its quality. Since testing typically consumes 40~50% of development efforts, and consumes more effort for systems that require higher levels of reliability, it is a significant part of the software engineering. With the development of Fourth generation languages (4GL), which speeds up the implementation process, the proportion of time devoted to testing increased. As the amount of maintenance and upgrade of existing systems grow, significant amount of testing will also be needed to verify systems after changes are made [12]. Despite advances in formal methods and verification techniques, a system still needs to be tested before it is used. Testing remains the truly effective means to assure the quality of a soft