______主要根据输入条件和输出条件确定测试数据，来检查程序是否能够产生正确的输出。