软件可靠性是软件质量的重要因素，可靠性评估是对软件可靠性进行定量控制的必要手段。传统的可靠性评估方法都是基于系统运行期间的失效分析，对于武器型号软件，由于其使用试验耗费巨资且周期很长，不可能对系统进行过多的使用试验，再加上目前多数武器系统都不具备条件开展标准的可靠性试验，导致难以采集到足够多的、高质量的失效数据。鉴于这种现状，本文提出一种适用于武器型号软件、基于系统状态验证覆盖的Bayes软件可靠性评估方法。 本文采用发展较为成熟的二项分布贝叶斯可靠性模型作为评估的基础，依据协调性假说原理选择其共轭分布作为先验分布，采用减函数法构造多层先验分布思想来确定先验分布参数，针对不同的测试情况预计相应的测试长度，并提出用“测试用例数目”作为衡量测试工作量的标准。 利用测试覆盖信息对测试集进行度量，能进一步提高评估精度。本文以系统信息交换字作为覆盖分析对象，分别从测试用例对应的状态覆盖域以及被覆盖状态项的重要性差异两方面来规范系统测试用例，使得规范后的测试用例单元在检错能力上近似一致，从而能够直接满足贝叶斯模型的应用要求。 本文进一步对基于状态验证覆盖的Bayes软件可靠性模型进行验证比较，通过仿真试验证明该模型的性能优越性。 在理论研究的基础上，本文针对某跟踪制导雷达作战软件进行可靠性评估的实践应用，并就特征状态的提取与验证等关键技术进行了研究，最后总结了该评估方法的适用条件，为进一步系统实现做好了准备。