A flight management system (FMS) is used to guide commercial aircraft to their destinations, so a high level of reliability and availability is vital. In previous development efforts, Smiths Aerospace used static and laboratory testing to identify runtime errors. However, the software powering the new FMS for the Airbus A319/320/321 and A330/340 families was so large that an enormous effort would have been required using traditional testing methods.
展开▼