文档介绍：防不胜防的软件错误——例1:1963年,美国,飞往火星的火箭爆炸,损失$:FORTRAN循环DO5I=1,3误写为DO5I=(Testing)例2:1996年,美国WashingtonPost报导Dallas,—ThecaptainofanAmericanAirlinesjetthatcrashedinColombialastDecemberenteredanincorrectone-mandthatsenttheplaneintoamountain,’sinvestigatorsconcludedthatthecaptainoftheBoeing757apparentlythoughthehadenteredthecoordinatesfortheintendeddestination,,theone-lettercodeforCaliisthesameastheoneforBogota,,accordingtoaletterbyCecilEwell,American’,:[摘自Pfleeger书中的“REAL-TIMEEXAMPLE”]Ourreal-timeexampleisbasedontheembeddedsoftwareintheAriane-5,aspacerocketbelongingtotheEuropeanSpaceAgency(ESA).OnJune4,1996,onitsmaidenflight,theAriane-,,,butalsoofthefoursatellitesitcontained;thetotalcostofthedisasterwas$$,theAriane-4rocketandpreviousvariantsheldmorethanhalfoftheworld’slaunchcontracts,aheadofAmerican,Russian,,thecredibilityoftheprogramwasatstake,:TherewasnodiscussionintheSRI(InertialReferenceSystem)requirementsdocumentsofthewaysinwhichtheAriane-5trajectorywouldbedifferentfromAriane-,是对软件规格说明、设计和编码的最后复审,其工件量约占总工作量40%以上(对于人命关天的情况,测试相当于其它部分总成本的3—5倍)。§、