涵洞及通道回填所用的材料，应采用透水性土，严禁使用含有淤泥、杂草、腐殖物、含冻块的土。 ( )

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

A．保证软件的正确性

B．改正软件存在的错误

C．发现软件的潜在错误

D．实现程序正确性证明