一种基于过程构件的软件演化过程设计方法

软件构件技术已成为软件开发的一种重要方法,同样过程构件技术在软件过程设计中也起着重要作用。过程构件技术对于提高软件过程的设计效率,增强过程的可复用性以及保证软件过程的质量有着十分重要的意义。主要针对软件演化过程(SEP)的设计,提出一种基于过程构件的过程设计方法,通过对过程构件和连接件进行连接与组装,最后得到以Petri网形式描述的软件演化过程模型。     

软件演化过程体系结构研究

软件过程与软件之间有着非常紧密的联系.借鉴软件体系结构SA的有关概念,提出了软件演化过程体系结构SEPA,试图用SEPA在总体上描绘出软件演化过程的蓝图.给出SEPA的相关定义、研究目的和意义,并对SEPA的描述工具以及风格进行论述,最后提出了一种基于SEPA和过程构件的软件演化过程设计方法.     

浅析软件演化过程描述语言的作用及特点

作为一种具有良好描述能力的形式化建模语言,软件演化过程描述语言能够准确的对演化过程进行详细的描述。采用软件演化过程描述语言对演化过程进行描述,不仅能够从不同抽象层次上进行描述,而且便于控制、分析和改进演化过程。基于此,本文就软件演化过程描述语言的作用及特点进行分析研究。     

一种支持软件可信演化的构件模型

对环境的适应是软件保证其可信的重要手段.当应用场景超出开发阶段的预设时,软件的环境适应能力需要能够在线调整,以保证其行为和结果仍可符合用户预期.这一调整的前提是软件工程层面的高效支持机制.基于关注点分离原则和动态软件体系结构技术,提出了一种支持软件环境适应能力细粒度在线调整的构件模型ACOE(adaptive component model for open environment).ACOE将软件环境适应能力中的感知、决策、执行等关注点封装为独立的构件和连接子,通过动态软件体系结构技术来支持它们的在线重配置,从而使第三方可在必要时通过有选择性的更新来调整适应能力.实现了支持ACOE构件模型的容器原型,并通过实验验证了其有效性.     

基于改进EPMM软件演化过程时间约束的分析研究

软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时延Petri网的时间相关性以及变迁的瞬时性,首先对EPMM(Evolution Process Meta-Model)的过程层进行改进,为过程模型中的条件添加时间权值,提出了一种能够对演化过程中的时间因素进行描述的基于时延的演化过程元模型TEPMM(Timed EvolutionProcess Meta-Model),并基于TEPMM给出计算演化过程的最短完成时间的算法和含有反馈路线的过程模型的时间规划函数,通过该规划函数可以对演化过程模型中的时间相关性进行分析与研究。     

一种面向同步交互的软件演化过程建模方法

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM[10]定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可 形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。     

一种基于Bigraph理论的软件演化过程模型研究

基于Bigraph理论对软件演化过程模型进行研究, 目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想, 首先提出了一个形式化的软件演化过程模型, 然后用扩展的Bigraph来描述软件演化过程模型的结构, 使用Bigraph反应系统来描述软件演化过程模型的动态变化, 最后对软件演化过程模型动态调整后的完整性进行了验证。     

支持软件重用的模板化技术

本文基于软件重用和软件自动化的思想提出了支持软件重用的摸板化技术TTSSR。在TTSSR中,我们引入了软件模板的概念和可重用软件预处理的方法。使得可重用软件能按照用户需求自动进行修改,生成多种可用软件。同时,在模板库管理方面采用了一种适合大型库管理的类图书管理方法,提供了较强的库导航能力,极大地方便了用户。另外,TTSSR工具提供集成界面、用户界面两种和外界的接口,这使得它具有较强的适应性和良好的灵活性。     

一种软件演化过程模型的代数语义

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.     

基于知识库的可重用构件检索系统KRR研究

可重用构件的检索问题一直被视为是软件重用的瓶颈问题,虽然目前已提出了不少解决方法,但这些方法都不能令人满意。文章主要讨论了基于知识库的可重用构件检索系统ＫＲＲ,给出了ＫＲＲ系统的总体结构,并对ＫＲＲ系统的核心部分作了详细论述。在ＫＲＲ系统中可以集成多种检索方法,该系统具有简单、易用、易于扩充等特点。     

一个面向服务的支持动态演化的软件模型

为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的软件模型SASM．SASM是使用反射技术,通过具有因果相联的基层和元层来构造．基层由可运行的服务形成,元层是一个具备树形层次、层间存在求精关系的体系结构空间．该空间反映了需求的层次性,提供给用户不同抽象级别的视图和管理手段．通过对体系结构空间的观察,可获知系统的结构和行为信息．通过对体系结构空间的在线调整可实现对基层的修改进而实现系统的非预设动态演化,而空间中不同层次之间的求精关系保证了应用的完整性和演化的一致性．     

支持知识嵌入的设计过程建模

针对产品设计快速化、模块化、知识化的发展趋势和参数化、重复性等主要特征,提出知识嵌入的概念,建立支持过程、任务流转和参数传递的设计过程模型。其中,改进的设计过程定义元模型在工作流过程定义元模型的基础上,通过引入知识流引擎和知识单元模型,建立知识嵌入的控制机制。原型系统的实现验证了该方法可以有效地管理产品设计过程,实现各类设计知识在任务执行过程中的自动嵌入。     

一个支持软件并行工程的过程模型

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性能提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延拓到该过程全局的方法。     

软件演化过程的资源优化配置

在支持标准化的可配置、可重用且支持软件演化过程建模方法--第二代SDDM建模方法基础上,提出了软件演化过程性能分析与资源优化的方法,有效地支持了软件演化过程的改进.     

软件过程改进中的知识管理初探

首先介绍了软件过程改进和管理复杂性理论的概念；接着从能力成熟度模型及其 实施系统方法论IDEAL模型分别分析了软件过程改进中的知识管理和组织学习；最后对软件 组织的知识管理进行了探讨,指出软件过程改进是通过有效地组织学习进行知识管理的有效 途径。     

支持软件过程可信评估的可信证据

近年来,软件可信一直是人们争论的焦点.一种比较共识的观点认为,软件可信是软件行为符合预期的程度.质量形成于过程,显然,建立质量信心的证据也散布于过程.软件开发过程中,主体、行为和各种保障手段则是建立软件可信的基本依据.基于证据的决策和管理是现代质量理论的核心,基于证据、数据驱动的软件工程都是试图从客观数据的角度去解决问题.在国家自然科学基金等计划的支持下,从过程保障的角度提出了软件过程可信度模型,其中,证据作为建立软件可信、支持可信评估的基础要素,是模型非常重要且基础的组成部分.主要研究该模型中的证据体系,遵循完整性、必要性、兼容性和可持续性这4项原则,基于过程管理的基本要素,通过调研以及与CMMI等软件过程参考模型的对接来提炼、定义和质证模型中的可信证据,使证据具备良好的公信力和可比性;同时,增加了部分目前其他模型都没有涉及的证据来刻画对软件过程的可信增强,从而建立了一个从可信实体、可信行为、可信制品这3个目标进行可信保障、并覆盖软件过程全生命周期的证据体系.该证据体系科学、客观并具有良好的公信力,结合可信度模型的其他部分,可以实现基于证据的、自底向上的软件过程可信评估,可供软件组织广泛采用.     

Software Evolution and the Code Fault Introduction Process

In any manufacturing environment, the fault introduction rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In many investigations, the estimates of such a rate are often oversimplified or misunderstood generating unrealistic expectations on the prediction power of regression models with a fault criterion. The computation of fault introduction rates in software development requires accurate and consistent measurement, which translates into demanding parallel efforts for the development organization. This paper presents the techniques and mechanisms that can be implemented in a software development organization to provide a consistent method of anticipating fault content and structural evolution across multiple projects over time. The initial estimates of fault introduction rates can serve as a baseline against which future projects can be compared to determine whether progress is being made in reducing the fault introduction rate, and to identify those development techniques that seem to provide the greatest reduction.     

航空机载软件缺陷知识库框架

提高航空机载软件质量成为当前一个亟须解决的问题.建立软件缺陷知识库对于进行有效的软件质量评价及软件故障预测,识别易于出现缺陷的软件模块,提高软件测试效率和软件质量,都能起到重要作用.提出了一个基于机器学习和产生式系统推理相结合的航空机载软件缺陷知识库构建方法和相应的框架,该框架还包含软件缺陷度量元选取标准、选取清单,以及缺陷信息统计要求、分析方法.在此框架的基础上,利用实际测评工作中积累的大量航空机载软件缺陷数据,构建了一个统一、规范的软件缺陷知识库,并通过该知识库给出了缺陷预防信息,从而对航空机载软件全寿命周期进行了有效指导.     

一种支撑电信新业务的软件过程建模方法

基于对软件过程建模基本方法的研究,针对支撑电信新业务领域的软件过程建模特征,提出了一种在业务运营支撑系统(OSS/BSS)中支撑电信新业务的软件过程建模方法。经实际应用,该方法能较好地指导实际工作,具有一定的实用性。