本文属于火箭测发控系统软件领域，对流程可视化技术的关键技术进行研究。提出一种基于面向对象的分析和设计，将编译技术、MVC设计模式和UML理论结合起来应用的图形可视化技术，旨在降低测试流程定制和管理的复杂度、提高用户工作效率、降低测试成本。图形化界面设计支持对图元的移动、复制粘贴、图元属性值的设定和对控制结构的表达。利用该技术实现测试流程可视化系统，为用户提供直观的交互途径，解决了其他图形化技术无法解决的问题，满足了航天领域的高可靠性要求。

航天发射系统结构复杂，各分系统相互耦合，且故障传播模式多样化，故障特征和故障模式之间存在着模糊关系。因此，本文提出利用模糊Petri网对航天发射系统进行故障诊断，并给出了基于模糊Petri网的故障传播模式模型及反正向结合的推理算法。反向推理用于故障诊断，以选择检测路径，有效地找到发生某一故障的原因及其传播路径；正向推理用于计算该故障发生的真实度。文中以某运载火箭控制系统漏电故障诊断为例，说明了该模型直观、表达能力强的优点，同时表明了算法的适用性和有效性。