期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
航天嵌入式软件可信性度量方法及应用研究 被引量:10
1
作者 王婧 陈仪香 +5 位作者 顾斌 郭向英 王保华 金晟毅 徐建 张居阳 《中国科学:技术科学》 EI CSCD 北大核心 2015年第2期221-228,共8页
航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度... 航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义. 展开更多
关键词 航天嵌入式软件 软件可信性 度量模型 分级模型 可信属性
原文传递
一种基于关键非功能需求的软件可信性度量模型 被引量:5
2
作者 罗新星 赵玉洁 《计算机应用研究》 CSCD 北大核心 2014年第4期1077-1081,共5页
为了更为合理准确地度量软件可信性,提出了一种基于关键非功能需求的软件可信性度量模型。首先,分析了该模型所涉及的软件可信性、非功能需求、关键非功能需求的定义;其次,对非功能需求进行分解以及权重的分配,并将非功能需求细分为A、B... 为了更为合理准确地度量软件可信性,提出了一种基于关键非功能需求的软件可信性度量模型。首先,分析了该模型所涉及的软件可信性、非功能需求、关键非功能需求的定义;其次,对非功能需求进行分解以及权重的分配,并将非功能需求细分为A、B、C、D四类以便更好地获取;最后,应用Web软件中的"在线旅行"网站详细阐述了该模型的具体度量过程。提出的模型是一个通用的软件可信性度量模型,适用于不同形态的软件,支持软件可信性的定制,对于软件可信性的度量具有一定的指导意义。 展开更多
关键词 软件可信性 非功能需求 关键非功能需求 软件可信性度量
下载PDF
A Unified Measurement Solution of Software Trustworthiness Based on Social-to-Software Framework 被引量:1
3
作者 Xi Yang Gul Jabeen +2 位作者 Ping Luo Xiao-Ling Zhu Mei-Hua Liu 《Journal of Computer Science & Technology》 SCIE EI CSCD 2018年第3期603-620,共18页
As trust becomes increasingly important in software domain, software trustworthiness--as a complex high- composite concept, has developed into a big challenge people have to face, especially in the current open, dynam... As trust becomes increasingly important in software domain, software trustworthiness--as a complex high- composite concept, has developed into a big challenge people have to face, especially in the current open, dynamic and ever-changing Internet environment. Furthermore, how to recognize and define trust problem from its nature and how to measure software trustworthiness correctly and effectively play a key role in improving users' trust in choosing software. Based on trust theory in the field of humanities and sociology, this paper proposes a measurable S2S (Social-to-Software) software trustworthiness framework, introduces a generalized indicator loss to unify three parts of trustworthiness result, and presents a whole metric solution for software trustworthiness, including the advanced J-M model based on power function and time-loss rate for ability trustworthiness measurement, the fuzzy comprehensive evaluation advanced-model considering effect of multiple short boards for basic standard trustworthiness, and the identity trustworthiness measurement method based on the code homology detecting tools. Finally, it provides a case study to verify that the solution is applicable and effective. 展开更多
关键词 software trustworthiness measurement solution LOSS social-to-software(S2S)framework generalized indicator
原文传递
改进的基于属性的软件可信性度量模型 被引量:2
4
作者 陶红伟 赵杰 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2017年第2期151-157,共7页
对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出... 对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出的3个模型,该模型对扩充后的度量性质满足程度方面更优. 展开更多
关键词 可信软件评估 可信性度量性质 公理化方法 软件可信性度量
原文传递
有效的安卓应用软件可信性评估方法 被引量:1
5
作者 晏尧 王丹 +3 位作者 朱玺 陈涛 周婧婧 景小荣 《计算机工程与设计》 北大核心 2022年第3期639-645,共7页
为保障安卓应用环境中智能终端用户的信息安全,利用支持向量机(support vector machine,SVM),结合证据理论,提出一种面向安卓应用软件的可信性评估方法。该方法分为训练阶段和评估阶段实现,在前阶段,对应用软件样本的属性进行度量,即形... 为保障安卓应用环境中智能终端用户的信息安全,利用支持向量机(support vector machine,SVM),结合证据理论,提出一种面向安卓应用软件的可信性评估方法。该方法分为训练阶段和评估阶段实现,在前阶段,对应用软件样本的属性进行度量,即形成属性证据;利用属性证据对各关联SVM进行训练以确定分类模型。在后阶段,利用待测应用软件的度量结果和SVM分类模型,确定与各属性相关联的分类概率赋值;在对各属性证据赋予自适应权重的基础上,利用改进证据理论对各属性实现合成,用于评估软件的可信性。测试结果验证了所提方法的有效性。 展开更多
关键词 安卓软件 软件可信性 支持向量机 证据理论 属性度量
下载PDF
基于软件缺陷的可信证据度量模型 被引量:2
6
作者 李克文 王义龙 +1 位作者 邵明文 刘文英 《计算机工程与设计》 北大核心 2017年第3期640-645,共6页
为克服软件可信性评估过程中可信证据正面度量收集数据困难的问题,提出基于软件缺陷的可信证据度量模型(trustworthy evidence measurement model based on software defects,TEMMSD),利用软件系统中存在的缺陷类型、数目以及缺陷严重... 为克服软件可信性评估过程中可信证据正面度量收集数据困难的问题,提出基于软件缺陷的可信证据度量模型(trustworthy evidence measurement model based on software defects,TEMMSD),利用软件系统中存在的缺陷类型、数目以及缺陷严重程度等因素,从侧面实现可信证据度量。通过软件开发者、第三方测评和用户反馈3个方面采集、获取软件生命周期中不同阶段存在的缺陷数据并对初始数据进行预处理,运用正交缺陷分类法对缺陷数据进行缺陷分析并可信归类,从主客观的角度确定缺陷类型的权重,实现软件系统的缺陷证据度量。对石油企业自然递减跟踪系统进行实例分析,分析结果表明,TEMMSD模型在软件可信证据度量中具有可行性和有效性。 展开更多
关键词 软件可信 软件缺陷 可信证据 可信分析 度量模型
下载PDF
构件化业务流程重组应用服务器可信性度量方法研究 被引量:1
7
作者 韩强 袁玉宇 《通信学报》 EI CSCD 北大核心 2014年第3期47-57,共11页
针对面向业务流程重组的应用服务器(BPRAS,business process re-engineering oriented application server)的可信性度量方法形式化方面的不足,给出了BPRAS的业务流程建模与可信性度量协作框架,并在此框架基础上,提取组成应用服务器的... 针对面向业务流程重组的应用服务器(BPRAS,business process re-engineering oriented application server)的可信性度量方法形式化方面的不足,给出了BPRAS的业务流程建模与可信性度量协作框架,并在此框架基础上,提取组成应用服务器的构件属性和构件组合行为特征,通过进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并进一步对其支撑的业务流程应用软件可信性进行建模,提出多种可信范式,为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。 展开更多
关键词 业务流程重组 应用服务器 构件 软件可信性 度量
下载PDF
移动终端软件可信性度量模型研究
8
作者 于学军 高潮 《电脑与信息技术》 2014年第4期1-3,共3页
目前软件可信性度量的理论方法尚未完善,对于移动终端软件可信性的度量研究还没有相关的理论方法。文章以Android系统为例对可信行为声明进行研究,提出了基于Android系统的可信行为声明的描述内容。最后从软件可信性度量与评价问题入手... 目前软件可信性度量的理论方法尚未完善,对于移动终端软件可信性的度量研究还没有相关的理论方法。文章以Android系统为例对可信行为声明进行研究,提出了基于Android系统的可信行为声明的描述内容。最后从软件可信性度量与评价问题入手,建立了Android软件可信性度量模型。 展开更多
关键词 软件可信性 可信行为声明 度量模型
下载PDF
基于AADL模型航空安全软件可信性度量方法
9
作者 刘歆宁 康玲 《计算机技术与发展》 2023年第8期81-87,94,共8页
航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基... 航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于AADL模型的软件研究了一种综合的可信性度量方案。首先,从复杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将AADL故障模型转换为Markov模型,进而提出了对基于AADL故障模型的软件进行可信性度量的方法;再次,将模糊综合评价法应用于基于AADL模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具。结果表明:该工具通过用户定制可信性度量模型并度量解析后的AADL模型。可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征。 展开更多
关键词 AADL 航空软件可信性度量 Markov分析方法 模型转换规则 模糊综合评价法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部