构件软件系统的可靠性评估模型简介

对构件软件系统可靠性评估模型作了简要介绍．构件软件系统可靠性评估应考虑的问题包括构件的可靠性、构件软件系统的可靠性和运行剖面对构件软件系统可靠性的影响等．在分析了有关模型的基础上,指出了该领域研究中存在的一些问题,并对今后的研究方向提出了一些建议．     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

基于UML的软件构件进化模型

在统一建模语言UML(Unified Modeling Language)的基础上提出应该从平面关系和进化关系两个方面来支持面向对象软件的开发。平面关系强调以各种视图显示软件构件(包括分析设计模型元素和代码模块)的体系结构;进化关系是指软件构件被引入系统、发展、实现、再扩充直至灭亡过程中的变换关系。提出并详细介绍了基于UML支持环境中的进化模型。进化模型系统描述了进化关系,并支持UML各模型之间的转换和各开发阶段的平滑过渡。     

基于构件的软件工程中构件模型的分析

基于构件的软件工程（Component—based software engineering cBsE）是一种新型的软件开发模式,构件模型是构件化软件开发模式的核心。构件模型的集成性,可用性和可扩展性是评价构件模型的原则,随着构件化软件开发技术的快速发展,形成了多种构件模型。本文对各种主流的构件模型进行了深入的研究,对它们的差异进行了归类总结。     

一种面向工程的构件式软件体系结构模型

从软件体系结构服务于软件工程出发,总结出6种基本模型元素,建立一种新的构件式体系结构模型———EOCSAM模型,给出它的形式语法和语义.与其他模型不同的是,它将构件的接口、连接模式、性能等作为体系结构的第1类模型元素,并给出计算法则.它能更好地实现从应用需求到代码实现之间的逐步过渡映射,能够从功能、结构和任意多种性能的侧面对系统进行逐层跟踪分析,并可作为软件开发全过程的协同工作框架.     

一种基于置信度的软件构件可信性度量模型

软件构件在测试过程中存在空间局限性以及测试环境的单一性,需要根据系统运行的状态来对构件的可信性进行评估。通过引入置信度的模型对构件的可信度进行评价,给出一个构件可信的度量模型。在度量模型中采用三角模糊数层次分析法确定运行状态对置信度的影响权重。仿真结果表明,该模型能够有效地度量构件的可信度。     

基于构件的软件生产过程模型

在对基于构件的软件工程（CBSE）研究的基础上，建立了一种基于构件的软件生产过程模型。指出了基于构件的软件生产过程与传统的瀑布模型之间的联系与区别，以及各个阶段的关键活动及其产品。此外，对软件工厂的组织结构、车间划分、构件的标准化生产和管理等问题提出了一些可供参考的看法。近期的3个应用软件项目的开发实践表明，采用基于构件的软件生产过程模型，平均开发时间可缩短31％，成本降低28％。     

一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点，在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言（DSADL），详细描述了DSADL的设计目标、组成元素以及形式化描述基础，并实现了分布式软件构架集成开发环境（EDAD）。由于DSADL结合了SADL与构件技术，因此它既有严格的语义基础，同时又具有构件的可复用性、易移植性的特点。实践证明，DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计，从而提高系统的开发效率。     

基于特征模型的构件识别方法研究

构件识别被认为是基于构件的软件开发过程中最重要的阶段之一。主要介绍如何根据构件特征和特征模型间的对应关系,运用聚类算法从特征模型中识别出业务构件。首先,给出特征模型的形式化定义,然后给出基于特征的构件模型的形式化定义,最后根据构件模型和特征模型的关系,运用聚类算法从特征模型中识别出业务构件。     

一种基于模糊物元评价法的构件质量度量模型研究

 基于ISO/IEC 25010软件质量模型,提出了一种构件质量度量模型,运用模糊物元评价法对构件质量进行综合评估.度量模型和评估方法可作为构件管理者在对构件质量进行评价时参考.
     

A component-based back-propagation reliability model with low complexity for complex software systems

Since most of the available component-based software reliability models consume high computa- tional cost and suffer from the evaluating complexity for the software system with complex structures, a component-based back-propagation reliability model （CBPRM） with low complexity for the com- plex software system reliability evaluation is presented in this paper. The proposed model is based on the artificial neural networks and the component reliability sensitivity analyses. These analyses are performed dynamically and assigned to the neurons to optimize the reliability evaluation. CBPRM has a linear increasing complexity and outperforms the state-based and the path-based reliability models. Another advantage of CBPRM over others is its robustness. CBPRM depends on the component relia- bilities and the correlative sensitivities, which are independent from the software system structure. Based on the theory analysis and experiment results, it shows that the complexity of CBPRM is evi- dently lower than the contrast models and the reliability evaluating accuracy is acceptable when the software system structure is complex.     

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software(CBS) reliability modeling and analysis,and a lack of consideration for real debugging circumstance of integration testing,a CBS reliability process analysis model is proposed incorporating debugging time delay,imperfect debugging and limited debugging resources.CBS integration testing is formulated as a multiqueue multichannel and finite server queuing model(MMFSQM) to illustrate fault detection process(FDP) and fault correction process(FCP).A unified FCP is sketched,given debugging delay,the diversities of faults processing and the limitations of debugging resources.Furthermore,the impacts of imperfect debugging on fault detection and correction are explicitly elaborated,and the expressions of the cumulative number of fault detected and corrected are illustrated.Finally,the results of numerical experiments verify the effectiveness and rationality of the proposed model.By comparison,the proposed model is superior to the other models.The proposed model is closer to real CBS testing process and facilitates software engineer's quantitatively analyzing,measuring and predicting CBS reliability.     

基于构件的软件测试模型及方法

采用基于构件的软件设计方法是软件设计的新趋势.介绍了构件及基于构件的软件（CBS）的概念、特点以及由此引发的测试问题.概述了构件软件测试方法的现状,阐述了基于构件的软件黑盒测试方法及模型、白盒测试方法及模型,讨论并比较了两种方法的使用场合和异同之处.在此基础上,列举并比较了几种常见的自动测试方法和工具的基本原理.对构件软件的集成测试和性能测试等问题进行了讨论和分析,给出了构件软件测试的存在问题和研究方向.     

软件可靠性增长模型研究

软件可靠性模型预测结果的优劣,取决于基本假设与实际开发过程的吻合程度.在Kaput-Grap可靠性增长模型的基础上,通过与实际情形更接近的基本假设,研究一种新的软件可靠性模型.     

Component-based software reliability process simulation considering imperfect debugging

In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.     

改进的Jelinski-Moranda软件可靠性增长模型

Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。     

软件可靠性GO模型的有效分析

针对GO模型的参数解结构进行了理论分析,利用参数解存在的条件,得到了结构比较优越的性质,构造了高效的参数估计算法,并结合典型实例编程求解,得到了实验结果。     

计算机软件可靠性数学模型的进化

随着科学技术的进步,计算机软件越来越复杂,出错概率也越来越大,软件可靠性工程已成为一个发展迅猛的技术领域.采用Halstead数学模型,将软件复杂性与软件错误数融为一体;并对该模型作了改进.给出了软件可靠性预计表达式,提出了能表达出软件开发者技术水平、开发工具先进程度、软件重要度的更为精确的数学公式,为软件可靠性分配及预估工作提供了一个有力工具.最后,给出了实际应用的数值例子.     

关于软件评估的可靠性模型假设

对软件评估的可靠性模型假设进行了彻底详细的分析。揭示了软件评估的可靠性模型假设在软件可靠性模型中的重要性。最后讨论了软件可靠性模型假设在实际中的局限性     

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.