论文部分内容阅读
本文介绍了大量软件存在问题的现状，在分析通用功能软件的故障特性基础之上,提出了基于软件故障类型软件可靠性设计方法。
基于需求的软件可靠性设计方法研究
【摘 要】
：
本文介绍了大量软件存在问题的现状，在分析通用功能软件的故障特性基础之上,提出了基于软件故障类型软件可靠性设计方法。
【机 构】
：
合肥电子工程学院
【出 处】
：
中国电子学会电子系统工程分会第十五届信息化理论学术研讨会
【发表日期】
：
2008年3期
其他文献
本文结合我军数据建设现状及发展需求,力足为各作战单元提供风格多样的数据服务,提出了军事信息资源数据访问平台的设计方案.文章介绍了平台的模型和组织结构,并分析了其建设涉及到的技术手段.
重要的军事数据库系统一般都不允许通过数据库的分布式功能直接进行远程查询,本文描述了一个基于长报文可靠传输的远程数据检索系统,介绍了它的体系结构、访问控制,数据检索机制及远程数据检索服务实现的关键技术.
为支持采用面向服务的集成方法建设的军事电子信息系统的试验,本文在研究面向服务集成原理和实现机制的基础上,提出了构建面向服务集成的仿真系统的一种方案,支持未来军事电子信息系统的仿真试验环境的建设.
本文分析了一体化联合作战的基本形式和历史方位,剖析了空军参加一体化联合作战对人才需求的类型等基本需求,从深化教育训练转变、理论研究、网络化共享等方面,提出了院校教育训练改革的建设性建议.
本文从基层部队的视角,分析了部队信息化建设对指挥自动化专业应用型研究生的需求,对指挥自动化院校的人才培养目标、培养方法等方面,提出了建议.
打赢未来可能面临的高技术战争,需要一大批既懂指挥管理,又懂专业技术的一体化联合作战人才,军队院校是一体化联合作战人才培养的重要基地.本文就一体化联合作战人才培养的新理念,从院校培养目标、培养模式、培养途径、培养机制、教员队伍建设等方面进行探讨和思考.
在介绍软件缺陷相关概念和缺陷管理现状的基础上,提出并设计了一种基于状态变化的软件缺陷管理系统.该系统根据缺陷生命周期各阶段状态的变化对缺陷进行控制,优化了缺陷管理的过程,提高了缺陷分析的能力.
鉴于传统的生成功能测试用例技术存在非形式化、忽视问题领域约束等不足,本文提出了基于改进z-precondition算法的功能测试用例生成技术.该技术具有形式化、面向问题领域建模等特点,很好的弥补了传统技术的缺陷.
在对软件缺陷进行数据采集和定量分析的基础上,建立了基于缺陷分类的度量方式,提出了几种对软件缺陷进行统计分类的分析方法;通过基于分类的度量与分析,可充分利用缺陷数据信息,发现和定位软件开发过程和测试过程存在的问题,为军用软件项目管理和过程改进提出指导意见.
测试用例是指由测试数据和对指定测试的建立、运行、结果评价所构成的集合,软件测试分析设计人员的一项主要工作就是编写测试用例,通过人工的方法设计、编写测试用例在软件测试过程中花费了大量的精力,本文试图从软件流程出发,根据软件流程建立一种自动化的软件可靠性验证测试测试用例生成方法,最后给出测试用例生成实例.