单片机系统软件可靠性设计的研究

在分析程序计数器PC“走飞”成因及其后果基础上,全面阐述了指令冗余、软件陷阱等常见软件可靠性设计方式、优缺点,提出了一种程序模块间的远程拦截技术,较好地解决了PC“走飞”带来的单片机控制系统可靠性问题,完善了单片机控制系统软件可靠性设计技术。     

一种层次结构Markov链的火控雷达软件测试剖面构造方法

操作剖面构造是软件可靠性测试中的一项重要工作内容,针对传统操作剖面构造方法对机载火控雷达软件的适用性差、测试难以实施的情况,分析了传统操作剖面构造方法的特点,提出了一种层次结构Markov链使用模型构建方法,借鉴Musa操作剖面"系统模式剖面-功能剖面-操作剖面"的分解方法,对机载雷达的作战模式进行层次分解和模式封装,...     

软件可靠性模型Jelinski－Moranda的计算机实现

Ｊｅｌｉｒｉｓｋｉ一Ｍｏｍｎｄａ模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现，并引用一个实例对此程序进行验证。     

软件测试资源与成本管控和最优发布策略

为全面系统地了解软件测试过程中与可靠性相关的重要过程的研究现状和最新发展,对测试资源和成本的管理,以及最优发布技术问题进行了深入研究。首先将研究问题划分为4类,剖析了测试资源分配与控制,成本模型和最优发布基本内容,给出了其公式化的形式化描述和内在关系;然后从软件体系结构建模、测试过程建模、非线性最优化与仿真求解3个方面进行了技术分类评述。进一步将研究内容从5个方面进行归一化分类,并对选取的典型模型进行了归类比较总结。最后,指出了进一步研究发展的主要问题。研究分析表明,测试资源分配与成本管控和最优发布策略中,考虑到软件体系结构特征和不完美排错模型,向多目标融合方向发展,并与可靠性评估相关是后续研究的研究。     

软件可靠性测试技术研究

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

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

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

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

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

面向软件演化的可靠性分析代数方法

环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响...     

软件可靠性及其保证

论述了软件可靠性对软件质量的重要影响,分析了影响软件可靠性的主要因素,重点阐明了提高软件可靠性的六条关键途径。     

某类产品的软件可靠性保证大纲

文章论述了某类产品的计算机软件所具有的功能的特点以及应满足的可靠性要求,如实时性要求严格,运行环境恶劣等。并提出开发这类软件时,必须制定一个顶层文件－－软件可靠性保证大纲,以指导软件开发活动并使之满足可靠性的要求。然后从制定和研究软件可靠性保证大纲的角度,简要论述了软件可靠性工程与软件工程、软件质量工程、可靠性工程的相互关系。最后提出了监督与控制、设计与分析、评价与验证三个方面１９个工作项目,论述