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

计算机科学与探索 2011年第6期5卷 553-561页

作者：沈国华黄志球钱巨徐拥军郝进赵文耘彭鑫南京航空航天大学计算机科学与技术学院南京210016 神州数码信息系统有限公司北京100085 复旦大学计算机科学技术学院软件工程实验室上海200433

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估... 详细信息

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估管理系统,通过对一个税务领域案例的详细分析,验证了模型实施的可行性。该研究及评估工具能有效辅助软件可信评估活动的实施,指导软件质量的改进。

关键词：软件质量保证软件可信评估可信属性模型评估指标体系

来源：评论

学校读者我要写书评

暂无评论

基于马尔可夫的软件可信评估模型研究

基于马尔可夫的软件可信评估模型研究

引用

作者：张亚姣河北大学

学位级别：硕士

21世纪是一个信息高速发展的时代，信息技术日益发达，信息产业空前繁荣，同时，信息安全问题也层出不穷。近年来，随着计算模式的多样化以及应用环境的复杂化，软件的可信性成为人们广泛关注的问题。由于软件自身存在的设计缺陷或来自... 详细信息

21世纪是一个信息高速发展的时代，信息技术日益发达，信息产业空前繁荣，同时，信息安全问题也层出不穷。近年来，随着计算模式的多样化以及应用环境的复杂化，软件的可信性成为人们广泛关注的问题。由于软件自身存在的设计缺陷或来自软件外部的恶意攻击可能导致软件产生故障，最终给人们的学习、工作和生活带来消极影响甚至造成巨大损失。因此，对软件的可信性研究具有重要意义。软件可信评估已成为信息安全领域研究的一个热点问题，本文在充分体现软件运行过程的基础上，提出了一种基于马尔可夫的软件可信评估模型。如果软件运行时可以满足两个条件，即按照预期的计划运行和达到设定的目标，那么认为此时该软件是可信的。软件可信性能够从软件行为上反映出来，具体的说，软件的执行过程就是程序从开始到结束的运行过程，软件行为可信体现在程序的运行过程符合预期的计划和目标。本文通过将若干检查点织入软件行为轨迹中来反映软件运行的行为表现，然后对检查点可信程度进行等级划分，通过马尔可夫模型反映检查点可信情况，并根据软件运行情况对检查点进行权重的界定，最后综合每个检查点的可信情况反映软件整体的可信性。仿真实验结果表明，该模型能够有效反映软件中各部分的可信情况，验证了模型的合理性和有效性。

关键词：软件可信评估检查点马尔可夫混合高斯分布

来源：评论

学校读者我要写书评

暂无评论

基于信任网络的软件可信评估方法研究

基于信任网络的软件可信评估方法研究

引用

作者：潘静南京大学

学位级别：硕士

基于互联网的软件开发模式为构建面向用户日常生活的软件系统提供了极大地便利，开放、动态的在线开发方式允许具有一定专业知识的软件开发者，从网络中自行选取能满足相应功能需求的软件服务，进行组合、协作，以完成既定的任务。网构... 详细信息

基于互联网的软件开发模式为构建面向用户日常生活的软件系统提供了极大地便利，开放、动态的在线开发方式允许具有一定专业知识的软件开发者，从网络中自行选取能满足相应功能需求的软件服务，进行组合、协作，以完成既定的任务。网构软件便是这样一类开放软件系统，它是动态网络环境下分布式系统的一种抽象，以软件构件技术为支撑，通过分布式软件动态组合、在线演化来构筑满足不同用户需求的软件系统。而由于系统集成方和组件开发者角色和利益分离，集成方常常无法通过白盒测试来评估软件的可信度；并且，当系统无法满足当前用户需求而进行动态在线演化时，也可能没有足够的时间在替换组件之前进行大量的测试以挑选可信的软件。基于主观信任度的软件可信评估机制提供了一种相对灵活的软件可信评估策略，其基本思想是：考虑到开放环境中可能缺乏完整的信息来保证软件可信度，可以通过收集大量历史用户的使用反馈来验证软件质量。该策略适用于使用日常应用软件系统的用户，他们不要求软件能够绝对地按照软件工程的需求规约运行，而是只要“足够好”的满足个性化需求即可，即：允许系统在满足功能需求的基础上，在可容忍的范围内达到非功能的需求。在度量开放软件系统可信度时，应用基于主观信任度的软件可信评估机制，我们需要遵循其执行步骤：定义用户需求，收集推荐信息，计算软件可信度，并针对开放系统的新特点，设计相应的方法解决一些新的需求和问题。\n 本文中针对现存的一些软件可信评估机制的代表性方法在开放系统中应用存在的局限性，提出了相应的解决方法，并将这些方法实现在实际应用系统中，验证了方法的可行性。\n 本文的主要工作总结如下，我们提出了一个软件服务选取环境中的可信软件评估框架，其中包括三个主要部分：\n 1)给出了一个基于本体的用户可信需求描述方法。本体是一个使用实体以及实体之间关系来描述特定领域内知识的概念，这是一个方便、直观的工具用来描述开放环境中的实体及其间关系。我们用一个本体模型框架给出一个软件服务选取时的上下文描述，它可以在具体应用中进行灵活的扩展来描述用户的可信需求，指导推荐信息的收集，用来综合计算软件可信度。\n 2)设计了一种基于移动Agent的信任链双向搜索算法。我们用基于角色的访问控制语言，来描述关于开放环境中存在的软件服务的认证信息，其中的每一个认证都可以用凭证来描述，而验证一个软件发布方声称的软件属性是否属实，可以转化为一个由多个凭证组成的信任链合法性验证过程。本文中提出的一个基于移动Agent的信任链双向搜索算法，截获用户对于候选服务的某个或多个属性认证后，利用Agent迁移、通讯的自治性进行可信凭证的收集和推导，并依据信任信息的发现结果判断候选服务的可信度。\n 3)设计了一个基于声誉的推荐者发现方法.我们在文中提出了一个基于推荐者声誉的信息源发现方法。首先引入一个相关因子量化不同上下文中的推荐信任关系，得到近似的信任可传递空间，然后应用信任子网分割算法得到评估发起者的可信推荐者群，最后通过主体群内的信任传递与迭代计算确定具有高声誉值的推荐信息源。在执行完推荐信息收集的预处理过程之后，再依照传统协同推荐机制中的步骤，向潜在的可信推荐者发送索取推荐的消息，传递以及合并关于服务的交互经验来挑选最可靠的软件服务。\n 为了验证我们提出的基于主观信任度的可信评估框架及其中方法的可行性，我们将其设计和实现在一个基于可信评估模型的日程管理系统应用中。日程管理是一个广泛应用的日常软件系统，帮助用户合理安排各种日常事务。我们通过组合各类软件服务，向用户提供的日程管理功能包括：用户注册，登录系统，填写个性化信息，配置软件服务各侧面属性，定制应用中的具体服务类型，并组合这些功能模块成为一个完整的日历应用。我们实现的具体软件系统中利用可信服务评估机制选取可靠的子功能模块集成，以合理的顺序执行，提供的应用包括订车票、查询天气、邮件提醒等，有效的满足了用户需求。

关键词：信任网络软件可信评估评估方法软件开发

来源：评论

学校读者我要写书评

暂无评论

基于一致性修正下层次分析法的软件可信评估方法

基于一致性修正下层次分析法的软件可信评估方法

引用

作者：刘钰西南大学

学位级别：硕士

随着信息技术的快速发展,软件已经渗透到各个领域和行业,承载着领域拓展,复杂问题解决的关键作用。然而,规模日趋庞大的软件不可避免的面临着各种缺陷和漏洞,软件失效,崩溃或被攻击的事件时有发生,软件可信问题日益凸显。在此背景下,“... 详细信息

随着信息技术的快速发展,软件已经渗透到各个领域和行业,承载着领域拓展,复杂问题解决的关键作用。然而,规模日趋庞大的软件不可避免的面临着各种缺陷和漏洞,软件失效,崩溃或被攻击的事件时有发生,软件可信问题日益凸显。在此背景下,“高可信”软件开发问题成为国内外学者共同关注的研究热点。其中,软件可信性评估作为保障和提高软件可信性的有力支撑,成为软件可信性保障的重要技术之一。软件可信性评估旨在根据用户需求对其所关注的软件质量属性集合做出量化的评价,以保证软件运行始终符合用户的期望。此过程需要识别和选取被评估软件系统的关键可信特征以构建可信评估模型;并从软件生产过程中收集可信证据以支持对构建的模型进行可信度量。然而,当前的软件可信评估模型及可信度量方法尚存缺陷,其问题归纳如下:(1)评估模型大多由质量模型直接转化而来,可信属性来源单一,且对相关属性是否适用于软件可信评估未加辨析,导致其可信评估模型解释性差、适用性不强;尤其无法面向汽车等特定领域的行业标准进行扩展,难以支持这类具有典型可信评估需求的行业进行应用推广;且其评估过程未考虑可信属性在软件开发不同阶段的关注点差异;(2)各可信属性的权重分配方法存在主观评分的随意性,其可信度量过程高度依赖决策者的人为评估准确性;并常因大规模权重给定时人为评估引入的偏差,导致可信属性的权重判别出现一致性问题。(3)可信度量的整体过程中,从各底层指标的测量到逐层向上的数据融合,全过程缺乏可用且高效的工具支持,人工计算过程十分低效且极易出错。针对上述问题,本文在总结分析传统质量模型和度量方法基础上,开展软件产品可信评估研究,尤其针对于车载软件这一典型的高可信攸关系统,研发了可信评估模型、方法框架以及原型工具。本文主要贡献及研究成果如下:(1)研究提出了软件产品可信评估层次模型iTrust Eval。首先,基于不同学术组织对于软件可信定义的关联及演化,探讨了基于传统质量模型进行软件评估方式的可行性。其次,对经典质量模型关注属性以及当前可信领域相关工作所关注的可信属性进行统计分析,以此构建通用可信属性清单,保障本文模型适用性。同时,提供i Trust Eval模型使用与扩展建议,并以汽车领域为例,考虑产品开发全生命周期不同阶段的可信属性区别,开发了面向车载软件系统的可信评估模型。(2)研究改进了可信度量过程中指标权重分配这一关键问题。描述了当前可信度量过程中权重分配的基本方法以及面临问题,并提出采用模糊理论对层次分析法(Analytic Hierarchy Process,AHP)这一主观权重分配算法进行改进的权重分配方法,基于模糊层次分析法(Fuzzy Analytic Hierarchy Process,FAHP)设计并开发了AHP-FAHP组合算法,有效均衡决策主观性与准确性。同时针对由于决策者输入数值的不一致性导致的AHP算法结果失效问题,提出基于多目标优化的矩阵一致性修正方法(Multi-Objective optimization-Pairwise Comparison Matrix correction,MO-PCM)。(3)研究开发了支持软件可信评估的原型工具。本文设计并开发了i Trust Eval评估模型及其相关算法所对应的可信评估原型系统。并以此为工具,针对于车控软件这一典型的汽车系统组成部件进行可信评估案例分析,在证明本文可信评估框架有效性的同时,详细说明原型系统的使用流程,以提高可信评估效率。

关键词：软件可信评估车载软件层次分析法矩阵一致性

来源：评论

学校读者我要写书评

暂无评论

一种软件可信评估方法及系统

一种软件可信评估方法及系统

引用

作者：刘钰刘波刘志明 400000 重庆市北碚区天生路2号

本发明涉及一种软件可信评估方法，包括以下步骤：S1：通过可信权重分配方法根据可信评估模型的判断矩阵进行各指标权重的分配；S2：将步骤S1得到的各指标权重与各指标的可信度量值进行融合计算得到软件可信评估结果。一种软件可信评估... 详细信息

标准号: CN116431210A

本发明涉及一种软件可信评估方法，包括以下步骤：S1：通过可信权重分配方法根据可信评估模型的判断矩阵进行各指标权重的分配；S2：将步骤S1得到的各指标权重与各指标的可信度量值进行融合计算得到软件可信评估结果。一种软件可信评估系统，用于实现上述一种软件可信评估方法，包括数据处理装置，所述数据处理装置通过可信权重分配方法根据可信评估模型的判断矩阵进行各指标权重的分配；然后将步骤S1得到的各指标权重与各指标的可信度量值进行融合计算得到软件可信评估结果。通过本发明的一种软件可信评估方法及系统，充分考虑并解决人主观决策误差，最大程度保证可信评估准确性。

关键词：软件可信评估指标权重可信评估数据处理装置判断矩阵权重分配可信度可信决策误差融合分配主观保证

来源：评论

学校读者我要写书评

暂无评论

基于马尔可夫的软件可信评估模型研究

引用

电子世界 2014年第16期 374-374页

作者：黄见峰浙江大学计算机科学与技术学院

在信息技术日益发达,信息产业空前繁荣的今天,信息安全问题层出不穷。近年来,随着计算模式和应用环境的复杂多样化,软件的可信度已经成为人们广泛关注的问题。由于软件自身存在的设计缺陷或者外部的恶意攻击,导致的软件故障给人们学习... 详细信息

在信息技术日益发达,信息产业空前繁荣的今天,信息安全问题层出不穷。近年来,随着计算模式和应用环境的复杂多样化,软件的可信度已经成为人们广泛关注的问题。由于软件自身存在的设计缺陷或者外部的恶意攻击,导致的软件故障给人们学习工作生活带来了巨大的损失。因此,软件可信评估已经成为了信息安全领域研究的热点问题。

关键词：软件可信评估马尔可夫

来源：评论

学校读者我要写书评

暂无评论

一种支持软件资源可信评估的框架

一种支持软件资源可信评估的框架

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：蔡斯博邹艳珍邵凌霜谢冰邵维忠北京大学信息科学技术学院软件研究所，北京 100871 高可信软件技术教育部重点实验室，北京 100871

软件资源库是有效管理可复用软件资源的基础设施，软件资源库中丰富的软件资源是软件复用成功的一个前提．目前，软件资源库获取资源的方式主要有两种，用户提交和Internet收集．尤其是后者，极大地丰富了软件资源库中的资源．然而无论... 详细信息

软件资源库是有效管理可复用软件资源的基础设施，软件资源库中丰富的软件资源是软件复用成功的一个前提．目前，软件资源库获取资源的方式主要有两种，用户提交和Internet收集．尤其是后者，极大地丰富了软件资源库中的资源．然而无论是用户提交还是从Internet上获取到的软件资源，由于缺乏一套有效的机制对入库软件资源的质量进行保障，影响了软件复用者对软件资源的使用信心．因此，软件资源库需要一套机制保障其向复用者提供资源的可信性．针对这个问题，本文提出了一个在软件资源库中支持软件资源可信评估的框架，详细分析了该框架涉及到的重要方法与核心内容，如证据的采集、证据信任管理、软件资源的可信评估等．最后，本文介绍了该可信评估框架在北京大学软件资源库系统中的设计及实现方案，同时给出详细的实例分析．

关键词：软件资源库软件可信评估证据信任管理软件复用

来源：评论

学校读者我要写书评

暂无评论

基于可信特征度量的软件可信性评估与改进方法

基于可信特征度量的软件可信性评估与改进方法

引用

作者：漆莲芝郭兴林周昱瑶张谊颜运强高峰 621908 四川省绵阳市绵山路64号

本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性... 详细信息

标准号: CN110442518B

本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。

关键词：度量可信特征软件可信性可信软件可信评估层次性子属性架构软件可信性评估非线性加权改进定量判断贡献分析结构实现偏差分析软件研制生产水平线性加权可信性可信度集结分析期望

来源：评论

学校读者我要写书评

暂无评论

基于可信特征度量的软件可信性评估与改进方法

基于可信特征度量的软件可信性评估与改进方法

引用

作者：漆莲芝郭兴林周昱瑶张谊颜运强高峰 621908四川省绵阳市绵山路64号

标准号: CN110442518A

来源：评论

学校读者我要写书评

暂无评论

基于马尔可夫的检查点可信评估方法

引用

通信学报 2015年第1期36卷 230-236页

作者：田俊峰张亚姣河北大学数学与计算机学院河北保定071002

为了发现软件的脆弱点,通过动态监测行为,对软件及其模块在一段时间内运行的可信状况进行研究,提出了基于马尔可夫的检查点可信评估模型。模型通过在软件行为轨迹中织入若干检查点来反映软件运行的行为表现,然后对检查点可信程度进行等... 详细信息

为了发现软件的脆弱点,通过动态监测行为,对软件及其模块在一段时间内运行的可信状况进行研究,提出了基于马尔可夫的检查点可信评估模型。模型通过在软件行为轨迹中织入若干检查点来反映软件运行的行为表现,然后对检查点可信程度进行等级划分,通过马尔可夫模型及检查点权重反映检查点可信情况,最后综合每个检查点的可信情况得到软件整体的可信性。实验结果表明该模型能够有效反映软件中各部分可信情况,验证了模型的合理性和有效性。

关键词：软件可信评估检查点马尔可夫模型混合高斯分布

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：