论文部分内容阅读
信息时代的到来使人们对软件的依赖日益加剧,因此软件的可靠性也就成为人们关注的焦点.本文简要回顾软件可靠性学科的三个阶段的发展,阐述并分析了软件可靠性理论发展的现状,从一个全新的角度对软件可靠性进行重新定义.并提出软件可靠性理论发展的方向及需要解决的一些问题.
软件可靠性理论研究现状及发展综述
【摘 要】
：
信息时代的到来使人们对软件的依赖日益加剧,因此软件的可靠性也就成为人们关注的焦点.本文简要回顾软件可靠性学科的三个阶段的发展,阐述并分析了软件可靠性理论发展的现状,从一个全新的角度对软件可靠性进行重新定义.并提出软件可靠性理论发展的方向及需要解决的一些问题.
【机 构】
：
电子工程学院
【出 处】
：
中国电子学会电子系统工程分会第十三届信息化理论学术研讨会
【发表日期】
：
2006年7期
其他文献
面向网络战漏洞数据挖掘领域,提出了一种基于隐马尔可夫模型(HMM)主题网络爬虫的漏洞数据自动挖掘方法,以4个典型网络安全网站的网页作为实验数据集,面向"安全漏洞"主题进行了主题爬行和漏洞信息挖掘实验,并与宽度优先网络爬虫和最好优先主题爬虫进行了性能对比,实验结果表明该方法对于主题信息挖掘具有更高的准确性和效率.
电子对抗装备是我军信息化装备的重要组成部分,如何度量电子对抗装备的质量,已经为越来越多的人所关注,本文分析了电子对抗装备软件的特点,并以此创建了一个度量电子对抗软件质量的模型.
计算机及其网络技术的发展使之在指挥自动化系统中的作用和地位更加重要.文章论述了指挥自动化网络所面临的威胁和可能遭受攻击的形式,并对这些威胁进行分析,有针对性的提出指挥自动化网络的安全防御方法.
电子对抗情报处理软件质量的高低直接影响着整个电子对抗指挥自动化系统的成败.从软件质量框架模型出发,根据电子对抗情报处理软件质量需求及实践经验,提出了电子对抗情报处理软件的质量属性和质量度量元,建立了电子对抗情报处理软件的质量模型.
网格是继传统因特网、万维网之后的第三代网络应用,它能实现网络虚拟环境上的资源共享和协同工作,将网格技术成功地运用到联合作战指挥训练系统中,必将会为系统的发展带来巨大的变革和创新.该文介绍了当前我军联合作战指挥训练系统建设的最新情况.分析了在网络环境中,采用传统分布仿真技术构建的联合作战指挥训练系统遇到的三大瓶颈,提出了网格环境下系统如何克服制约因素,进一步发展的思路.
防火墙数学模型为网络仿真模型提供防火墙的实体模型,通过对防火墙进行部署、配置,增加网络的防护能力及抗攻击能力.文中通过对三种主要的防火墙技术的介绍与运用,以具体的逻辑规则和数据结构来描述和体现防火墙防护行动中的访问控制过程.
针对对路由器的地址转换、访问表、接口、路由学习和包转发功能进行分析抽象,初步设计了各功能模块的类结构,采用类聚集的方法,将各功能模块类的实体包含在路由器类中,根据路由器各部分的相关操作,给出路由器模型设计信号流程的一种处理方案.
拒绝服务以其易发动、破坏性大、隐蔽性好的特点成为了网络战的重要手段,文章通过对作战对象、作战方式和傀儡机的抽象,对拒绝服务进行了建模,并具体描述了行动过程和实现方法.
军用软件测评实验室作为独立测试方,其承担的测试任务具有特殊性,目前缺乏适用的测试过程模型指导,测试过程模型MSTLM依据相关标准提出了针对军用软件测评实验室具有较普遍适用性测试过程模型,并将该模型与现有的典型过程模型进行了分析比较.