高可靠性软件在国民经济中的重要作用不言而喻，恰当的软件测试方案是保证软件质量的重要手段。本文就通过实例介绍这类软件的测试方法，并澄清部分从业人员对软件测试学科的一些误解。

高可靠性软件泛指这样一类软件：该类软件运行过程中若出现故障会引发重大灾难性事故或经济损失。通常像银行系统软件、电力行业软件、电信行业软件等均属此范畴。目前，越来越多的软件企业涉及高可靠性软件项目，如何保证软件质量成为众多企业面临的一个很重要的课题。在本文中，笔者模拟了一个名为CGS的高可靠性系统，重点讨论如何从软件测试的角度保证此类产品的软件质量。