检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

-

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

2 篇 学位论文

馆藏范围

2 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2 篇 工学
- 2 篇 计算机科学与技术...
- 2 篇 软件工程

主题

2 篇 构件软件可靠性
1 篇 构件化实时软件
1 篇 路径分析
1 篇 可靠性过程
1 篇 软件可靠性增长模...
1 篇 不完美排错
1 篇 可靠性评估模型
1 篇 路径映射
1 篇 非齐次泊松过程

机构

1 篇 哈尔滨工业大学
1 篇 电子科技大学

作者

1 篇 张策
1 篇 陈立宏

语言

2 篇 中文

检索条件"主题词=构件软件可靠性"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于构件的嵌入式实时软件可靠性评估模型的研究与应用

基于构件的嵌入式实时软件可靠性评估模型的研究与应用

引用

作者：陈立宏电子科技大学

学位级别：硕士

随着计算机技术的日益普及,嵌入式软件得到了广泛应用,逐步渗透到国民生活的各个方面。为了提高嵌入式软件的质量和开发效率,人们将构件化技术引入到嵌入式软件工程的领域中。通过重用第三方构件搭建大型软件系统不仅能够降低软件的开... 详细信息

随着计算机技术的日益普及,嵌入式软件得到了广泛应用,逐步渗透到国民生活的各个方面。为了提高嵌入式软件的质量和开发效率,人们将构件化技术引入到嵌入式软件工程的领域中。通过重用第三方构件搭建大型软件系统不仅能够降低软件的开发维护成本,提高开发效率,而且也能提高软件的质量。但是,目前的工作更多地集中在构件开发以及构件的复用技术等方面,而对软件可靠性等质量方面关注较少,特别是在嵌入式软件中,实时属性的影响,给构件软件可靠性保证带来了许多新的挑战,如何评估基于构件的嵌入式软件可靠性成为一个亟待解决的问题。本文对构件软件特点及其可靠性保证的原理、技术进行了分析研究。一方面,总结出已有的构件可靠性模型存在的问题,针对其中两点,着重研究了考虑构件间相关性的层次模型和构件再估计问题的路径分析模型,并提出了相应的改进方案;另一方面,通过研究实时软件的可靠性特征,分析任务因运行时间,重要度,失效率等不同对系统可靠性造成的不同影响,结合构件化系统的装配原理——不同的构件负责不同的任务,通过协同合作,实现系统特定功能,因此考虑将任务对整个系统的可靠性影响因素(运行时间、重要度等)映射到各个构件上,用任务中所调度构件的运行路径的可靠性评估任务的可靠性,进而计算系统的可靠性,基于这种思想,建立了一种任务路径映射的构件化实时软件可靠性评估模型。最后本文利用任务路径映射的构件化实时软件评估模型,依托于教研室广东《面向传统家电行业的构件化集成开发平台》项目(863子项目),设计开发了基于MCU的构件软件可靠性评估器,验证了此模型的可行性,为软件的设计开发提供了质量保证。

关键词：构件软件可靠性可靠性评估模型路径分析构件化实时软件路径映射

来源：评论

学校读者我要写书评

暂无评论

不完美排错下NHPP类软件可靠性过程研究

不完美排错下NHPP类软件可靠性过程研究

引用

作者：张策哈尔滨工业大学

学位级别：博士

信息技术的快速发展使得软件系统渗透到人类生产生活的方方面面,所发挥的作用越来越大。软件系统业务功能属性和非功能属性紧密相关,一直得到了持续的关注。作为软件系统最为重要的非功能质量属性之一,以可靠性为核心的相关研究一直得... 详细信息

信息技术的快速发展使得软件系统渗透到人类生产生活的方方面面,所发挥的作用越来越大。软件系统业务功能属性和非功能属性紧密相关,一直得到了持续的关注。作为软件系统最为重要的非功能质量属性之一,以可靠性为核心的相关研究一直得到研究人员的重视,并不断持续深入。由于可靠性经常被定义为时间的函数,且受多种随机因素影响,因而基于可变失效强度的非齐次泊松过程NHPP(Non-Homogeneous Poisson Process)进行软件可靠性建模及相关过程研究是重要研究方向。在软件生命周期中,测试阶段是提高软件可靠性的重要时间部分,由于测试环境的随机性和不确定因素的影响,软件排错呈现不完美特点,但现有研究中进行了较多的完美性假设,偏离实际,这样测试阶段可靠性的研究中要考虑到不完美情况。为了更加贴近真实测试过程,本文从研究考虑不完美排错的SRGM(Software Reliability Growth Model)入手,建立单一黑盒形式软件测试过程中考虑不完美排错时的统一的SRGM框架,并提出涵盖测试工作量的软件最优发布策略;进而将研究拓展到考虑内部组成结构的构件软件在集成测试过程中考虑故障检测与修复等随机子过程的情况,建立考虑不完美排错等实际情形的可靠性过程分析模型。不完美排错是对单一黑盒形式的软件在测试或运行阶段中实际排错情况的描述,存在多种形式,现有不完美排错研究考虑的并不充分。本文首先从故障排除的不完全性上、新故障引入以及考虑到测试工作量角度建立统一的不完美排错SRGM框架,框架中明确描述了故障检测、修复与引入的定量关系。此外,框架模型具有较强的柔性,支持根据实际情况进行多个参变量函数的设定。在此基础上给出了变化形式基本相符的故障检测率函数和初值不为零的测试工作量函数,进而建立了能够描述实际多种情形的具体的SRGM:SRGM-GTEID。由于从故障检测与修复的内在逻辑上形式化地建立了测试过程的定量关系模型,给出的SRGM更加符合实际测试环境,可较好描述测试过程中可靠性的增长。软件测试的主要目的是不断检测与修复故障,提高可靠性,实现预期目标下最优发布软件。本文提出考虑到不完美排错时SRGM相关的软件最优发布策略。在不完美排错SRGM框架基础上,建立了具有先增后降S型变化趋势的失效率的SRGM:IDTEDM。从软件全生命周期角度,建立考虑不完美排错的成本模型,进而提出考虑发布时达到预期可靠性的最优发布模型。成本模型中定量地给出了测试成本初值,避免了主观设定带来的不确定性。测试花费的实际值ATC可能会超过所求得的期望值ETC,存在成本严重超支的风险,基于此,建立了涵盖成本风险分析与调控的最优发布模型。这样,在考虑到不完美排错、全生命周期成本构成和测试成本超支风险管控的基础上,建立了最优发布时间求解算法ORP-BEVRA。不完美排错SRGM相关的最优发布策略主要考虑到了实际的不完美排错和可能存在的实际成本超支情况,更加靠近实际的测试过程,为成本—可靠性最优控制与最优发布提供重要的决策参考支持。相比于单一形式的黑盒软件,构件软件考虑到内部的组成结构,其可靠性过程研究更为深入。现有构件软件集成测试过程中对排错过程进行了简化,忽略了不完美排错现象,对测试环境的变化缺乏考虑。针对这些不足,本文提出考虑不完美排错与变动点CP(Change-Point)的构件软件可靠性过程分析方法。建立了考虑不完美排错时的构件软件测试队列模型,模型中的故障修复与检测存在着明确的反馈现象。在此基础上,量化分析了变动点前后故障修复情况,并将不完美排错情况考虑进去,形式化推导出了构件软件测试过程中累积检测与修复的故障数量表达式,刻画出考虑不完美排错与变动点时故障的动态变化情况,可度量出构件软件测试中可靠性的提高情况。此外,给出了变动点在提高故障移除率增长上的定理,证明了测试环境改进使得变动点的出现能够提高测试效率。数值算例验证了所提出模型的有效性。当前构件软件研究中认为被检测到不同严重程度的故障所经历的检修过程均相同,该假设并不符合实际情况。为此,本文提出了考虑修复延迟与不完美排错的构件软件可靠性过程分析方法。在所建立的考虑排错延迟与不完美排错的构件软件测试队列模型中明确引入故障分配过程,使得不同类型的故障所经历的修复环节并不相同。首先对考虑修复延迟时的构件软件测试过程进行统一定量分析,进而分别对严重故障与一般故障的修复过程进行分析,并将不完美排错现象引入到故障修复中。这样,建立了考虑修复延迟与不完美排错的构件软件可靠性分析模型,刻画了累积检测与修复的故障数量情况。由于考虑到更多的实际细节,所提出的模型更加靠近实际的不完美测试过程。模型的有效性经实际的数值算例进行了验证。

关键词：非齐次泊松过程不完美排错软件可靠性增长模型构件软件可靠性可靠性过程

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：