|
|
题目：
雅宝题库答案：
****此区域为收费内容**** 需支付 1 知识币后可查看，1币=0.01元查看答案
雅宝题库解析：
随着计算机软件的广泛应用，由于软件失效而导致的航空系统异常越发频繁。特别地，安全关键软件（例如机载控制或导航软件）的失效还可能会造成人员生命与财产的灾难性损失。因此，软件尤其是安全关键软件的可靠性受到广泛关注。为保证安全关键软件交付时的可靠性水平，在开发之前通常将规定量化的软件可靠性验收指标，在最后的产品验收阶段精确、客观地验证当前软件的可靠性水平是否满足指标要求显得尤为重要。但是现有的软件可靠性验证测试方案在应用于高可靠安全关键软件时，呈现出需要连续测试的时间非常长，需要执行的用例数目非常大等缺点，从而导致在某些情况下，高可信地验证高可靠安全关键软件的可靠性水平十分困难。如何改进现有的针对高可靠安全关键软件的可靠性验证测试方案，从而进一步降低验证测试量，是目前国内外软件可靠性工程领域的研究热点之一。因此，本文在现有的基于贝叶斯理论的软件可靠性验证方案的基础上，针对可靠性参数的先验分布密度函数的构造方法展开研究，具体研究内容如下：1．基于减函数的贝叶斯软件可靠性验证测试方案首先选取软件可靠性参数（如失效率或失效概率）的典型减函数作为其先验分布密度函数，进而给出相应的后验分布密度函数，在此基础上分别提出基于减函数的离散型和连续型贝叶斯软件可靠性验证测试方案（CSBDF和DSBDF）。2．基于减函数的多层先验贝叶斯软件可靠性验证测试方案首先选取软件可靠性参数（如失效率或失效概率）的减函数作为其第一层先验分布密度函数，然后取第一层先验分布密度函数超参数的均匀分布函数作为其第二层先验分布密度函数，进而给出相应的多层后验分布密度函数，在此基础上分别提出基于减函数的离散型和连续型多层先验贝叶斯软件可靠性验证测试方案（CHBSDF和DHBSDF）。3．基于减函数的贝叶斯软件可靠性验证测试方案的自动化辅助工具在软件可靠性自动化评估与验证工具（SREDT）的基础上，分别实现了基于减函数的离散型和连续型贝叶斯软件可靠性验证测试方案的核心算法和图形界面，方便软件可靠性工程人员实施该验证测试方案。4．实例验证选取若干真实失效数据集作为先验数据信息，并针对高可靠安全关键软件可靠性参数的特点来制定验证方案参数，将本论文提出的四种验证方案分别与已有的离散型和连续型贝叶斯验证测试方案进行实例验证对比研究。实例验证结果表明：与已有的贝叶斯验证测试方案相比，在验证方案参数相同并且保证验证结果可信度的前提下，本论文提出的基于减函数的贝叶斯验证测试方案以及基于减函数的多层先验贝叶斯验证测试方案可以显著地降低所需的测试时间或测试工作量，特别适用于高可靠安全关键软件。 |
上一篇：基于UML扩展的SFMEA方法研究下一篇：DGMSCMG框架伺服系统谐波减速器的摩擦补偿研究
|
发表于 2023-10-18 12:39:00
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
QQ登录
