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

电子学报 2013年第11期41卷 2270-2275页

作者：张广泉张侃祝义周航苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

关键词：信息物理融合系统软件可信性评估可信性指标模型能耗建模

来源：评论

学校读者我要写书评

暂无评论

软件可信性评估方法研究

软件可信性评估方法研究

引用

作者：石莉合肥工业大学

学位级别：博士

随着信息技术的推广和普及，计算机软件承载着拓展应用领域、解决复杂多变问题的重要作用，在现代信息社会中无处不在。然而，随着应用领域的广泛深入和应用环境的动态演化，规模日趋庞大的软件系统并不总是让人信任，常会发生各种故障... 详细信息

随着信息技术的推广和普及，计算机软件承载着拓展应用领域、解决复杂多变问题的重要作用，在现代信息社会中无处不在。然而，随着应用领域的广泛深入和应用环境的动态演化，规模日趋庞大的软件系统并不总是让人信任，常会发生各种故障或失效，软件可信性问题日益突出，已经成为影响信息社会国防建设和国民经济发展的普遍问题。为了消除或减轻软件失信对国民经济造成的威胁和困扰，“如何提高软件可信性”成为国内外不同学术组织和科研团体共同关注的研究热点。其中，作为提高和保障软件可信性的有力支撑，软件可信性评估成为学术界和实业界致力于解决的焦点问题。软件可信性内涵上是业务用户对期望的所有可信指标实现程度的一种个性化感受和评价。随着用户多元化需求和用户所处环境的演化，软件可信性的评估结果常会发生变化，使得软件可信性呈现出演化特性。软件可信性的这种特性导致传统软件评价理论与模型很难适应新形势下软件可信性的评价。此外，软件可信性评估工作是技术层面和管理层面相互渗透的一个重要体现。然而，由于传统软件工程领域侧重于技术层面，致使目前对于软件可信性评估的研究大多集中在可信软件构造和软件可信性测试等层面，缺乏对可信软件评估管理层面的研究。基于此，本文从管理科学的角度出发，结合软件可信性的特点，采用理论研究和实践研究相结合的方法，针对软件可信性评估这一科学问题展开研究。主要研究内容及创新成果如下：（1）探讨了软件可信性增长机理。基于软件演化观，分析并定义了软件可信性增长过程(STGP)，建立了四阶段STGP周期模型，提炼出STGP不同阶段存在的影响软件可信性的四类因素。在此基础上，给出了软件可信性在狭义和广义上的定义以及可信软件的定义，并概括了软件可信性的典型特征。（2）研究了面向需求的软件关键可信指标获取规则。针对软件可信指标的约简需求，引入语言型多属性群决策方法设计可信指标获取规则，基于语言描述方法给出面向需求的语言型可信指标获取流程和方法。针对可信指标获取规则中决策专家权重的确定方法，扩展语言评价信息基本度量元，构建群体一致性最优模型和方案差异性最优模型，并设计了改进粒子群算法进行求解。（3）研究了需求稳定情形下的软件可信性评估方法。描述了需求稳定情形下软件可信性评估问题，并给出需求稳定情形下软件可信性评估流程，重点讨论了评估中可信指标权重的确定问题。针对组合赋权思想，提出一种新的组合权系数确定方法。该方法考虑不同赋权法所得权向量的随机性，建立基于最大熵原理的不确定性最优模型和基于相对熵原理的一致性最优模型，采用改进粒子群算法对加权和模型进行求解。提出了不同组合赋权方法的合理性评价方法，通过算例说明所提方法的合理性和有效性。最后，给出需求稳定情形下软件可信等级的确定方法。（4）研究了需求演化情形下的软件可信性评估方法。描述了需求演化情形下软件可信性评估问题，并给出了需求演化情形下软件可信性评估流程。针对需求演化情形下用户新增需求对软件可信指标权重的影响问题，提出了指标偏好演化的概念，给出了用户新增需求的获取方法、分类方法及重要度量化方法。通过构建用户新增需求和可信指标之间的质量屋给出可信指标偏好变元的计算方法，设计了偏好感应函数以确定需求演化后可信指标的动态权重。最后，给出了需求演化情形下软件可信等级的确定方法。（5）对产品生命周期管理（PLM）软件的可信性进行评估。分析了PLM软件的实施现状，针对PLM软件评估的实际需要，将本文所提方法应用于国内某大型汽车制造企业PLM软件的评估中。采用语言型可信指标获取规则获取PLM软件的评估指标，分别就需求稳定和需求演化两种情况对PLM软件进行评估，并给出了详细的评估过程。通过案例说明本文研究成果在实际中的应用和推广价值。

关键词：可信软件软件可信性评估多指标决策方法需求演化 PLM软件粒子群算法

来源：评论

学校读者我要写书评

暂无评论

软件可信性评估模型的研究

软件可信性评估模型的研究

引用

作者：康培亮北京交通大学

学位级别：硕士

软件系统的应用在各行业的不断深入,使得软件可信性在学术界受到了高度关注,形成了围绕“软件可信性”问题的研究热点。软件可信性评估是软件可信研究中的一个基本问题,在软件可信性保障活动中占据了极其重要的地位。对于软件可信性的评... 详细信息

软件系统的应用在各行业的不断深入,使得软件可信性在学术界受到了高度关注,形成了围绕“软件可信性”问题的研究热点。软件可信性评估是软件可信研究中的一个基本问题,在软件可信性保障活动中占据了极其重要的地位。对于软件可信性的评估,前人做了不懈的努力,提出了多种评估模型。总结起来,这些模型主要集中于软件可信评估算法模型的研究,具有以下不足：对于评估过程中所涉及到的各种概念,没有给出明确的定义与说明；受软件形态的限制,所提出的评估模型仅限于领域内的软件评估。这使得评估模型之间的复用性较差,应用的范围也比较窄。针对以上提出的问题,本论文从软件可信性评估的流程入手,对可信评估的各个方面进行抽象,提出了一种通用的软件可信性评估框架为解决方案。本文从社会学角度出发,并结合关于可信计算的研究,对软件可信性概念的一般性含义进行了阐述与说明,为评估模型的提出奠定了理论依据。通过对软件可信属性的研究,验证了通过“可信属性建模”的方式进行软件可信性评估的可行性,并对软件可信性的度量,从软件使用者的角度进行了等级划分与定义。文章中给出了可信性评估模型的通用性框架,探讨了基于可信属性建模模型进行软件可信性评估的具体实施过程,详细说明了评估的各个过程,并进行了建模元素的抽取与评估元素的XML语言规则的建立。针对证据数据标度的不同给软件可信性评估带来的影响,该模型将可信证据与可信属性通过指标进行连接,消除了差异性。利用AHP方法与改进后证据理论的结合以及模糊综合评判方法,本文提出了一种可行的软件可信性评估方法,通过对实际软件的评估分析,阐述了该评估方法的具体实施过程,并对所得结果进行了分析。

关键词：软件可信性评估评估框架模型抽象可信属性模型可信指标 AHP算法 D-S理论

来源：评论

学校读者我要写书评

暂无评论

一种支持动态多属性的软件可信性评估方法

引用

计算机工程与科学 2013年第6期35卷 107-112页

作者：仲晓敏赵雪峰淮海工学院计算机工程学院江苏连云港222005

为了在软件可信性评估过程中支持动态多属性的特征,提出了一种结合灰数系统理论、Minkowski距离和模糊聚类的评估方法。首先,以灰数来表示软件可信指标值,并以求正负理想点的方法获得理想可信评估值;然后,使用Minkowski距离对周期内的... 详细信息

为了在软件可信性评估过程中支持动态多属性的特征,提出了一种结合灰数系统理论、Minkowski距离和模糊聚类的评估方法。首先,以灰数来表示软件可信指标值,并以求正负理想点的方法获得理想可信评估值;然后,使用Minkowski距离对周期内的软件可信性进行评估;最后使用模糊聚类算法得到综合的可信性评估结果。实验结果及分析表明,所提方法对于软件可信性的动态、多属性评估是有效的,在计算量不大的同时,评估结果也具有较高的准确性。

关键词：软件可信性评估动态灰数正负理想点法 Minkowski距离模糊聚类算法

来源：评论

学校读者我要写书评

暂无评论

一种基于多维属性的CPS软件可信性评估方法

引用

计算机科学 2013年第11期40卷 187-190页

作者：戎玫暨南大学深圳旅游学院深圳518053 中国科学院软件研究所计算机科学国家重点实验室北京100190

信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的问题,而可信评估可... 详细信息

信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的问题,而可信评估可为软件质量的控制和管理提供有力依据。提出了一种基于多维属性的CPS软件可信性评估方法。首先提出一种基于多维属性的可信指标系统,在此基础上提出一种具有时效性的可信属性评价方法,用以评价CPS软件的可信性;然后,设计可信性结果决策规则集,根据软件间的交互结构,计算出软件系统的可信性,并根据决策规则集评价软件系统可信性;最后通过一个实例进一步说明了所提方法的有效性。

关键词：多维属性信息物理融合系统可信证据时效性软件可信性评估

来源：评论

学校读者我要写书评

暂无评论

基于相似度的软件可信性评估方法

引用

山东大学学报（工学版） 2012年第6期42卷 13-18,24页

作者：仲晓敏淮海工学院计算机工程学院江苏连云港222005

为了提高软件可信评估的精确性,提出利用关联可信属性之间相似度的计算结果评估软件的可信性。首先建立可信证据模型、可信属性的数据结构和可信期望模型,便于数据的统一定制和下一步处理。然后对分定性可信属性、定量可信属性进行相似... 详细信息

为了提高软件可信评估的精确性,提出利用关联可信属性之间相似度的计算结果评估软件的可信性。首先建立可信证据模型、可信属性的数据结构和可信期望模型,便于数据的统一定制和下一步处理。然后对分定性可信属性、定量可信属性进行相似度的计算;根据各自的特点,定性可信属性利用Jaccard系数求解,定量属性则利用了相似度理论进行计算。最后,将该方法应用于实例进行验证,结果验证了它的有效性和稳定性。

关键词：软件可信性评估可信证据可信需求模型相似度 Jaccard系数

来源：评论

学校读者我要写书评

暂无评论

灰色系统理论在软件可信性评估中的应用研究

灰色系统理论在软件可信性评估中的应用研究

引用

作者：杨俊峰贵州大学

学位级别：硕士

近年来,随着可信计算(Trusted Computing)研究的不断深入,国内外对它的研究已经开始从硬件层面向软件等方向转变。可是面对越来越复杂的各种应用软件,软件危机、错误、缺陷、故障、失效、病毒、恶意代码入侵是屡见不鲜,而用传统的方法... 详细信息

近年来,随着可信计算(Trusted Computing)研究的不断深入,国内外对它的研究已经开始从硬件层面向软件等方向转变。可是面对越来越复杂的各种应用软件,软件危机、错误、缺陷、故障、失效、病毒、恶意代码入侵是屡见不鲜,而用传统的方法解决这些问题又不理想。因此,如何设计开发高可信软件以及进行软件可信性评估成了值得高度重视的问题,但国内外在这方面的研究甚少。由于不同类型的软件对软件可信性特性(特别是软件可信性属性)的要求是不同的,软件综合可信性是不确定的,对软件可信性的认识还处于灰色阶段。因此,本文以灰色系统理论(Grey System Theory)和可信计算(Trusted Computing)为基础、软件可信性知识为依托、我国重大研究计划“可信软件基础研究”为导向,运用灰色系统理论方法对软件可信性评估进行初步探索和研究。本文的主要内容概括如下: ◆通过对软件可信性概念的分析研究,提出软件可信性模型,详细分析软件可信性特性:软件可信性属性、软件可信性的降低因素、软件可信性保障技术、软件可信性管理与配置、软件文档的可信性以及用户对软件的主观信任性等;讨论软件可信性评估指标体系建立的原则、方法及评估指标的标准化,并给出软件可信性评估的一般过程。 ◆在概述灰色系统理论知识的基础上,深入探讨灰色关联聚类法、GM(1,1)模型、灰色统计评估、灰色聚类综合评估等,并把这些方法理论成功地应用到软件可信性评估指标的选取、软件缺陷预估、软件文档可信性评估以及软件可信性综合评估中。 ◆运用灰色系统理论完成企业信息检索可信性综合评估指标体系、及其可信性综合评估模型的建立,并对该模型实例演示。结果表明,这些方法理论上先进、技术上可行。

关键词：灰色系统理论软件可信性软件可信性评估企业信息检索的可信性综合评估

来源：评论

学校读者我要写书评

暂无评论

基于模糊灰色关联分析的软件可信性评估方法

引用

江苏科技大学学报（自然科学版） 2014年第4期28卷 403-408页

作者：仲晓敏赵雪峰淮海工学院计算机工程学院江苏连云港222005

为了提高软件可信性评估的准确性,提出了一种基于模糊灰色关联分析的软件可信性评估方法,该方法使用梯度模糊数计算各个可信指标的权重.首先计算出软件可信指标的正、负理想值,然后使用灰色关联分析方法计算出可信指标度量值对正、负理... 详细信息

为了提高软件可信性评估的准确性,提出了一种基于模糊灰色关联分析的软件可信性评估方法,该方法使用梯度模糊数计算各个可信指标的权重.首先计算出软件可信指标的正、负理想值,然后使用灰色关联分析方法计算出可信指标度量值对正、负理想值的灰色关联度,依次计算出软件可信性评估值.其中,通过模糊梯形数对可信评估指标的权重值进行处理.应用结果表明:所提方法对于软件可信性的评估是有效的,结果具有较高的准确性.

关键词：软件可信性评估可信指标正负理想点法梯形模糊数灰色关联分析

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

标准号: CN110442518B

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

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

来源：评论

学校读者我要写书评

暂无评论

一种用于软件可信性评估的可信证据分析与度量方法

一种用于软件可信性评估的可信证据分析与度量方法

引用

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

本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件... 详细信息

标准号: CN110569197B

本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件可信需求与证据源追溯关系的建立；软件可信需求优先级的确定；软件可信需求实现的分析与判定；软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型，通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量，保证了用于软件可信性评估的证据数据的准确性与客观性，从而提高了软件可信性评估结果的可靠性。

关键词：可信度量软件可信性评估基于软件证据模型证据分析证据数据判定采集间接度量可信评估粒度标准设计软件需求驱动需求实现证据体系证据源证据构建文档追溯分解保证分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：