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