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

中国科学：技术科学 2015年第2期45卷 221-228页

作者：王婧陈仪香顾斌郭向英王保华金晟毅徐建张居阳北京控制工程研究所北京100190 华东师范大学软件学院上海200062 中国空间技术研究院总体设计部北京100094

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度... 详细信息

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.

关键词：航天嵌入式软件软件可信性度量模型分级模型可信属性

来源：评论

学校读者我要写书评

暂无评论

考虑信息源相关的软件可信性评估模型

引用

中国管理科学 2009年第6期17卷 163-169页

作者：杨善林丁帅付超合肥工业大学计算机网络系统研究所安徽合肥230009

本文研究了信息源相关背景下的软件可信性评估问题。首先提出了一种改进的Denoeux谨慎连接规则,给出了面向多证据合并的水平合成算法;其次,定义了一个综合折扣和相对权重的联合系数用于指标集结或群体意见集结;最后,在分析评估过程中客... 详细信息

本文研究了信息源相关背景下的软件可信性评估问题。首先提出了一种改进的Denoeux谨慎连接规则,给出了面向多证据合并的水平合成算法;其次,定义了一个综合折扣和相对权重的联合系数用于指标集结或群体意见集结;最后,在分析评估过程中客观存在的信息不确定性和信息源相关等问题的基础上,给出了一个基于证据理论的软件可信性评估模型。典型算例验证了该模型的合理性和有效性。

关键词：软件可信性信息源相关证据理论评估模型

来源：评论

学校读者我要写书评

暂无评论

考虑短板效应的一种度量模型及其在软件可信性中的应用

引用

计算机应用研究 2012年第1期29卷 165-167页

作者：杨光宇曾东方罗平清华大学信息系统安全教育部重点实验室北京100084 清华大学清华信息科学与技术国家实验室北京100084 清华大学软件学院北京100084

为了解决传统的软件可信性度量模型很少考虑用户主观需求对模型度量的影响,通过引入容忍阈值提出了考虑短板效应的一种度量模型;分析了参数的意义和选取,并应用于软件可信性的度量和评估中,反映了软件可信性中的主观性和客观性,同时解... 详细信息

为了解决传统的软件可信性度量模型很少考虑用户主观需求对模型度量的影响,通过引入容忍阈值提出了考虑短板效应的一种度量模型;分析了参数的意义和选取,并应用于软件可信性的度量和评估中,反映了软件可信性中的主观性和客观性,同时解释了其中存在的短板效应。

关键词：软件可信性度量模型短板效应

来源：评论

学校读者我要写书评

暂无评论

一种基于关键非功能需求的软件可信性度量模型

引用

计算机应用研究 2014年第4期31卷 1077-1081页

作者：罗新星赵玉洁中南大学商学院长沙410083

为了更为合理准确地度量软件可信性,提出了一种基于关键非功能需求的软件可信性度量模型。首先,分析了该模型所涉及的软件可信性、非功能需求、关键非功能需求的定义;其次,对非功能需求进行分解以及权重的分配,并将非功能需求细分为A、B... 详细信息

为了更为合理准确地度量软件可信性,提出了一种基于关键非功能需求的软件可信性度量模型。首先,分析了该模型所涉及的软件可信性、非功能需求、关键非功能需求的定义;其次,对非功能需求进行分解以及权重的分配,并将非功能需求细分为A、B、C、D四类以便更好地获取;最后,应用Web软件中的"在线旅行"网站详细阐述了该模型的具体度量过程。提出的模型是一个通用的软件可信性度量模型,适用于不同形态的软件,支持软件可信性的定制,对于软件可信性的度量具有一定的指导意义。

关键词：软件可信性非功能需求关键非功能需求软件可信性度量

来源：评论

学校读者我要写书评

暂无评论

基于QFD技术的软件可信性评估研究

引用

计算机应用研究 2010年第8期27卷 2991-2994页

作者：熊伟王娟丽蔡铭浙江大学管理学院杭州310058 浙江水利水电专科学校经济与管理工程系杭州310018 浙江大学计算机科学与技术学院杭州310027

对软件可信性的多维属性进行系统综合的度量评估,在软件设计开发过程中有效地跟踪和控制软件可信度是一个重要且亟待解决的研究课题。针对该问题,运用质量机能展开(QFD)技术分析软件可信需求和设计质量特性,并整合运用Kano质量模型测量... 详细信息

对软件可信性的多维属性进行系统综合的度量评估,在软件设计开发过程中有效地跟踪和控制软件可信度是一个重要且亟待解决的研究课题。针对该问题,运用质量机能展开(QFD)技术分析软件可信需求和设计质量特性,并整合运用Kano质量模型测量软件可信性对于软件设计质量特性的敏感程度,提出了一个软件设计开发过程中的可信性评估方法。最后采用某航天操作系统软件的开发实例验证了该评估方法的可行性和有效性。

关键词：软件可信性可信性评估质量机能展开质量屋

来源：评论

学校读者我要写书评

暂无评论

基于自配置的软件可信性增长模型及方法

基于自配置的软件可信性增长模型及方法

引用

作者：赵倩哈尔滨工程大学

学位级别：博士

随着计算机的不断发展和应用范围的不断扩大,应用在其上的软件系统也由于运行环境和自身特点变的越来越不可信,而人们对软件系统的依赖程度却越来越高,因此形成了用户对软件高可信需求与软件可信性得不到保障之间的矛盾。受到传统软件... 详细信息

随着计算机的不断发展和应用范围的不断扩大,应用在其上的软件系统也由于运行环境和自身特点变的越来越不可信,而人们对软件系统的依赖程度却越来越高,因此形成了用户对软件高可信需求与软件可信性得不到保障之间的矛盾。受到传统软件体系结构的限制,当前软件不能主动感知运行环境及自身行为状态,更多地依赖于人工配置,对环境的适应能力明显不足,难以满足人们对软件高可信性的要求。人们希望所使用的软件是一种灵活的,具有自我配置能力的软件,同时能明确了解自己所使用软件是否可信,可信程度是多少等问题。目前,利用自律计算(Autonomic Computing,AC)来解决“以技术管理技术”已经成为未来的发展趋势。在此背景下,本文借鉴自律计算中自配置(Self-configuration)思想,通过在软件系统中添加部分自律属性使软件具有感知自身和周围的环境的能力,实时动态地调整软件配置,智能地适应环境变化并能指导未来的自主决策,从而提高软件可信性。本文首先从软件架构这一宏观角度出发,结合自律计算中自配置思想,提出基于自配置的软件可信性增长模型,为后续工作奠定基础;为了对平衡信息处理能力和系统性能之间的矛盾,提出面向软件可信性分析的信息感知方法,为可信性度量和演化分析提供数据支持;从软件动作拟合的观点出发对软件可信性进行度量,为软件可信性是否增长或增长程度提供有力的支撑;最后以软件可信性的保持和增长为最终目标,进行软件可信演化和分析的研究。本文从体系架构、信息感知、可信性度量到可信性演化分析,构建了一条保障软件可信增长的有效途径,以满足用户对软件高可信性的需求。主要研究内容如下: 首先,针对现有软件可信性较低与用户对软件可信性期望较高之间的矛盾,提出基于自配置的软件可信性增长模型。考虑到软件运行环境和自身结构的复杂性,结合自配置思想,将软件进行自律化处理,使软件具有部分自我管理能力。在此基础上设计软件自配置策略,以软件可信性为导向,对软件进行自配置动作。通过仿真实验证明了本方法理论上的合理性,通过实测实验说明将模型运用到实际环境中,软件可信性将有较高的提升。其次,对于具有自配置能力的软件来说,需要获取运行期的大量数据才能保证对外界环境和自身状态的感知,从而确保自配置行为的正确性。在数据收集后,哪些可以用来为可信性度量和演化分析提供高效且低代价的数据基础成为信息感知的研究重点。针对后续章节的研究内容,通过建立软件系统信息感知框架约束软件中信息采集过程,提出一种面向软件可信性分析的信息感知方法,对软件系统中自律单元(Autonomic Element,AE)收集信息过程进行建模,然后在不降低AE收集信息质量的情况下尽量减少收集信息所带来的代价,保证软件系统的高效运行。实验结果表明,在软件运行过程中添加面向软件可信性分析的信息感知方法,在保持一定运行代价基础上,能有效提高AE信息收集的性能。再次,传统软件可信性度量方法偏重于可信属性研究,因此带来的软件可信性属性多维、定义不统一等缺点,针对此问题,提出基于Pi演算的软件可信性度量方法。从软件行为学角度出发,将软件行为分解成为串联或并联的动作集合。根据软件设计之初对软件的要求定义软件可信行为,并将其组合成为软件可信行为路径,构建软件可信行为路径图。通过度量软件可信行为与软件实际运行行为的拟合度来度量软件的可信性。通过单个动作实验证明本方法的有效性;通过实测实验证明,在同等情况下与通过属性反映软件可信程度的传统度量方法相比,本方法更加实时、有效。最后,由于软件发生自配置后,软件自身必然会发生演化,如果对演化不进行控制,轻则不能保证用户对软件的高可信性需求,重则甚至会导致软件崩溃。针对这种问题,提出一种考虑历史数据的软件演化方法,将软件可信性作为约束软件演化的因素,保证软件演化后仍能满足用户对软件高可信属性的需求;同时建立考虑历史数据的软件演化分析方法,通过可视化手段记录软件演化过程并分析软件在演化过程中存在的问题。实验结果表明,考虑历史数据的软件演化方法能有效地保持和增长软件可信性,使软件可信性达到有条件的非降,能够为软件自配置和演化提供有效的指导。

关键词：软件可信性自配置信息感知度量演化分析

来源：评论

学校读者我要写书评

暂无评论

基于虚拟可信平台的软件可信性研究

基于虚拟可信平台的软件可信性研究

引用

作者：郝瑞太原理工大学

学位级别：博士

可信计算技术从硬件结构层有效提高计算机平台的安全性,目前已成为信息安全领域新的研究热点。随着虚拟化技术的快速发展和广泛应用,将虚拟化技术与可信计算技术结合构建虚拟可信平台是业界实现可信计算最为有效的一种解决方案。但是目... 详细信息

可信计算技术从硬件结构层有效提高计算机平台的安全性,目前已成为信息安全领域新的研究热点。随着虚拟化技术的快速发展和广泛应用,将虚拟化技术与可信计算技术结合构建虚拟可信平台是业界实现可信计算最为有效的一种解决方案。但是目前虚拟可信平台的发展还存在一些需要解决的问题：一是物理平台至虚拟平台的信任链扩展不足,无法保障虚拟客户系统的可信性；二是理论研究滞后于技术实现,至今尚未建立公认的研究基于虚拟可信平台软件可信性度量模型。针对上述问题,本文对基于虚拟可信平台软件可信性度量模型进行了研究,并提出两阶段层次化虚拟可信系统度量模型-TSVTMM,基于该模型提出基于软件可信属性完整性度量方法,并对TCG标准数据封装进行改进,提出了针对可信软件完整性度量列表(TSIML)的数据封装存储方案。根据TCG动态度量的实际需求提出了软件行为动态可信评测方法以及利用模糊理论和模糊支持向机(FSVM)的特点,提出一种新的隶属函数构造方法KDFSVM,从而提高了软件行为的预测精度和识别率。主要研究成果及创新点如下： (1)针对TCG信任链扩展无法保障虚拟客户系统的可信性,提出了两阶段层次化虚拟可信系统度量模型TSVTMM。TSVTMM根据应用软件的两个执行状态——装载和运行整体上分为完整性度量和动态可信性评测两个阶段,并采用不同的方式和策略对软件的装载及运行加以控制。完整性度量阶段是对将要装载的应用软件可信属性信息进行完整性验证。动态可信评测阶段是在软件运行期间通过对其实际行为的监控、动态分析、态势预测,实现软件行为动态可信性评测。并将TCG信任链扩展至TSVTMM,从而保证了TSVTMM自身的安全。该模型容易实现,具有良好的可扩展性。 (2)针对TCG标准数据封装在平台配置更新失效的问题,提出基于TSIML新的数据封装存储方案。采用相对固定的虚拟底层环境状态执行标准封装,结合易变的客户虚拟机状态进行属性封装,从而解决了客户虚拟机状态因频繁变化所引起的多次封装问题。 (3)从软件行为的可信性入手,根据TCG动态度量的实际需求,提出了软件行为动态可信评测方法。通过软件在运行时对其行为轨迹进行度量根据软件实际行为是否符合预期的可信策略进行动态分析评测。将可信度量机制的粒度细化到软件行为的层面。实验结果表明该方法在有限的样本条件下对软件行为模式学习、识别和预测方面具有良好的性能。 (4)为了提高模糊支持向量机FSVM对软件行为识别的精度,提出一种基于模糊理论新的模糊隶属函数的构造方法KDFSVM。该方法对传统的距离模糊隶属度DFSVM进行了改进,引入各样本点紧密程度ρ和k最近邻点中属于同类的比率p来构造隶属度。实验结果表明采用KDFSVM算法对软件行为预测分类的准确率明显提高。综上所述,通过开展基于虚拟可信平台软件可信性度量模型的研究,从而构建虚拟可信执行环境,可以促进虚拟化技术和可信计算技术更好的结合。

关键词：可信计算虚拟化虚拟可信平台软件可信性完整性度量封装存储软件行为动态评测模糊支持向量机(FSVM)

来源：评论

学校读者我要写书评

暂无评论

有效的安卓应用软件可信性评估方法

引用

计算机工程与设计 2022年第3期43卷 639-645页

作者：晏尧王丹朱玺陈涛周婧婧景小荣国网重庆市电力公司电力科学研究院重庆401123 重庆邮电大学通信与信息工程学院重庆400065 国网重庆市电力公司重庆400010

为保障安卓应用环境中智能终端用户的信息安全,利用支持向量机(support vector machine,SVM),结合证据理论,提出一种面向安卓应用软件的可信性评估方法。该方法分为训练阶段和评估阶段实现,在前阶段,对应用软件样本的属性进行度量,即形... 详细信息

为保障安卓应用环境中智能终端用户的信息安全,利用支持向量机(support vector machine,SVM),结合证据理论,提出一种面向安卓应用软件的可信性评估方法。该方法分为训练阶段和评估阶段实现,在前阶段,对应用软件样本的属性进行度量,即形成属性证据;利用属性证据对各关联SVM进行训练以确定分类模型。在后阶段,利用待测应用软件的度量结果和SVM分类模型,确定与各属性相关联的分类概率赋值;在对各属性证据赋予自适应权重的基础上,利用改进证据理论对各属性实现合成,用于评估软件的可信性。测试结果验证了所提方法的有效性。

关键词：安卓软件软件可信性支持向量机证据理论属性度量

来源：评论

学校读者我要写书评

暂无评论

基于结构分解的软件可信性变化传播模式研究

引用

科技管理研究 2010年第5期30卷 170-173页

作者：程平刘伟重庆大学经济与工商管理学院重庆400030

针对软件可信性变化影响研究的不足,引入水波式、开花式和雪崩式等三种传播模式来研究软件可信性变化传播。将软件视作构件的组装,将软件可信性分解到各构件,重新定义了软件可信性;从构件内部、构件之间表征构件可信性的可信属性存在相... 详细信息

针对软件可信性变化影响研究的不足,引入水波式、开花式和雪崩式等三种传播模式来研究软件可信性变化传播。将软件视作构件的组装,将软件可信性分解到各构件,重新定义了软件可信性;从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,构建了软件可信性设计结构矩阵模型;分析了三种传播模式的特点和形成的内在原因,并通过对构件可信属性聚类和划分变化分组在软件可信性变化传播中的不同模式,对软件可信性变化传播影响进行了分析讨论。

关键词：软件可信性构件可信性可信性变化传播模式设计结构矩阵

来源：评论

学校读者我要写书评

暂无评论

基于组件的软件可信性度量与分配模型

基于组件的软件可信性度量与分配模型

引用

作者：黄杜娟淮北师范大学

学位级别：硕士

随着信息技术的飞速发展,计算机软件的应用领域日益广泛,特别是在航空航天、工业生产、交通通信、金融等关系到国计民生的重要领域,软件一旦出问题,将会造成重大损失,因此人们对软件质量的要求越来越高,而软件可信性是衡量软件质量的重... 详细信息

随着信息技术的飞速发展,计算机软件的应用领域日益广泛,特别是在航空航天、工业生产、交通通信、金融等关系到国计民生的重要领域,软件一旦出问题,将会造成重大损失,因此人们对软件质量的要求越来越高,而软件可信性是衡量软件质量的重要标准。如何评估软件系统的可信性及如何在软件需求分析、开发设计阶段保证软件的可信性已经成为软件工程领域的重要研究内容。为了提高软件开发的效率和质量,节约开发成本,越来越多的软件设计者采用基于组件的开发方法,而组件的可信性对软件系统的质量具有很大的影响。本文将从组件角度对软件的可信性度量和可信性分配进行研究,建立软件的可信性度量模型以及软件的可信性分配模型,试图为软件需求分析和开发设计阶段评估软件的质量提供理论保障。主要研究内容包括以下几点:(1)基于组件的不同组合方式,构建软件系统可信性度量模型。首先,利用组件的各种属性及其权重,建立组件的可信性度量模型。其次,通过软件体系结构的划分,将复杂的软件系统划分为若干个子系统,子系统再划分为若干个组件,结合组件的不同组合方式以及组件的权重,建立不同组合下的子系统可信性度量模型,并证明这些模型的非负性、单调性、凝聚性、敏感性以及替代性这五大构造准则。最后,根据子系统之间的结合方式,分别构造软件系统的可信性度量模型。(2)利用层次分析法,建立组件权重分配模型。首先,为关键组件与非关键组件分别构建两两比较判断矩阵,判断矩阵的相容性,根据矩阵的特征值和特征向量,对组件的权重进行分配。其次,利用组件获得的权重,构建软件系统可信性度量模型的求解方法。最后,将组件的权重分配方法以及可信性度量模型应用到火车票购票系统的案例中。(3)基于最低成本花销原则,构造基于费用的软件可信性分配模型。首先,利用软件可信性与费用的关系以及软件体系结构,建立不同结构下的软件系统可信性分配模型。其次,根据组件的不同组合方式,建立子系统的可信性分配模型。再次,利用遗传算法对目标函数进行求解,进而得出软件系统中各子系统以及各组件被分配的可信性指标。最后,把分配模型应用到火车票购票系统的案例中,验证了分配模型的有效性。

关键词：软件可信性组件权重构造准则可信性度量模型可信性分配模型费用层次分析法遗传算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：