计算机已经广泛地应用于航空、航天、武器装备、工业控制、交通、金融和医疗等领域,这些系统越来越多地使用软件进行控制,软件是否正确运行已经关系到人的生命安危,软件失效则会引起巨大的损失。因此如何保证软件的质量,特别是软件可靠性,已成为软件工程中的关键问题之一。软件可靠性测试是软件可靠性工程中的一项重要工作内容,通过软件可靠性测试积累的软件失效数据可以为软件可靠性的评估、验证提供重要的度量依据。软件可靠性测试可以使用与其他类型相同的测试环境,相同的测试结果分析方法,但是必须使用专有的软件可靠性测试数据生成方法,在生成的测试数据中体现出软件需求以及用户对软件的使用情况。本文便是针对航天实时软件特点,研究了航天实时软件可靠性测试数据自动生成的技术。本文首先调研了国内外可靠性测试技术的研究现状,并总结出目前相关的可以借鉴的技术成果,以及需要改进的地方。然后在调研国内外研究成果的基础上,分析了各种方法的优缺点,结合航天实时软件的特点,确立了以使用剖面构造技术为基础的建模方法,该方法涉及使用剖面的概念,分析过程和构造过程。其次,在使用剖面构造的基础上,提出一种有效的遍历算法,生成相应的操作序列。最后,在生成的操作序列的基础上,提出了抽取操作序列的方法以及生成可靠性测试数据的技术途径,并比较了测试数据传统的表格表示法和XML表示法的优劣,提出了采用XML标记语言作为测试数据的表示形式,增加了测试数据的灵活性和扩展性,利于测试数据的进一步加工。本文最后介绍了根据研究成果开发的一套面向航天实时软件的可靠性测试数据自动生成的原型工具的情况,为了验证本文提出的方法和算法,使用该原型工具对某智能电源控制器进行了分析和建模,对自动生成的测试数据进行了分析和总结,从而验证了本文研究的技术和方法的合理性和有效性。