简介： 本发明提出了一种引入测试有效性的软件可靠性验证测试方法，分无失效与有失效两种情况，分别以离散型软件和连续型软件为对象，建立了统一的测试有效性度量形式。本发明方法针对离散型软件和连续型软件，结合用户给定的验证指标，利用统计故障注入方法，估计无失效情况下测试有效性的值，或者有失效情况下测试有效性的值，确定离散型软件测试所需的最小测试用例量或者连续型软件测试所需的连续执行时间，然后生成相应数量的测试用例进行测试验证。本发明方法降低了测试用例的数量和测试持续时间，加速了软件可靠性验证测试过程，节省了测试资源。