All of these approaches improve the software quality in safety - critical systems by testing or eliminating manual steps in the development process .
People make mistakes .
All of these approaches improve the software quality in safety - critical systems by testing or eliminating manual steps in the development process , because people make mistakes .