Software assurance

See also software quality and safety-critical system.