论文部分内容阅读
软件可靠性测评技术是保障软件系统可靠性的重要方法之一,在航空航天、交通运输等安全关键领域有着重要意义。为了适应现代高可信软件多任务、多模块化的发展趋势,本文立足于软件体系结构信息,建立集软件系统可靠性验证指标确立、软件系统设计指标确立、软件系统开发指标分配、模块软件可靠性增长测试、系统可靠性验证测试为一体的软件可靠性测评方法。该方法既把软件可靠性增长测试和可靠性验证测试有机的统一起来,同时又充分的把软件可靠性测评过程与软件开发过程及软件结构属性统一起来。在确保可靠性指标要求的基础上,一定程度的解决了高可靠性软件的可靠性增长及验证测试中,所需测试用例量过大、测试持续期过长这一核心问题。本文首先阐述了软件可靠性测评思想,将统计软件测试与可靠性测评相比较得出两者本质是一样的结论。同时,分析了现有的软件可靠性测评方法的局限性。在已有的软件可靠性测评框架基础上加以改进和创新,提出了基于体系结构的软件可靠性测评框架。该测评框架的特点是将软件可靠性增长与验证测试形成一个有机整体,并从软件的模块级实施有效的可靠性跟踪与控制。在对可靠性增长测试测试资源分配的研究中,本文在充分分析前人已有工作成果基础上,提出Markov使用模型的多模块软件可靠性测试资源动态分配方法。该方法针对Markov使用模型多模块软件系统,根据各软件模块可靠性的提高对系统可靠性影响程度的不同进行有针对性的测试,以实现系统可靠性快速增长。并且考虑到在测试过程中各模块复杂度的动态变化导致测试难易的不同,通过分阶段动态调整测试资源,来确保测试资源分配的合理性。在对可靠性验证测试方法的研究中,利用Bayes小子样统计方法,通过尽量利用已有的软件模块级失效数据作为先验信息达到降低验证测试的测试用例的目的;同时针对在可靠性验证中,如何利用系统体系结构信息,综合先验知识,在风险允许范围内获得最优的Bayes先验超参数的问题上,本文提出基于最小风险判决准则的先验参数求解方法,为可靠性验证测试的Bayes判决提供了有力支持。本文在总结分析前人研究的基础上,提出了基于体系结构的软件可靠性测评方法,并对其中软件可靠性指标转换、软件可靠性增长测试资源优化分配以及软件可靠性验证测试提出解决方法。数值仿真表明,所提出方法能够有效降低测试代价,更加有利于软件可靠性测评的工程实践。在安全关键软件规模和复杂性急剧提高而软件可靠性测评研究却相对滞后的今天,以上方法的提出具有一定的理论和实践意义。