Four Pillars for Improving the Quality of Safety-Critical Software- Reliant Systems.

摘要

Studies of safety-critical software-reliant systems developed using the current practices of build-then-test show that requirements and architecture design defects make up approximately 70% of all defects, many system level related to operational quality attributes, and 80% of these defects are discovered late in the development life cycle Redman 2010. Exponential growth in software size and complexity has pushed the cost for the current generation of aircraft to the limit of affordability.