参考答案：B

解析：

用户编写的源程序中，不可避免地会出现一些错误。这些错误大致可以分为语法错误和语义错误。语义错误又可分为静态语义错误和动态语义错误，动态语义错误只有在程序运行时才能发生，如引用数组下标越界等错误。

程序中的语法错误和静态语义错误在编译阶段可检查出来。因此，一个程序经编译并连接后可执行，说明该程序在编译和连接环节没有出错，但不能说明该程序运行时不发生错误，也不能说明该程序的运行结果一定正确。