软件工程课件：15-QualityControl.pptx

Top 10 Software Failures 2012;The Big Cost of Software Bugs over the last 50 years;The Cost of Software Bugs;Healthy;5;6;7;8;9;10;Critical System and Dependable Computing;Critical System;Critical System;Critical System;Trustworthy Computing (TWC);Microsoft TWC Initiative;Don’t forget COST;Dependable Computing ;19;Dependable Computing – The Threats;Fault, Error and Failure;Lifecycle Perspective;Dependable Computing – The Means;24;25;26;Software Inspection;28;29;30;31;Fagan Inspection – The Process;33;Example Inspection Checks;35;Fault Tolerance Architecture;Fault-Tolerance;Fault tolerance actions;Approaches to fault tolerance;Fault Detection;Damage Assessment;Fault Recovery;class SafeSort { static void sort ( int [] intarray, int order ) throws SortError { int [] copy = new int [intarray.length]; // copy the input array for (int i = 0; i intarray.length ; i++) copy [i] = intarray [i] ; try { Sort.bubblesort (intarray, intarray.length, order) ; if (order == Sort.ascending) for (int i = 0; i = intarray.length-2 ; i++) if (intarray [i] intarray [i+1]) throw new SortError () ; else for (int i = 0; i = intarray.length-2 ; i++) if (intarray [i+1] intarray [i]) throw new SortError () ; } // try block catch (SortError e ) { for (int i = 0; i intarray.length ; i++) intarray [i] = copy [i] ; throw new SortError (Array not sorted) ; } //catch } // sort } // SafeSort;Hardware Fault Tolerance Architecture;Hardware reliability with TMR;Output selection;Software Fault Tolerant Architecture;Design diversity;Software analogies to TMR;N-version programming;Output comparison;N-version programming;Recovery blocks;Recovery blocks;N-Version vs. Recovery Block;Problems with design diversity;Specification dependency;Is software redundancy needed?;Cleanroom Software Engineering;The Cleanroom Approach;Origins;Cleanroom is Shift in Practice;Cleanroom Method Steps;Incremental development;Incremental Development Cy