软件测试（software testing），描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。依照可计算理论（计算机科学的一个支