论文部分内容阅读
随着信息技术的发展,以嵌入式系统技术为代表的计算机技术广泛地应用在我国的武器装备系统中,并为其性能带来了革命性的变化。同时,技术的发展和应用要求的提高,也使武器装备系统变得越来越复杂,对软件可靠性的要求也越来越高。嵌入式管控软件作为一种实时的控制软件在武器装备中起着核心的作用,但是目前公开发表的有关其可靠性的研究成果还很少,所以对嵌入式管控软件的可靠性进行研究是很有必要且十分重要的。本文在分析了影响嵌入式管控软件可靠性的因素后提出了从设计和测试两个方面对其可靠性进行保障的解决思路。在其可靠性设计中,将面向对象的设计方法贯彻于软件设计的整个过程,并扩展了UML以适应嵌入式实时软件建模的需要,同时结合嵌入式管控软件特点,提出了提高其可靠性的设计方法,并对其中的重要细节进行了详细的探讨。在嵌入式管控软件的可靠性验证中,本文丢弃了传统的通过软件可靠性模型进行可靠性评估的方法,通过对各个任务模块的可靠性控制来实现软件系统的可靠性要求,提出了将软件系统的可靠性进行分配的可靠性分配模型,并就模型的具体细节进行阐述。在将软件的可靠性指标分配到各个任务模块之后,通过统计测试的方法将对任务模块的可靠性验证转化为执行确定数量的无失效测试用例数。在测试用例的生成中,本文根据任务模块的特点,将传统的运行剖面的构造方法进行简化,便利了测试用例的生成和测试效率的提高。最后,本文将提出的嵌入式管控软件的可靠性设计方法和验证方法应用到典型的嵌入式管控软件——干扰控制器的平台管控软件中。结果表明,该方法可行,并且对嵌入式管控软件的可靠性起到了很好的保障作用。