上游文通大警 SHANGHAI JIAO TONG UNIVERSITY Money Management:Fraud,violation of privacy,shutdown of stock exchanges and banks,negative interest rates. Control of Elections:Wrong results (intentional or non-intentional). Control of Jails:Technology-aided escape attempts and successes,accidental release of inmates,failures in software controlled locks. Law Enforcement:False arrests and imprisonments. Software Engineering
Software Engineering Money Management: Fraud, violation of privacy, shutdown of stock exchanges and banks, negative interest rates. Control of Elections: Wrong results (intentional or non-intentional). Control of Jails: Technology-aided escape attempts and successes, accidental release of inmates, failures in software controlled locks. Law Enforcement: False arrests and imprisonments
上游充通大学 SHANGHAI JIAO TONG UNIVERSITY 1.3 Bug in Space Code Project Mercury's FORTRAN code had the following fault: DO I=1.10 instead of...DO I=1,10 The fault was discovered in an analysis of why the software did not seem to generate results that were sufficiently accurate. The erroneous 1.10 would cause the loop to be executed exactly once！ Software Engineering
Software Engineering 1.3 Bug in Space Code Project Mercury ’ s FORTRAN code had the following fault: DO I=1.10 instead of ... DO I=1,10 The fault was discovered in an analysis of why the software did not seem to generate results that were sufficiently accurate. The erroneous 1.10 would cause the loop to be executed exactly once!
上降元大1.4 Military Aviation Problems SHANGHAI JIAO TONG UNIVERSITY An F-18 crashed because of a missing exception condition: if ..then ..without the else clause that was thought could not possibly arise. In simulation,an F-16 program bug caused the virtual plane to flip over whenever it crossed the equator,as a result of a missing minus sign to indicate south latitude. Software Engineering
Software Engineering 1.4 Military Aviation Problems An F-18 crashed because of a missing exception condition: if ... then ... without the else clause that was thought could not possibly arise. In simulation, an F-16 program bug caused the virtual plane to flip over whenever it crossed the equator, as a result of a missing minus sign to indicate south latitude
上降充通大学 1.5 Relative cost of bugs SHANGHAI JIAO TONG UNIVERSITY bugs found later cost more to fix" Cost to fix a bug increases exponentially (10x) i.e.,it increases tenfold as time increases E.g.,a bug found during specification costs $1 to fix. ..if found in design cost is $10 ..if found in code cost is $100 ..if found in released software cost is $1000 Software Engineering
Software Engineering 1.5 Relative cost of bugs “bugs found later cost more to fix ” Cost to fix a bug increases exponentially (10x) • i.e., it increases tenfold as time increases E.g., a bug found during specification costs $1 to fix. … if found in design cost is $10 … if found in code cost is $100 … if found in released software cost is $1000
上充大1.6 Fault Handling Techniques SHANGHAI JIAO TONG UNIVERSITY Fault Handling Fault Avoidance Fault Detection Fault Tolerance Design Atomic Modular Methodology Reviews Transactions Redundancy Verification Configuration Management Testing Debugging Unit Integration System Correctness Performance Testing Testing Testing Debugging Debugging Software Engineering
Software Engineering 1.6 Fault Handling Techniques Testing Fault Handling Fault Avoidance Fault Tolerance Fault Detection Debugging Unit Testing Integration Testing System Testing Verification Configuration Management Atomic Transactions Modular Redundancy Correctness Debugging Performance Debugging Reviews Design Methodology