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

电子学报 2019年第11期47卷 2344-2353页

作者：杨曦罗平贾古丽清华大学软件学院信息系统安全教育部重点实验室

可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信&q... 详细信息

可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学,所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM,并与软件的信任体系进行了对比和映射,提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的,为软件可信性的发展提供了新的研究方向.

关键词：软件可信性信任理论 STM STCM 可靠性安全性

来源：评论

学校读者我要写书评

暂无评论

基于矩阵变换的软件可信性演化波及效应

引用

系统工程理论与实践 2010年第5期30卷 778-785页

作者：程平刘伟陈艳重庆大学经济与工商管理学院重庆400030 重庆亚德科技股份有限公司重庆400039 重庆理工大学计算机学院重庆400054

软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性... 详细信息

软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.

关键词：软件可信性构件可信性可信属性邻接图可达矩阵

来源：评论

学校读者我要写书评

暂无评论

软件可信性度量模型研究进展

引用

计算机工程与应用 2010年第27期46卷 12-16,42页

作者：汤永新刘增良北京科技大学信息工程学院北京100083 国防大学信息作战研究所北京100091

介绍了软件可信性认识的演变,总结了已有的软件可信性描述性概念和观点,提出了一种新的软件可信性描述结构模型;回顾了软件可信性度量模型研究的发展变化,同时进行了分析和点评,并结合已有研究成果,指出了软件可信性度量模型研究取得理... 详细信息

介绍了软件可信性认识的演变,总结了已有的软件可信性描述性概念和观点,提出了一种新的软件可信性描述结构模型;回顾了软件可信性度量模型研究的发展变化,同时进行了分析和点评,并结合已有研究成果,指出了软件可信性度量模型研究取得理论突破的关键以及拓展研究的新方向。

关键词：软件可信性度量模型参数估计法非参数估计法

来源：评论

学校读者我要写书评

暂无评论

基于Pi演算的软件可信性度量方法

引用

吉林大学学报（工学版） 2011年第6期41卷 1684-1689页

作者：赵倩王慧强冯光升赵靖哈尔滨商业大学计算机与信息工程学院哈尔滨150028 哈尔滨工程大学计算机科学与技术学院哈尔滨150001

提出了一种基于Pi演算的软件可信性度量方法,将软件运行行为分解成一系列并联或串联动作。然后,通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进行定量研究。实验分析表明,该方法简化了软件可信性度量过程,并能够实时... 详细信息

提出了一种基于Pi演算的软件可信性度量方法,将软件运行行为分解成一系列并联或串联动作。然后,通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进行定量研究。实验分析表明,该方法简化了软件可信性度量过程,并能够实时有效地度量软件可信性的变化情况,适用于度量对可信性变化实时性要求较高的软件。

关键词：计算机软件软件可信性拟合度度量等价

来源：评论

学校读者我要写书评

暂无评论

软件可信性的MAGDM度量模型

引用

微电子学与计算机 2014年第3期31卷 17-22页

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

建立了一个基于MAGDM的软件可信性度量模型.在已建立的软件可信性综合评价指标体系的基础上,采用群组多属性决策的方法对软件可信性进行度量,分别利用主观赋权法对群决策专家的意见进行综合归纳和客观赋值法对群决策结果进行修正,根据... 详细信息

建立了一个基于MAGDM的软件可信性度量模型.在已建立的软件可信性综合评价指标体系的基础上,采用群组多属性决策的方法对软件可信性进行度量,分别利用主观赋权法对群决策专家的意见进行综合归纳和客观赋值法对群决策结果进行修正,根据参评软件与"理想软件"距离的大小对软件可信性进行度量.最后,将该模型运用到某银行开发的网上银行软件的可信性评估中,实例说明了MAGDM模型的具体过程,结果验证了该模型的实用性和有效性.

关键词：软件可信性 MAGDM 主观赋权法客观赋权法

来源：评论

学校读者我要写书评

暂无评论

软件可信性演化的移动元胞自动机模拟

引用

计算机工程与应用 2015年第7期51卷 12-17,55页

作者：文杏梓刘友金欧阳军林湖南科技大学商学院湖南湘潭411201 东南大学计算机学院南京210018

演化是软件可信性的核心问题。为了研究在动态、开放、多变环境下,干扰对软件可信性的影响,在分析软件系统可信性传递过程的基础上,结合元胞自动机机理和耗散理论,构建基于用户视角的软件系统可信性演化的移动元胞自动机仿真模型,仿真... 详细信息

演化是软件可信性的核心问题。为了研究在动态、开放、多变环境下,干扰对软件可信性的影响,在分析软件系统可信性传递过程的基础上,结合元胞自动机机理和耗散理论,构建基于用户视角的软件系统可信性演化的移动元胞自动机仿真模型,仿真研究了软件系统在受到干扰的情境下,软件可信性的变化过程。研究表明,软件系统在受到干扰的环境下,当运行状态发生变化时,其可信性评价值降低,在经历了多次干扰后,系统可信性评价值最终稳定,这为动态评价、预测软件系统可信性提供了一个新的模型与方法。

关键词：软件可信性演化移动元胞自动机

来源：评论

学校读者我要写书评

暂无评论

软件可信性动力学特征及其演化复杂性

引用

中国科学（F辑:信息科学） 2009年第9期39卷 946-950页

作者：郑志明马世龙李未韦卫姜鑫张占利郭炳晖北京航空航天大学数学信息与行为教育部重点实验室北京100191 北京大学数学科学学院北京100871 北京航空航天大学软件开发环境国家重点实验室北京100191

可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件... 详细信息

可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性.

关键词：软件可信性可信特征属性演化复杂性动力系统

来源：评论

学校读者我要写书评

暂无评论

软件可信性动力学行为及复杂性研究

软件可信性动力学行为及复杂性研究

引用

作者：黄佳倩北京大学

学位级别：硕士

软件是计算机系统的灵魂，是信息化系统的核心以及互联网应用的基石。现代信息化社会对于计算机系统的依赖主要体现在对软件的依赖。近年来，随着软件技术及产业的飞速发展，软件在信息社会中发挥着越来越重要的作用，软件可信性问题已... 详细信息

软件是计算机系统的灵魂，是信息化系统的核心以及互联网应用的基石。现代信息化社会对于计算机系统的依赖主要体现在对软件的依赖。近年来，随着软件技术及产业的飞速发展，软件在信息社会中发挥着越来越重要的作用，软件可信性问题已经成为当前研究中的重点。\n 本文将动力系统理论的基本思想与软件可信性有机结合起来，探讨软件可信性的基本科学问题。\n 首先，本文详细阐述了不同的软件可信性的定义，建立了不同的软件可信性属性模型深入理解软件可信性的内涵，并给出了软件可信等级划分、影响软件可信性的因素以及软件可信性当前的研究重点。\n 其次，本文概述了软件可信性评估尤其是软件可靠性度量的研究成果，给出了软件可信性评估的方法及其软件可信性评估指标体系。\n 再次，本文利用动力系统理论的思想、方法为软件可信性演化构建动力学模型并进行复杂性分析，将软件系统的可信性对应为软件系统在动态开放环境下其行为的统计特性。\n 最后，本文通过实例模型分析说明软件系统可信性的动力学特征，并通过Lyapunov指数方法给出了软件可信的必要条件。

关键词：软件可信性动力学行为等级划分可靠性度量 Lyapunov指数

来源：评论

学校读者我要写书评

暂无评论

软件可信性评估工具的研究与实现

软件可信性评估工具的研究与实现

引用

作者：杨静西北大学

学位级别：硕士

随着经济全球化和电子商务的发展,企业在面临激烈竞争、利润缩水,而成本却节节高升的情况下开始提出工作流程自动化与企业再造工程的需求。因此,例如电信能源等很多行业都开始应用业务流程管理系统(BPMS),希望通过该系统软件缩短流程作... 详细信息

随着经济全球化和电子商务的发展,企业在面临激烈竞争、利润缩水,而成本却节节高升的情况下开始提出工作流程自动化与企业再造工程的需求。因此,例如电信能源等很多行业都开始应用业务流程管理系统(BPMS),希望通过该系统软件缩短流程作业时间、快速反应市场与客户需求、有效监控工作进度、分析流程作业成本与死角、减少不必要的岗位设置,从而有效的降低管理成本、提升企业决策反应能力。但是随着BPMS软件市场的繁荣,用户在选择这类软件时面临了困难,因为对BPMS解决方案并没有形成统一的评估标准。目前可信性成为了软件的重要特性,因此对BPMS软件的可信性进行研究,并给出客观的量化评估结果将有利于厂商进行可信软件的开发,也帮助了决策者对厂商的软件进行选型。本论文结合实验室所承担的863科研攻关项目,针对业务流程管理领域的软件可信评估问题展开研究,首先研究了BPMS软件的可信指标体系,其次研究了可信评估的过程模型及算法模型,最后在理论研究的基础上设计实现了评估工具。论文的主要工作体现在以下几个方面: 1.首先分析并研究了可信及BPM领域的相关概念,然后给出了BPMS软件可信性的定义,建立了可信性指标分层结构,并研究了可信性指标的度量定义及指标描述。 2.建立了评估过程模型BPMSTEPM,以指导评估活动的执行。 3.本文给出了基于AHP方法和AWM、HA算子的多属性群策算法模型AAHM,实现了对BPMS软件可信性的量化评估。 4.设计并实现了基于B/S结构的评估工具TrustEva,以辅助评估者建立评估决策环境,从而有效的使评估者完成评估的任务。

关键词：软件可信性业务流程管理系统(BPMS) 评估模型层次分析法(AHP)

来源：评论

学校读者我要写书评

暂无评论

软件可信性静态度量模型设计与工具实现

软件可信性静态度量模型设计与工具实现

引用

作者：李岩华东师范大学

学位级别：硕士

由于软件事故频发,软件可信性成为目前学术界在软件质量保证方面重点关注的话题,其中可信性度量是首要研究课题。相比于通过对软件开发过程的评估来度量软件可信性,对软件实体进行可信性度量更加贴合用户实际需求。本文基于软件源代码... 详细信息

由于软件事故频发,软件可信性成为目前学术界在软件质量保证方面重点关注的话题,其中可信性度量是首要研究课题。相比于通过对软件开发过程的评估来度量软件可信性,对软件实体进行可信性度量更加贴合用户实际需求。本文基于软件源代码的可信性度量反映软件可信性,并提出一种自底向上的软件可信度量体系,使得度量结果更加准确高效。首先,本文提出了软件失信及失信证据的定义,围绕定义对失信证据进行可信性分析,并提出失信证据可信等级模型和失信证据属性模型,将这两个模型应用于CWE缺陷库进行失信证据数统计。其次,本文提出一种新的度量方法。对软件可信性进行自底向上分层度量,度量路径为"属性-软件"。针对属性可信度量提出一种综合的属性度量模型,并对该模型进行了相关性质验证。在软件可信度量模型中通过基于属性相互影响的方法确定各属性权重。采用蒙特卡洛仿真验证了该模型的有效性和稳定性。最后,将上述提出的度量方法在工具上进行实现。该工具在开源静态检测工具Cppcheck的基础上进行二次开发,增加自定义失信证据检查规则,形成了集检测与评估于一体的软件可信性静态度量工具TSMT。本文提出的方法和工具形成了完整的软件可信度量体系。该体系能够应用于软件交付使用前的可信性度量,为用户把握软件可信性提供了帮助。

关键词：软件可信性失信证据可信属性 Cppcheck

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：