软件测试问题及关相数学知识.pptVIP

Software Testing;Introduction of software testing ;;;Mars Climate Orbiter;Shooting Down of Airbus 320;THERAC-25 Radiation Therapy;London Ambulance Service;Nice of You to Turn Up;More…;More…;More…;More…;More…;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;Economic Impact;Expectation;;Joke?;How Cars Are Engineered(A Simple View);How Cars Are REALLYEngineered (A Detailed View);But Seriously;Similar Techniques Used byBuilders: Bridges;Detailed Design andSpecifications;More Detailed Design andSpecifications;They Make Mistakes Too!;How get high quality software;Example ;Software test;When to Stop?;A Real Testing Example;Automated Testing;Automated Testing;Testing the New Version;Discussion;Questions?;1.2 Concepts and Glossary;1.2.1 Goals of testing;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. ;1.2.2 Facts About Testing;Why?;Cost/benefit; ;Some examples;2 Data overflow ;3 Beyond array boundary;1.2.3 Contents of the course;Software Test in software development process functional test、structured test、Integrate test、system test 、accept test Regression Test concept and seminar Object-oriented Test The technology development of software test seminar Project validation ;1.2.4 Glossary(术语);Glossary; ; ;Independent principle;Completive principle;The types of software test;Steps of software test; ;*;Prerequisites Mathematics knowledge of software test ;2.1 集合论;;2.2 函数(离散数学中);2.3 关系;2.4 命题逻辑;;2.5 概率论; 图G=（V，E）由节点的有限集合V和节点无序对偶集合E组成。 例1： V={n1,n2,n3,n4,n5}; E={(n1,n2),(n1,n4),(n2,n6),(n3,n4),(n4,n5)};;;;;强组件 有向图的强组件是3-连接节点的最大集合。 将前面的例图修改为如下左图所示： 强组件