检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:黄杜娟[1] 马艳芳[1] 潘海玉 HUANG Dujuan;MA Yanfang;PAN Haiyu(School of Computer Science and Technology,Huaibei Normal University,235000,Huaibei,Anhui,China;School of Computer and Information Security,Guilin University of Electronic Technology,541004,Guilin,Guangxi,China)
机构地区:[1]淮北师范大学计算机科学与技术学院,安徽淮北235000 [2]桂林电子科技大学计算机与信息安全学院,广西桂林541004
出 处:《淮北师范大学学报(自然科学版)》2019年第2期43-53,共11页Journal of Huaibei Normal University:Natural Sciences
基 金:国家自然科学基金项目(61672023);安徽省自然科学基金项目(1508085MA14,1708085MF159);安徽高校自然科学研究项目(KJ2017A375)
摘 要:软件可信性是保证软件质量的重要因素.文章以研究组件化软件系统的可信性为目的,以组件自身的属性作为出发点,结合组件的权重和不同组合模式,建立相应的软件系统可信度量模型.根据组件自身的各种属性,建立单个组件的可信性度量.结合组件的权重和组件的各种组合方式,分别建立相应系统的可信性度量模型.通过理论验证,这些模型满足单调性、非负性、凝聚性、敏感性和替代性等代数性质,更有利于开发人员及用户对软件可信性进行分析和度量.列举相关案例对可信性度量模型进行验证.Software trustworthiness is an important factor to ensure software quality.The component design method has great influence on software trustworthiness and software quality.In this paper,based on the attri. butes of the components,and combining the weight and different combination modes of components,the soft. ware system trustworthiness measurement models were established.First,according to the various attributes of the component,the trustworthiness of a single component was computed.Then,combining the weight of compo. nent and various combinations of components,the trustworthiness measurement models of the system were proposed.It is proved that these models meet the algebraic properties of monotonicity,non-negativity,acceler. ation,sensitivity,and substitution,which are more conducive to the developers and users to analyze and mea. sure the trustworthiness of the software.Finally,some cases are listed to verify the reasonability of trustworthi. ness measurement model.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28