在改进一个要求运输费用最低的运输方案（图）时，闭合回路法是从一个改进指数（检验数）为绝对值最大的负数所在的空格开始，寻求一条闭合回路，在这条闭合回路上只允许有（）空格。

软件测试是保证软件质量的重要手段，其首要任务是

A．保证软件的正确性

B．改正软件存在的错误

C．发现软件的潜在错误

D．实现程序正确性证明