基于Petri网的构件软件系统可靠性研究

近年来,构件软件系统已成为软件工程领域的研究热点以及大型软件系统与软件产品线进行开发的关键技术之一。对构件软件系统的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的系统架构是整个软件系统的基础。文章通过分析构件软件系统的特征和可靠性因素,提出了一种基于Petri网的构件软件系统可靠性分析方法,对构件软件系统的各因素的可靠性进行分析评估,从而推导出整个构件软件系统的可靠性,并在开发后期对构件软件系统可靠性进行改进。     

基于构件的Web系统前馈神经网络可靠性模型

对基于构件结构复杂度较高的Web系统进行可靠性评估时,基于状态或基于路径的软件可靠性评估模型计算复杂度较高,鲁棒性不足。为此,提出了一种计算复杂度低、鲁棒性强的基于构件的前馈神经网络可靠性模型CBPRM。CBPRM将Web系统中各构件的可靠性作为前馈神经网络输入,并基于构件可靠性敏感度对神经元进行动态优化,Web系统可靠性评估由前馈神经网络输出实现。理论分析和实验结果表明,在基于构件结构复杂度较高的Web系统可靠性评估中,CBPRM的计算复杂度低于对比模型,并可确保可靠性评估精度。     

基于构件组装的信息处理软件开发方法

基于构件组装的软件开发方法被认为是提高软件开发效率和质量的有效途径,在软件开发中得到了越来越多的应用。文中分析了软件开发的现状,基于信息处理领域提出了一种构件组合式软件开发方法和适合这种开发方法的构件实现模型。介绍了这种构件组合式软件开发方法的基本实现原理,和在该方法指导下的软件开发过程。通过搭建一个实际的智能文本处理系统证明了该开发方法不仅简化了软件复用,提高了软件开发效率和质量,同时基于这种方法开发的软件具有较高运行效率。     

可复用软件构件表示方法的分析

软件复用有利于提高软件开发的生产率和软件系统的可靠性,降低软件开发的成本,使软件开发实现工程化和产业化.软件构件是其核心技术和基本单位,它是将应用系统中相对稳定的成分提取出来,形成可以重复使用的软件单元.随着软件复用实践的深入,组织内部积累大量构件,对这些构件的组织、管理尤为重要.有效的构件表示和检索是实现高效复用的保证,从而大大降低复用成本.文中对构件的表示进行了分析和比较,为实践中的复用项目提供了技术支持.     

可复用软件构件表示方法的分析

软件复用有利于提高软件开发的生产率和软件系统的可靠性,降低软件开发的成本，使软件开发实现工程化和产业化。软件构件是其核心技术和基本单位，它是将应用系统中相对稳定的成分提取出来，形成可以重复使用的软件单元。随着软件复用实践的深入，组织内部积累大量构件,对这些构件的组织、管理尤为重要。有效的构件表示和检索是实现高效复用的保证，从而大大降低复用成本。文中对构件的表示进行了分析和比较，为实践中的复用项目提供了技术支持。     

基于构件组装的信息处理软件开发方法

基于构件组装的软件开发方法被认为是提高软件开发效率和质量的有效途径,在软件开发中得到了越来越多的应用.文中分析了软件开发的现状,基于信息处理领域提出了一种构件组合式软件开发方法和适合这种开发方法的构件实现模型.介绍了这种构件组合式软件开发方法的基本实现原理,和在该方法指导下的软件开发过程.通过搭建一个实际的智能文本处理系统证明了该开发方法不仅简化了软件复用,提高了软件开发效率和质量,同时基于这种方法开发的软件具有较高运行效率.     

PAR平台中若干软件构件形式化验证技术研究

PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。     

一种基于动态规划的软件可靠性分配方法

软件可靠性是衡量软件质量的一个重要指标.要达到软件的高可靠性需要一定费用,所以软件开发费用对可靠性的影响至关重要.然而一个软件系统的开发费用是有限的,如何合理确定系统的可靠性以使软件开发费用最小成为一个很有意义的研究问题.根据费用与可靠性关系建立了可靠性-费用模型,进而得到软件系统可靠性分配模型.结合动态规划思想,研究基于这个模型的针对各软件组件的可靠性最优分配方法,使得系统达到给定的可靠性目标而耗费最少的资源.     

基于复用的软构件信息分类编码系统研究

软件复用是目前的一种能提高软件开发质量和软件开发效率的重要方法。从软构件的编码结构模型、基于构件/构架的开发模式、软构件的分类方法设计、半层次化的软件体系结构模型以及构件的变点及其实现机制等方面,研究了软构件信息分类编码系统开发中基于软件复用的设计和实现方法。     

舰船装备软件构件可靠性评估方法

为了解决对当前大型舰船装备软件构件可靠性评估不够直观详细,构件的性能参数缺乏足够的测试数据。针对以上问题进行研究,提出针对舰船装备软件构件的可靠性评估方法、分析和综合评价的工具。本文提出了一种针对舰船装备软件构件可靠性评估方法,接着对其评估过程进行介绍。最后,在开发出的可靠性评估工具上对方法进行验证,它可以实现软件可靠性早期预计以及可靠性分析的自动化实施。该软件可以极为方便的帮助软件可靠性工程师实现舰船装备软件构件可靠性早期预计分析工作,具有重要的工程意义。     

基于构件软件的可靠性通用模型

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

基于序列的可靠性分析方法

随着软构件技术的快速发展，基于构件设计复杂软件系统的软件开发方法日趋成熟。如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题。软件是静态的，而开发过程是动态的。为了在动态的开发过程中跟踪可靠性，本文提出了基于序列的场景模型，以便分析软件可靠性。与相关的其他方法不同的是，该方法更关注于动态开发过程中的可靠性分析。     

基于软件架构的可靠性分配算法

研究软件可靠性分配中的软件开发成本最小化问题.将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法.该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小.     

软件可靠性建模研究

依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理。     

一种内嵌软件传感器的双软总线体系结构研究

航空软件的逻辑结构和系统规模日趋庞大,软件可靠性保障已成为新一代航空电子综合化领域的研究热点;针对实时软件的状态监控与故障诊断问题,提出了一种基于构件技术的双软总线风格体系结构,采用面向对象方法予以建模,构建该体系结构的静态框架和动态行为,并探讨了软件传感器采集监控对象实时状态的详细设计;以某惯导系统软件为例,对双总线体系结构进行扩展和应用,实例说明了该体系结构有助于使可靠性保障软件的框架定义更加清晰,易于实现。     

基于结构的软件可靠性建模研究进展

软件体系结构作为提高软件系统质量、支持复杂软件开发和复用的重要手段,已经成为软件工程的一个重要研究领域,软件结构的研究对软件可靠性度量也带来的新的问题。分析和总结近年来基于软件体系结构的可靠性建模方法,并对其今后若干研究方向进行了探讨。     

软件可靠性数据预处理研究

软件可靠性模型是根据与软件可靠性相关的数据,以统计方法或模糊方法对软件的可靠性进行度量、评估和预测。以往对软件可靠性的预测是针对原始数据进行建模,而原始数据所存在的不平稳性的缺陷,直接导致可靠性模型预测结果的误差较大。本文以软件可靠性模型研究中原始数据存在的问题为出发点,探讨提高软件可靠性预测的方法。通过对可靠性数据的预处理,解决其不平稳性导致预测结果误差较大的问题。     

星载软件可靠性模型应用研究及实践

为定量评估软件的可靠性指标,介绍了利用软件可靠性模型评估软件可靠性的过程和方法;针对某星载嵌入式软件的失效趋势,根据模型的选择原则和方法,以及模型的预测质量的对比,最终选择了指数模型作为可靠性评估模型。对该软件在轨运行情况进行了可靠性评估,开展了基于该软件可靠性测试数据的可靠性评估,评估结果给出了该软件的可靠性水平。     

软件可靠性及其评估

介绍了软件可靠性问题的来源,阐述了软件可靠性的定义、软件的失效机理、及软件可靠性与硬件可靠性间的差异,并提出了基于模糊数算术运算的软件可靠性估计方法。     

基于失效分析的软件可靠性评估方法研究

基于用户运行剖面的软件可靠性测试理论广泛地应用在软件测试领域.然而,这种软件可靠性测试既耗时又昂贵.在国内,现在进行的软件黑盒测试主要是系统测试,对于高可靠性要求的软件,系统测试后也需要评估它的可靠性水平.介绍了一种基于失效分析的软件可靠性评估方法,这种方法利用了软件系统测试后得到的缺陷数据,对每一个缺陷导致失效的内外...