基于知识的软件可信性需求获取

针对软件系统的可信性需求获取,本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因,因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策,并且现实世界积累的软件系统失效和其引发问题的相关知识,可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足,从而帮助分析人员发现更多的软件系统的可信性需求.     

构件化业务流程重组应用服务器可信性度量方法研究

针对面向业务流程重组的应用服务器（BPRAS, business process re-engineering oriented application server）的可信性度量方法形式化方面的不足,给出了BPRAS的业务流程建模与可信性度量协作框架,并在此框架基础上,提取组成应用服务器的构件属性和构件组合行为特征,通过进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并进一步对其支撑的业务流程应用软件可信性进行建模,提出多种可信范式,为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。     

网构软件选择的可信性评估算法

网构软件可以加快软件开发的速度和降低成本。然而,随着网构软件数量的增多,如何选择合适的构件成为一个具有挑战性的问题。现有的研究工作,有的只给出了可信性评估模型,没有具体的实现方案;有的只是考虑了的可靠性一个可信属性。提出基于贝叶斯网络的可信性评估模型：首先对构件进行结构分析,根据其模块划分和结构层次等建立相应的可信性评估体系;其次,采用自底向上的计算方法确定各个软件实体的可信性评估值;最后,利用客观数据对评估指标进行修正,得到统一的可信性评估结果。实验结果表明：算法可以客观、明确的对网构软件进行评估,能够科学、有效的指导网构软件的选择。     

APP软件的用户满意度模型研究

目前多数软件用户满意度模型只关注了用户满意度的部分内容,有些研究只针对部分APP软件。文中基于ISO/IEC 25010软件产品质量标准,结合APP软件的特点,从主观和客观的角度出发,从用户、软件、环境三个方面提出了APP软件通用的用户满意度模型。通过APP软件用户评论的分析,表明文中提出的APP软件的用户满意度模型是可行的。     

基于检查点的分布式软件监控与可信性评价

基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为多层模块结构,进行基于检查点结构树的节点实例可信性以及基于节点的分布式软件可信性评价。实验表明能以较小的监控开销,更准确地评价分布式软件实例的可信性,能够处理无限路径,且不存在大状态空间问题。     

基于社会学信任理论的软件可信性概念模型

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

基于组合赋权法的指标权重确定方法研究与应用

指标权重确定是作战决策过程中的一个重要环节,直接影响着作战决策的可靠性和正确性.针对有效进行指标权重确定的现实需求,研究了主观赋权法和客观赋权法相结合的权重确定方法.首先,在分析主观赋权法和客观赋权法各自特点的基础上,提出了两者结合使用的思想;其次,研究了运用最小二乘原理求解组合权重的基本步骤,给出了具体算法;最后,通过算例,得到了与事实相符的结论,验证了所用方法的有效性.     

软件可信性的灰色聚类评估算法研究

在对软件可信性认识具有明显灰性的前提下,对软件可信性定量评估用普通的方法更是难以解决。因此,结合灰色聚类评估和AHP法建立了灰色聚类评估指标体系,提出了软件可信性的灰色聚类评估算法,并实例演示。实验表明,该算法具有一定的可行操作性和实用性。     

APP软件客观评价方法

为了帮助用户选择适当的APP软件,提高APP软件开发质量和用户使用体验,基于用户使用APP软件的情况及反馈,选取7个针对APP软件的评价指标,提出APP软件客观评价指标体系。首先对APP软件评价指标值进行数据标准化;然后采用标准离差法、熵权法、CRITIC法三种客观赋权法组合计算,得出相应指标权重和APP软件的客观综合评价值。针对音乐类APP软件,应用以上方法计算APP软件综合评价值,并与应用商店APP软件排名进行对比。实验结果表明提出的APP软件客观评价方法是有效的,该评价体系可以为APP软件的设计和开发提供一定参考。     

贝叶斯网络在软件可信性评估指标体系中的应用

软件可信性是软件的重要属性,软件可信性评估模型是近年来国内外的热门研究方向.本文提出了一种基于贝叶斯网络的软件可信性评估指标体系模型,与一般的概率分析相比,它在模型的适应性、概率分析的全面性以及对可能结果的有效判断上有明显的优势.     

基于软件度量的数据挖掘结果的评估模型

对数据挖掘所产生的模式进行解释和评估是数据挖掘过程中的一个优化处理步骤,虽然可以通过设置模式的属性阈值消除大量无关模式,但当面对一个大的数据库时,数据挖掘的最终结果依然很大。从主观和客观两个方面分析模式评估的标准,提出了数据挖掘结果评估的度量构造,详细说明了各个度量的计算方法,对挖掘结果进行了综合处理。通过此模型可以对数据挖掘结果的可用性和可靠性进行客观的评价。     

军用电子设备的可信性设计

可信性概念是随着军事技术的发展而提出的,给出可信性概念以及军用电子设备可信性设计的3个主要阶段：可信性分配、预计及试验,提出了提高设备可信性的技术措施。     

软件可移植性的度量

本文简要介绍和分析了软件可移植性的概念,并对可移植性软件和软件可移植性进行了定义,给出了一种实用的软件可移植性度量方法.     

基于分级属性的软件监控点可信行为模型

为了准确判断软件的可信性,针对软件预期行为轨迹中的软件监控点,该文提出了一个基于分级属性的软件监控点可信行为模型。首先,依据软件监控点各属性在可信评价中的作用范围将属性分级,构建各级属性的可信行为模型。其次,针对场景级属性,对同一监控点的训练样本进行区分,提出了一个基于高斯核函数的场景级属性聚类算法;针对单类训练样本,提出了基于单类样本的场景级属性权重分配策略。最后,实验分析表明：基于分级属性的软件监控点可信行为模型能够准确地对监控点的可信性进行评价;对于场景级属性可信模型,采用基于高斯核函数的场景级属性聚类算法具有更低的分类错误率,基于单类样本的场景级属性权重分配策略具有更优的可信性评价效果。     

浮点运算部件中可信性的研究

介绍了信息系统可信性的概念,选用了IBM POWER6浮点乘加部件中的算术运算为实例,对提高浮点运算部件中计算可信性的关键技术进行探究,为研究计算机算术运算的可信性提供了一定的参考。     

嵌入式系统PCB的可信性设计

嵌入式系统具有独特的电路结构和电气特性,在产品设计阶段进行合理的可信性设计是保证产品质量,降低成本的基本手段。可信性设计的内容包括可测试性设计、可维修性设计、可靠性设计。产品设计过程中这三部分是相互交叉,相互影响的。     

基于交换机配置行为的网络可信性评估

在广泛应用的局域网中,网络数据的转发主要靠网络交换机设备来实现,网络管理员需要对网络交换机进行配置才可以实现网络具体的功能,网络数据转发的有效性受网络交换机配置的影响。文章对网络的不可信任问题进行了分析,提出了网络交换机配置行为的网络可信性评估方法;针对网络交换机配置和功能,提出了基于交换机配置行为的网络可信性评估框架,以保证网络设备的运行可以满足用户对网络的可信性要求。     

基于可信性理论的灾后初期救灾物资分配机会约束模型

针对自然灾害发生初期救灾物资紧缺时如何准确有效公平的分配有限的物资问题,基于可信性理论提出一类带有模糊参数的物资分配机会约束模型。进而,讨论可信性函数的逼近方法并且设计了一个基于逼近方法、神经网络和遗传算法的混合智能算法求解此模型。最后给出一个例子来说明所设计模型和算法的实用性及有效性。     

一种基于功能点规模度量的软件成本估算模型

软件项目是不同于一般工程项目的项目类型,具有高度的不可预知性,受用户需求,开发方式的影响很大没有明确的成本估算,将导致软件开支的不可控制。本文研究如何通过功能点规模度量点方法估算软件项目的规模及成本,提出了一种基于功能点规模度量的软件项目成本估算模型,给出模型公式该模型适用于软件开发项目的规模、工作量与成本估算