测试阶段的输入是实现阶段产生的可执行程序，测试人员根据测试用例和需求规格说明书对程序进行验证。