依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

构件复用及其在作战仿真中的应用对策

构件复用是当前软件开发研究的一个热点,也是一个难点。首先比较了当前三种典型的基于构件的软件开发方法,接着提出了理想的基于构件的软件开发方法,之后对基于构件的软件开发方法的基本技术进行了分类。最后在此基础上,结合作战仿真软件开发中存在的不足,研究了构件复用在作战仿真中的应用对策。     

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.     

BOM组件式仿真系统数据驱动方法

仿真系统的数据驱动方法的研究内容包括想定标准化、想定的加载和模型的数据驱动三个方面.针对传统的基于成员层次的分布仿真系统开发模式的数据驱动导致大量人力物力开销,效率低下的局限性,采用BOM作为组件模型描述规范来构建组件式仿真系统,通过用户模型开发规范化,仿真模型组件生成自动化以及通用仿真运行框架统一化等支撑技术来提供高效的模型数据驱动环境;通过通用想定解析模块,采用集中、分时的方式分发仿真脚本数据进行仿真系统环境配置以及更新调整,提高仿真系统的数据驱动的效率和质量.     

嵌入式构件系统Pcanel平台上的构件行为控制

通过为普通构件或构件群添加接口控制构件的方法实现了构件行为运行时的动态控制和配置,对构件系统性能和安全性等非功能性问题提出解决方案,最后通过构件框架组合实现了与原构件系统的兼容.     

软构件行为适应的Petri网方法研究

构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。     

组件技术及其开发模式探讨

根据当前流行的开发方式，从基于组件的开发角度系统地介绍了组件技术的演变、设计模式、开发步骤、实现方案及其应用前景，并给出了一些设计模型。     

基于CORBA技术的网络数字视频监控系统的组件化及实现

分析了CORBA组件的开发和运行环境，使用CORBA技术对整个数字视频监控系统进行了组件式开发。     

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.     

一种基于构件的软件系统可靠性模型

分析了现有构件软件系统的可靠性模型和特点,在此研究基础上,抽象出一种依赖于操作剖面,以及构件使用上下文的构件可靠性的计算方式.利用对系统功能路径分割,提出一种基于操作剖面的路径分析法,计算构件软件系统可靠性模型.最后用一个物流信息系统实例对该可靠性模型进行验证,说明其有效性.