用仿真开发系统调试程序时，汇编成功只说明源程序的（）没有问题，而程序的功能是否正确还要靠（）纠错才能成功。