扩展SysML支持需求追踪模型的自动生成

安全关键系统广泛应用于航空、航天、核能、交通等领域,对安全性有着很高的要求。保障需求可追踪性是安全关键系统开发过程中的基本要求,也是各项安全性分析的重要前提。致力于建立需求与设计制品间的纵向追踪关系,采用模型驱动的方法来实现追踪模型的自动生成并实现追踪信息的图形化表达。首先通过配置文件的机制对SysML模型进行扩展,使用该扩展的SysML模型对需求以及设计制品进行建模用于捕获追踪信息。接着设计了一个追踪元模型用于表达以及存储追踪信息可供后期安全性分析使用,并使用模型转换技术实现从扩展的SysML模型到追踪模型的自动化生成。最后通过襟缝翼控制系统的案例来说明该方法的有效性。     

软件配置管理在电力信息平台开发中的应用

软件配置管理有利于对整个开发团队进行管理。介绍了软件配置管理定义以及配置管理工具、电力信息PI3000平台开发中的版本控制流程、变更控制流程,设计并实现了基于XML定义的代码签出签入工具,该工具使配置管理工作变得快速准确,并与缺陷管理系统配合使用。实际应用表明该工具有利于PI3000平台开发的配置管理工作有效地执行。     

版本管理系统的层次设计

版本管理是管理和维护计算机系统的重要支持工具。由于缺乏理论上的分折和研究,使现有版本管理工具在软件开发实践中缺乏相互的联系和对版本自身的语义理解。本文综述了版本控制机制,并提出版本管理系统的层次设计思想。     

基于Web服务的协同CASE工具设计

为CASE工具提供协同功能的重要性显而易见.但现有系统功能的实现不是使用ad-hoc的方法就是使用一个特定的群件工具箱,这使得应用程序缺少可扩展性和灵活性.使用Web Service技术及其协议提出一种开发CASE工具的新途径,以解决以上问题.为满足协同工作的完整需求,系统还包括一个版本控制机制和群体意识功能组件.简要介绍这种基于Web Service的体系结构并对核心的设计和实现议题进行描述.     

Mozilla项目缺陷修复追踪关系研究

软件可追踪性为软件工程的很多活动提供了非常重要的支持,如变更影响分析、回归测试、版本控制以及一致性检验等。在开源软件项目中,缺陷数据和版本数据之间的缺陷修复关联是一种重要的软件追踪关系。研究开源软件项目缺陷和版本两种制品间的缺陷修复关联,选取大型开源项目Mozilla作为研究对象,在深入了解所获得数据的整体分布情况后,针对Mozilla项目的产品Firefox浏览器,利用Fellegi-Sunter模型挖掘缺陷数据与commit数据之间的缺陷修复关联并建立二者之间的追踪关系,最后对挖掘出的缺陷修复追踪关系进行结果分析。该项工作为开源项目制品间追踪关系的研究提供了经验参考。     

MES系统客户端程序一体化自动更新方案研究

在MES系统中,为实现Windows下C#客户端的自动部署及自动更新,设计了一套一体化的自动更新方案。该方案包括版本控制、自动发布、自动更新、模块互更新等机制,覆盖了从代码编译、部署到服务器、分发到客户端的全流程,无需手动控制版本,并实现了开发端到使用端的无缝连接,整个部署过程对开发人员透明。同时,该方案能够对更新程序本身进行在线更新,便于改变更新方式,适应将来的需求变更。该方案具备良好的通用性与可移植性。     

构件软件配置管理以及其版本控制技术研究

该文通过对软件配置管理领域与基于构件的软件开发方法(CBSD)的理论与技术分析,结合CBSD的特点、可变粒度构件复用等技术,针对现有软件配置管理工具对CBSD支持不足,提出了一个支持CBSD的软件配置管理工具FDSCM,并对其版本控制关键技术进行具体论述,包括构件与构架的版本演化,逆向跟踪和分支合并策略等。     

架构软件配置管理模型

软件架构是设计实现大规模软件的基础，并且追踪和控制软件架构的演化是十分必要的。但是许多传统的软件配置管理工具将软件仅看做一个文件集合，而不是一个架构，这造成软件设计领域（架构层）与软件配置管理领域（文件层）的脱节。提出了软件架构配置管理模型，它可以对软件架构进行版本控制和配置管理。     

基于C/S的协同任务管理系统的设计与实现

在传统的协同任务管理控制系统基础上扩展了基于任务的需求分解和任务过程的版本控制功能,以达到监控任务的开发过程,并记录任务的版本升级信息的目的.提出了基于C/S协同任务管理的系统架构,采用VS.net为应用程序开发工具、结合SQL Server为数据库后台,完成了该系统的设计和实现,着重阐述了协同任务管理的新特征和扩展模块(任务监控、版本控制)的技术实现过程与方法.     

软件配置管理系统HSCMS

在ＨＳＣＭＳ系统中，采用面向对象的观点组织软件实体，提供了对多种类型的软件实体进行统一管理的数据模型。ＨＳＣＭＳ系统以３类库为基础，实现了对软件实体的跟踪、控制，并提供了支持评审、释放管理，版本控制等配置管理功能的在线工具。此外，ＨＣＭＳ系统还提供同其它开发工具进行集成的接口     

基于版本控制的中文文档到源代码的自动跟踪方法

软件文档和源代码之间的可追踪性研究广泛使用了信息检索（IR）技术,但由于中文文档和源代码用不同的语言书写,使用传统IR技术进行自动跟踪时会导致精度不高。针对上述问题,提出一种基于版本控制的中文文档到源代码的自动跟踪方法。首先,结合文本到源代码的启发式规则,采用IR方法计算出文本和源代码之间的相似度得分;然后,使用软件开发和维护过程中提交到版本控制软件的更新信息来修正该分数;最后,根据设定的阈值确定中文文档与源代码之间的跟踪关系。实验结果表明,改进方法的精确度和召回率相比传统IR方法均有一定的提高,并且该方法能提取出传统IR方法中遗漏的跟踪关系。     

可变粒度需求跟踪的研究与实现

需求管理是软件项目管理中的重要一环,在软件配置管理中占有重要地位。需求跟踪是需求管理和变更控制的基础。该文以基于过程的可变粒度的配置管理为背景,针对可变粒度的需求跟踪问题,提出一种需求跟踪的实现机制,使项目管理人员可以更全面地把握项目进展状况,有效降低需求变更带来的风险。     

Introducing Version Control to Database-Centric Applications in a Small Enterprise

Employing version control and separating test and production systems from each other are well-known software engineering practices. However, small software development organizations sometimes neglect the corresponding tools and processes, partly because they lack experience, and partly because of genuine technical challenges. For example, decoupling the production and test environments using version control software is no trivial exercise in an environment of conflicting requirements, tight budget constraints and a high-volume, business-critical online database that must be kept synchronized with the source code. The authors' method of database schema version control converts schema elements into textual configuration items that an organization can manage using freely available open source tools     

寻迹智能车的设计与实现

结合飞思卡尔杯全国智能汽车大赛,设计了一种专为比赛的寻迹智能车.阐述了寻迹智能车模的软硬件设计、控制策略及改进方案,使其达到了智能汽车的实时性要求,并已成功应用于智能汽车大赛中.     

Safety assurance in process control

Programmable logic controllers are popular in process-control applications, but the software can be very complex. To make it easier to verify the safety of PLC software, we have created a rigorous process that uses formal specifications of function blocks, which are typically used in safety-critical control and automation applications. Key to the process is the use of Obj, an algebraic language that lets you specify requirements and designs independently of any data representation and implementation. We also used the Obj3 system, which supports the latest version of Obj with an interpreter and a functional programming environment, to automate parts of the specification testing and formal verification     

Towards a new standard for allowing concurrency and ensuring consistency in revision control systems

Version control systems play a very important role in maintaining the revision history of software and facilitating software evolution. As the software development process is gradually taking the form of a collaborative effort among several teams hosted over widely dispersed sites, centralized version control systems are gradually giving way to multi-sited version control systems. Ensuring the integrity and consistency of versioned objects in a environment that supports concurrent access, is a difficult problem. The paradigm of transactions has been successfully used in database systems to ensure integrity of objects. In this paper, we look into the transaction management requirements of version control systems and propose a new transaction model of revision control.     

基于软件信息库挖掘的软件缺陷预测方法

通过软件缺陷预测可以指导软件开发过程中资源的分配,提高软件质量和软件可靠性。为了更好地利用软件开发过程中产生的数据,指导软件的开发,在介绍了软件缺陷管理,数据挖掘,软件开发信息库知识的基础上,将数据挖掘的知识应用到软件开发信息库中,从版本信息库和缺陷跟踪系统中提取相关数据,经过预处理后这些数据就成数据挖掘技术的研究对象,通过选取合适的软件度量元,利用这些度量元建立新的软件缺陷预测模型并验证了该模型的有效性。     

Software development with imperfect information

Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect information, like interpreting incomplete requirement specifications or vagueness in decisions, one of the main reasons that makes software design difficult. We define a method for tracing design decisions under imperfect information. To model and compare requirements with estimations, we present fuzzy and stochastic techniques. This approach offers adequate decision support that can deal with imperfect information during software design. The approach is illustrated by a real-world example, based on a storm surge barrier system.     

版本管理与代码走查系统设计与实现

为优化软件项目管理,解决软件版本管理混乱、人工代码走查过程负责和结果难于控制的问题,研究了软件版本管理工具和代码走查工具,介绍了版本管理工具和代码走查工具在软件项目管理中应用。根据实践中软件项目管理的需求,提供了一种版本管理工具Subversion与代码走查工具Reviewboard相结合的系统的实现方法,介绍了版本管理工具和代码走查工具的安装部署,给出了一种基于该系统的软件开发应用流程。     

基于基线的软件配置管理版本控制

版本控制是软件配置管理的重要功能,负责为配置库中的所有元素自动分配版本标识,并保证版本命名的惟一性。文中运用软件工程的原理并结合版本控制的实践,首先指出为了有效地进行版本控制而引入基线管理,并通过图形表示最常用的软件项目基线;然后研究版本管理,包括版本管理的功能、版本树、版本的串行与并行演变过程,并通过图形给出了版本演变历史和组件版本的变化过程;最后研究版本控制的主要内容,包括检入检出控制、分支和合并、历史记录。结果表明,在配置管理过程中通过基线进行版本控制,是保护代码资源、提高开发效率、加强软件项目管理的有效途径。