上游充通大皇 SJTU School Of Software 2009-2-3 Chapter 2 fundamentals of software test 软件学院
SJTU School Of Software 2009-2-3 软件学院 Chapter 2 fundamentals of software test
上游充鱼大 SJTU School Of Software 2009-2-3 2.1 Goals of testing 2.2 Facts About Testing 2.3 Glossary(术语) 2.4 Fundamental theory 2.5 Basic methods of software test 软件学院
SJTU School Of Software 2009-2-3 软件学院 2.1 Goals of testing 2.2 Facts About Testing 2.3 Glossary(术语) 2.4 Fundamental theory 2.5 Basic methods of software test
上浒充通大学 SJTU School Of Software 2009-2-3 2.1 Goals of testing Testing is a process of executing a program with the intent of finding an error. A good test is one that has a high probability of finding an as yet undiscovered error. A successful test is one that uncovers an as yet undiscovered error. The objective is to design tests that systematically uncover different classes of errors and do so with a minimum amount of time and effort. 软件学院
SJTU School Of Software 2009-2-3 软件学院 2.1 Goals of testing Testing is a process of executing a program with the intent of finding an error. A good test is one that has a high probability of finding an as yet undiscovered error. A successful test is one that uncovers an as yet undiscovered error. The objective is to design tests that systematically uncover different classes of errors and do so with a minimum amount of time and effort
上游充鱼大姿 SJTU School Of Software 2009-2-3 Demonstrate that software functions appear to be working according to specification. That performance requirements appear to have been met. Data collected during testing provides a good indication of software reliability and some indication of software quality. Testing cannot show the absence of defects,it can only show that software defects are present. 软件学院
SJTU School Of Software 2009-2-3 软件学院 Demonstrate that software functions appear to be working according to specification. That performance requirements appear to have been met. Data collected during testing provides a good indication of software reliability and some indication of software quality. Testing cannot show the absence of defects, it can only show that software defects are present
上泽充通大 SJTU School Of Software 2009-2-3 2.2 Facts About Testing ◆( Question "does program P obey specification S”is undecidable！ Every testing technique embodies some compromise between accuracy and computational cost ◆Facts Inaccuracy is not a limitation of the technique It is theoretically impossible to devise a completely accurate technique Every practical technique must sacrifice accuracy in some way 软件学院
SJTU School Of Software 2009-2-3 软件学院 2.2 Facts About Testing Question “does program P obey specification S” is undecidable! Every testing technique embodies some compromise between accuracy and computational cost Facts – Inaccuracy is not a limitation of the technique – It is theoretically impossible to devise a completely accurate technique – Every practical technique must sacrifice accuracy in some way