在软件系统理论中，程序是没有正确这一说法的，程序在通过测试后只能被认为是无错而不能认为是完全正确的。

A.正确

B.错误

正确答案：A