导弹武器系统为多层次的复杂武器装备系统，现代高技术战争中战场维修性是导弹武器系统所必须具备的重要技术指标，本文以航天某部《XX导弹武器系统维修性验证》课题为背景，针对导弹武器系统开展维修性工程研究。 首先研究导弹武器系统的维修性概念，根据导弹武器系统的实际使用需求提出了导弹武器系统维修性指标体系。分析导弹武器系统结构的基础上，通过对导弹武器系统进行维修性建模和分析，给出了导弹武器系统的导弹弹体系统、地面支援系统和火控系统三个分系统的维修性框图和平均修复时间模型，并研究了维修性模型中运用BDD方法和马尔可夫方法解决共因故障的问题。研究了分布未知、分布已知、分布和方差均已知三种情况下的四种经典维修性验证方法，并提出了充分利用验前信息的基于Bayes理论的小样本维修性验证方法，该方案适用于大型复杂系统的维修性验证方案的改进，并且根据工程使用需求设计了操作性强的导弹武器系统维修性验证方案。导弹武器系统结构复杂，而且维修性验证过程中需要收集和处理大量数据，必须借助计算机技术，本文提出了维修性验证软件工具系统的设计和实现方法。