测试性是表征系统装备工作状态的一种设计特性，其在系统装备的维修保障中具有重要的作用。因测试性十分重要，在系统装备设计、生产、定型、接收过程中，均应对系统装备进行测试性验证。测试性验证指的是用测试性设计规定的测试方法评估系统装备的测试性水平，判断是否达到设计要求，并以此决定是否接收系统装备。常用的测试性验证方法为测试性实物验证，即对实际系统装备注入故障，采集数据评估系统装备的测试性水平。该方法存在故障注入不易，故障注入不完全，验证费用高，验证周期长等缺点。因此提出了测试性虚拟验证的概念。测试性虚拟验证指的是利用计算机技术及建模仿真技术建立系统装备的数字化模型，对数字化模型进行测试性验证试验，统计试验结果并评估装备的测试性指标。该方法具有故障注入实现简单，故障注入完全，验证费用低，验证时间短等优点，能够减少研发费用，缩短研发周期，降低维护成本，指导研发人员进行测试性设计。因此研究测试性虚拟验证具有重要意义。本文在深入研究测试性虚拟验证技术流程基础上，提出由测试性虚拟验证建模、故障样本集生成和故障特征提取与分析组成的测试性虚拟验证体系结构，并以此为基础，开发测试性虚拟验证软件，完成的主要研究内容如下：首先研究测试性虚拟验证建模方法，提出综合层次化建模思想与功能-结构-故障-测试-环境五元素混合建模方法(FSFTC建模方法)的测试性虚拟验证建模方法。其次研究故障样本集生成技术、故障特征提取与分析方法，提出综合考虑器件失效率、环境、时间等因素的故障样本集生成方法和以三维相关矩阵为核心的故障特征提取与分析方法。然后研究Modelica语言建模特点，分析其建模机制，在此基础上扩展Modelica语言，使之具备测试性虚拟验证建模功能，开发基于Modelica的测试性虚拟验证模型库；开发测试性虚拟验证软件，完成软件各组成模块的程序设计与开发。最后应用实例对测试性虚拟验证软件进行验证，以自定义简单系统为例验证测试性虚拟验证软件各项功能，以程控系统为例验证软件的准确性与实用性。