论文部分内容阅读
随着我军武器装备建设由机械化向信息化、数字化的跨越,软件在军事装备领域得到了更加广泛的使用,在一些先进的复杂武器系统中,软件已成为了武器系统作战能力和系统性能提升的关键。但是,在软件得到广泛应用的同时,随之而来的软件可靠性问题已成为影响装备质量的一大难题,严重制约了装备整体可靠性水平的提升。 软件测试是保证软件质量的重要手段。软件可靠性测试是为满足用户对于软件的可靠性需求而开展的测试,是保证软件可靠性质量,提升软件可靠性水平的重要手段。因此,本文重点围绕软件可靠性测试技术研究,对软件可靠性质量保证进行了探讨。 首先,在软件可靠性理论研究的基础上对软件可靠性测试的目的、特点及研究重点进行了梳理,并结合软件工程理论,为完善软件可靠性测试体系,提出了覆盖整个软件研制过程的可靠性测试框架。 其次,深入研究分析了“基于操作剖面”和“基于使用模型”的两种可靠性测试方法,针对军用装备软件的交互性和实时性特点,分析对比两种方法的优劣。选择了以Markov链模型作为军用软件可靠性测试建模的重点。 之后,根据某型装备定位定向系统软件的可靠性测试建模需求,从软件的需求规格入手,详细探讨了该软件Markov链使用模型的构造过程,并提出了改进的Markov链使用模型的构造方法,使模型构造更加方便。并以定位定向软件的Markov链使用模型为实例,进行了模型静态分析、测试充分性和测试用例自动生成技术的研究。 最后,在本文的软件可靠性测试技术研究基础上,开发了基于Markov链使用模型的可靠性测试辅助工具,以实现模型的构建、分析和可靠性测试用例的自动生成,并通过实例对软件工具的有效性和性能进行了测试。