对软件正确性的描述可以划分为6种不同的情况分别为：程序编写得无语法错误、程序运行中未发现明显的运行错误、程序中无不适当语句、程序运行中能通过典型的有效测试数据，而得到正确的预期效果、程序运行中能通过典型的无效测试数据，而得到正确的预期结果和（）。