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

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