如果有一段程序，有N个输入（N较大），这样输入组合数就很大，如果需要检测这段程序能不能实现预想的功能（程序编译运行成功），那么能不能设计另一段程序，使其遍历需检测程序代码的所有输入组合并得到所有的输出？