软件作为一种的智力产品，拥有超乎寻常的复杂性：影响软件产品的因素众多及各个因素之间有着的难以预料的复杂联系。虽然从理论上来说软件作为一个纯逻辑的产品，应该是确定性的，像某些观点认为的那样是可以用形式化的方法地描述的。但是一方面现代软件的规模与复杂性远远超出了单个人的理解能力，没有人能了解现代软件的所有的细节，因此软件作为一个整体，就包含有不确定性。另一方面，软件是由作为个体的人开发出来的，在这个开发过程中有各种各样的不确定因素，比如开发人员的情绪波动、状况;开发进行的软硬件环境等等，都会影响到最终的软件产品。因此软件开发中也同样存在偶然性的因素，随机现象不可避免。

软件失效也应该有类似必然失效与偶然失效的区分。但由于软件失效的可重复性，因此不对软件失效进行区分，而对软件中的错误类型进行区分。

对于软件错误分类，准则不同，所得到的分类结果亦不尽相同。主要有以下几种分类方法：

1)  按软件成分分类：软件是程序、可执行数据和文档的统称。因此按软件成分划分，软件错误包括程序错误、数据错误和文档错误。

2)  按软件生存期分类：软件生存期包括需求分析阶段、概要设计阶段、详细设计阶段、实现阶段、测试阶段、安装验收阶段、运行维护阶段。每个阶段均有人参与，因而可有相应的

软件错误。于是软件错误可分为需求分析错误、概要设计错误、详细设计错误、实现错误、测试错误、安装验收错误、维护错误等。

3)  按错误的后果分类：软件错误的直接后果是造成软件缺陷，从而造成损失，可以按照错误造成的后果的严重性进行分类。