软件系统的故障—安全保障技术以保证程序的正确性为前提，如果软件编程出现错误，将导致（）。