测试: test; testing; checkout; mea ...模型: model; pattern求解: find the solution程序: procedure测试模型生成程序: test pattern generator解算机, 求解程序: solver问题求解程序: problem solver系统求解程序: system solver program测试模型: test model通用问题求解程序的经验测试: empirical test of gps人类问题求解程序: human problem solver认识问题求解程序: cognitive problem solver通用问题求解程序: general problem solver问题求解程序库: answer library专家问题求解程序: expert problem solver独立测试模型: independent test model统计测试模型: statistical test model环境驱动问题求解程序: environment-driven problem solver机器人问题求解程序: robot problem solver向后链接问题求解程序: backward chaining problem solver面向对象测试模型: object-orient test model测试模式产生程序: generator test pattern; generator, test pattern (tpg)测试模式程序库: library, test pattern; test pattern library测试模式鉴定程序: test pattern evaluator测试模式生成程序: test pattern generation program