软件体系结构脆性分析与验证

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:glosslee
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件系统因具有节点众多、节点间联系复杂、随时间演化、自组织临界等特性可将其视为复杂系统。在软件安全领域,对软件体系结构的分析一直是研究的重点。软件体系结构具有自身的脆性,这体现在软件系统的运行过程会出现由于内部组件失效或外部攻击而导致的级联故障乃至系统崩溃。首次将软件系统视为复杂系统,对软件体系结构的脆性进行相关分析,并结合“数据抽象和面向对象”风格的软件体系结构,通过蚁群算法及GROD算法指出该体系结构脆性的最大崩溃路径及脆性源。这将对软件安全领域系统的设计、监控等方面的研究提供理论及实践方面的指导意义
其他文献
针对块匹配运动估计算法中传统搜索方法的不足,提出了一种新的基于混合粒子群的块匹配运动估计算法。在保留系统随机搜索性能的同时根据运动矢量特性合理地设计初始搜索种群,并通过混沌差分进化搜索协同粒子群算法迭代寻优,混沌序列用于优化差分变异算子,以提高算法的精细搜索能力。通过相同点检测技术和恰当的终止计划有效地降低了系统的运算复杂度。经实验测试与验证,该算法在搜索质量和运算复杂度中达到了一种动态平衡的状态
高中历史科目是高中阶段文科学生的必修科目之一,历史教学强调在引导学生掌握历史知识的基础上使学生能够用所学知识对当前的社会形势以及社会发展做出相应的分析,如果高三阶
沿着姚月明的人生轨迹,品闻着那不时散发出的浓郁茶香,姚月明几乎成了武夷岩茶的代名词,他艰辛的岩茶人生,让闻者倾心,听者动容。$$ 一$$ 名山出名茶。武夷山灵
报纸
k错线性复杂度是度量序列密码安全性的重要指标之一。基于方体理论和Games-Chan算法的逆向推导提出构造方法,构造了具有给定k错线性复杂度谱的2n周期序列。首先使用标准方体分
目的:本研究旨在评估益生菌对尿毒症腹膜透析患者的营养不良状态和腹膜炎发病率的影响。方法:116例腹膜透析患者随机、平均分为实验组(n=58)和对照组(n=58)。实验组每天服用1
湖南省人民政府令第299号《湖南省农村住房建设管理办法》已经2019年11月18日省人民政府第52次常务会议通过,现予公布,自2020年1月1日起施行。省长许达哲2019年12月17日第一
为适应实际系统中任务集的不断变化以及不可忽视状态切换开销的要求,针对多核多处理器系统中常见的周期任务模型,提出一种基于动态松弛时间回收的开销敏感节能实时调度算法DsRO
针对直接逆向建模方法精度低、稳定性差等缺点,提出了一种采用规则化函数为L1/2范数的贝叶斯正则化神经网络逆向建模方法,L^(1/2)正则化使得网络结构具有稀疏性,能够缩小网络的
<正>当前,随着我国宏观经济步入新常态,畜牧业发展的内外部环境发生了诸多变化。面对新挑战和新机遇,杭州市委、市政府按照省委关于畜牧业转型升级的有关意见,积极推进"畜牧
随着新课改的逐步深入,教师对于小学体育教学的课堂要求也有了明显的提升。教师不仅需要掌控学生学习体育知识的节奏,而且还应注意指导学生尽可能规避体育运动中的不良行为,