采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

一种改进的NHPP软件可靠性模型

软件可靠性模型是定量评估软件质量的重要手段,通过综合分析软件故障检测率及故障引入率建立改进的NHPP软件可靠性模型,并对可靠度进行分析,证明所提模型的有效性,最后通过对现有的数据进行分析,并与经典模型进行比较,证明所提模型的优良性。     

我国空间科学卫星软件工程化管理实践与思考

软件产品是空间科学卫星工程的重要组成部分,其质量和可靠性直接关系任务的成败。根据我国空间科学卫星及其软件特点,空间科学先导专项总体确定了"体系为基、全面覆盖、分类管理"的软件工程化管理总体原则,通过建立健全管理责任体系,构建软件管理制度体系,开展充分调研和审查,进行有效实践与探索,保证软件质量和可靠性,促进重大成果产出,对后续空间科学卫星软件工程化管理工作进行思考并提出建议,为我国空间科学的长期可持续发展积累经验。     

软件可靠性测试技术研究

传统软件可靠性测试技术无法对软件可靠性测试数据中的故障等级进行准确定位，对软件可靠性测试技术提出了新的要求。利用统计用户操作日志对操作概图失效的数据进行收集整体，将故障等级在软件可靠性测试数据中展示出来，能够实现对故障数据的针对化统计处理。使用GEMS对软件可靠性测试数据进行分析处理，证明此种软件可靠性测试技术具有良好的效果，且能增强对软件系统的可靠性分析能力，保证系统的可靠性及安全性。     

基于AHP与AdaBoosting的软件可靠性组合模型

目前的各类软件可靠性模型的评估效果依赖于对失效行为的假设,导致模型适用性较差。为此,借助层次分析法选择合适的软件可靠性模型,依据AdaBoosting算法,对合适的可靠性模型进行组合建模。在失效数据集上对多个参与组合的模型进行学习训练,从而建立AMCM模型。在AMCM模型与4个经典软件可靠性模型上的应用结果表明,该组合建模方法是有效的,可明显提升模型的评估性能。     

基于RBF神经网络的组合导航软件可靠性滚动预测

针对组合导航系统软件可靠性的预测问题,研究了系统累积故障数与系统运行时间的关系,提出一种基于RBF神经网络的软件可靠性预测模型,取得了理想的短期预测效果。为了获得较好的长期预测效果,采取滚动式训练、在线调整网络结构的方法对之加以改进。仿真结果表明,该模型拟合精度优于J-M模型、与G-O模型相当,预测精度高;该模型不需假...     

软件可靠性多模型综合预测研究综述

针对软件可靠性工程中单个经典模型局限性的问题,Lyu等人提出了"综合"的思想,即将多个经典模型的优势结合起来.对软件可靠性多模型综合预测方法进行了梳理,分析了现有综合预测方法的优势和不足之处,在此基础上提出了软件可靠性多模型综合预测研究框架:经典模型的选择、单个经典模型权重的确定、多模型综合、综合模型的评价.并对进一步...     

蒙特卡罗方法在测试用例优化技术中的应用

为了缩短软件测试周期,测试用例的生成是关键.基于蒙特卡罗方法,提出了一种测试用例优化技术,该理论采用适应度比例的概率方法进行优化.通过例子证明,该方法在产生均匀、优化的测试用例方面是有效的.     

数控拉线机控制系统的软件可靠性设计技术

为提高拉线工艺的可靠性,对控制系统的软件可靠性设计技术进行研究。分析数控拉线机的膛线自动加工过程,分别从中断的自动恢复技术、工艺参数与膛线方程绑定校验、刀具基准调整互锁保护技术、工艺循环完整性保证等方面进行设计。从系统调试及实际加工过程的长时间验证结果来看,整个工艺过程的数字化能得到很好的保证。     

基于G-O模型的矿井监控系统软件可靠性分析

通过对现有软件可靠性模型的比较，采用了G—O模型，并对该模型进行了理论推导和求解分析，得到满意解，通过软件测试的故障数据分析，得到包括故障发生次数、当前错误查出率、当前失效率等评估参数。