白盒测试是根据软件的规格说明来设计测试用例。