系统测试就是对程序设计工作的检验，是为了证明程序不存在B。