摘要：针对现有软件体系结构演化研究很少考虑构件可信属性及其表达的问题,提出类E-R图方法,描述考虑构件可信属性的软件体系结构及其演化过程。给出具有可信属性的软件体系结构(SA-T)概念,引入类E-R图表示SA-T,得到SA-T图,通过关系逻辑形式化描述SA-T图;利用类E-R图描述方法表达构件和连接件的增加、删除、替换演化操作;通过一个电子商务系统软件体系结构演化实例,进一步论述SA-T演化的类E-R图描述方法。该方法对软件可信演化研究具有一定意义。

摘要：针对面向业务流程重组的应用服务器在可信属性建模方面的不足,基于组成应用服务器的构件属性和构件组合行为特征,利用进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并基于该代数模型,进一步对其支撑的业务流程应用软件可信属性建模,提出多种可信范式,为可信BPRAS软件设计提供理论模型支撑。最后介绍了一个应用实例。

摘要：需求分析设计过程中如何进行正确的需求选择是可信需求设计的一个重要研究内容,在分析研究了现有目标视图需求分析方法的优缺点后,对AGORA目标视图模型进行了扩展,提出了一种基于开发成本以及正确性、一致性、可变性等多可信属性的需求方案综合满意度评价选择方法。该方法解决了需求分析设计过程中的需求选择评价问题,并通过了一个分析案例表明了其实用性和可操作性。

摘要：航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.

摘要：按照CFD软件模拟的流速范围、流动特征对CFD软件的可信属性进行划分,形成亚、跨、超、高超流动模拟指标以及所对应的流动特性模拟能力指标,得到CFD软件可信度评价指标;并结合所对应的指标设计出基准级、部件级和系统级三级度量元,制定出CFD软件可信度评价准则和评价方法,建立起一套可用于评价航空CFD软件可信度的评价流程和评价体系。