Quality management metrics for software development

It can be argued that the quality of software management has an effect on the degree of success or failure of a software development program. We have developed a metric for measuring the quality of software management along four dimensions: requirements management, estimation/planning management, people management, and risk management. The quality management metric (QMM) for a software development program manager is a composite score obtained using a questionnaire administered to both the program manager and a sample of his or her peers. The QMM is intended to both characterize the quality of software management and serve as a template for improving software management performance. We administered the questionnaire to measure the performance of managers responsible for large software development programs within the US Department of Defense (DOD). Informal verification and validation of the metric compared the QMM score to an overall program-success score for the entire program; this resulted in a positive correlation.     

From first-order logic to automated word generation for Lyee

A conceptual schema can be viewed as a language to describe the phenomena in a system to be modelled, i.e. a set of derivation rules and integrity constraints as well as a set of event-rules describing the behaviour of an object system. In this paper, we investigate the relationship between the Lyee software requirements concepts with various constructs in conceptual modelling. Within our work we choose the Unified Modelling Language (UML) as a modelling notation for explaining conceptual models. The result obtained models a fully expressive set of UML and First Order Logic constructs mapped into Lyee concepts.     

Static analysis of Lyee requirements

Software development has been suffering, for many decades, from the lack of simple and powerful methodologies and tools. Despite the tremendous advances in this research field, the crisis has still not been overcome and the proposed remedies are far from resolving the problems of software development and maintenance. Lately, a new and very promising methodology, called Lyee, has been proposed. It aims to automatically generate programs from simple user requirements.

The purpose of this paper is, on the one hand, to provide a short and technical introduction to the Lyee methodology, and on the other hand, to show how some classical static analysis techniques (execution time and memory space optimization, typing, slicing, etc.) can considerably improve many aspects of this new methodology.     

A Component-Based Software Configuration Management Model and Its Supporting System

Software configuration management(SCM)is an important key technology in software development.Component-based software development (CBSD)is an emerging paradigm in software development.However,to apply CBSD effectively in real world practice,supporting SCM in CBSD needs to be further investigated.In this paper,the objects that need to be managed in CBSD is analyzed and a component-based SCM model is presented.In this model,Components,as the integral logical constituents in a system,are managed as the basic configuration items in SCM,and the relationships between/among components are defined and maintained.Based on this model.a configuration management system is implemented.     

Component-based software version management based on a Component-Interface Dependency Matrix

As much component-based software is developed, a software configuration management (SCM) tool for component-based software is necessary. In this paper, we propose a version management mechanism for impact analysis while components are upgraded. We separately version the components and interfaces based on a Component-Interface Dependency Matrix (CIDM), and analyze impacts according to their dependency relationship. The result of our simulation shows that CIDM is capable of managing large numbers of components without impedance mismatch. In addition, in a well-designed software system, using CIDM to analyze impacts can save resources in the software development phase.     

A process algebra to formalize the Lyee methodology

Over the last years, various methodologies and techniques have been elaborated and proposed to improve one or many aspects related to the software development life cycle. However, despite the great effort in this research field, the production of clearly understood and modifiable systems still an ambitious goal and far from reached. This is due, on one hand, to the complexity and the subtlety of software themselves and, on the other hand, to the limitations of the current methodologies. Recently, a new and very promising methodology, called Lyee, has been proposed. Intended to deal efficiently with a wide range of software problems related to different field, Lyee allows the development of software by simply defining their requirements.

Nevertheless, since both the semantics of Lyee generated software together with the process of automatic generation of software from requirements are described using informal language, difficulties and confusions may arise when trying to understand and study this methodology.

The main purpose of this paper is to formalize, using a process algebra, the process of automatic generation of softwares together with the semantics of Lyee generated softwares. Actually, process algebra naturally supports many concepts of the Lyee methodology and consequently formalize them simply and elegantly. It offers to the Lyee methodology an abstract machine more suitable than the Von-Newman one. In fact, this new abstract machine consider a program as chemical solution when molecules (different vectors of the lyee methodology) interact together to reach a collective goal.     

组态软件在离心通风机防喘振控制系统中应用

为提高通风机系统的自动化程度,设计了基于组态软件的通风机监控系统,该系统实现了通风机喘振的各状态参量实时监测、系统设置、系统诊断、曲线分析、数据管理、记录以及报警等功能.运行情况表明,该系统工作可靠、稳定.     

可维护的软件设计

计算机工业的一个最急需关心的问题以更快的速度和更低的费用维护和升级软件产品，为了达到这个目标，必须设计更好、更易于维护的软件，文中讨论了可维护软件的设计技术与方法。     

支持变更影响分析的软件测试配置管理系统

介绍了一个新开发的基于WEB的软件测试资产管理系统原型STACMS。STACMS将软件配置管理方法学应用到测试这一特殊的软件生命周期阶段，可跟踪测试工件的版本演化、维护版本之间的关系并支持变更影响分析。     

可变粒度的软件配置管理工具的研究

通过对当前软件配置管理领域理论及技术分析，从软件开发过程的实际需求出发，结合基于构件的软件开发方法和软件复用，过程和建模技术，提出一个可变粒度的软件配置管理工具WINGCM，并对其实现模型、方法等关键技术进行了具体论述。     

支持构件演化的软件配置管理研究

基于构件的软件开发作为一种全新的软件开发方法,与传统的软件开发方式不同,配置管理的需求与传统的配置管理方法也有了很大的不同.在基于构件软件开发的过程中,如何以一种良好的风格和技术来对构件变化进行控制,保持构件系统的一致性、稳定性是软件开发者历来追求的目标.分析了基于构件软件开发过程中构件演化对配置管理技术的新需求,探讨了配置管理的几个关键技术,并提出了一种度量构件演化过程的方法,从而把构件的整个演化过程置于配置管理的支持之下.     

软件系统配置研究综述

随着软件系统规模和复杂度的不断提升, 软件配置已经成为软件工程领域中的一个重要话题. 大量、复杂的配置项为正确使用软件系统带来了极大的困难, 例如, 配置错误会影响系统性能, 并带来严重损失. 软件系统配置技术得到广泛关注, 并取得了众多的研究成果. 本文对软件配置领域的研究现状和主要成果进行分析和综述. 文章首先提出...     

Constructing the Lyee method with a method engineering approach

This paper proposes an Evolution driven ME approach aiming to support the evolution of an existing method (the As–Is method) in order to obtain a new method (the To–Be method) better adapted to a given engineering situation and/or satisfying new methodogical requirements. The proposed approach is used in order to evolve the existing Lyee method into a Lyee user driven method.¹     

面向网络开发环境的软件配置管理应用研究

针对目前软件开发过程的特点,提出了一个面向网络开发环境的软件配置管理模型。并对该模型中各部分的功能及其相互关系进行了阐述,最后,介绍了该模型在实际工程项目中的应用情况。     

Architecture for embedded open software ecosystems

Software is prevalent in embedded products and may be critical for the success of the products, but manufacturers may view software as a necessary evil rather than as a key strategic opportunity and business differentiator. One of the reasons for this can be extensive supplier and subcontractor relationships and the cost, effort or unpredictability of the deliverables from the subcontractors are experienced as a major problem.The paper proposes open software ecosystem as an alternative approach to develop software for embedded systems, and elaborates on the necessary quality attributes of an embedded platform underlying such an ecosystem. The paper then defines a reference architecture consisting of 17 key decisions together with four architectural patterns, and provides the rationale why they are essential for an open software ecosystem platform for embedded systems in general and automotive systems in particular.The reference architecture is validated through a prototypical platform implementation in an industrial setting, providing a deeper understanding of how the architecture could be realised in the automotive domain.Four potential existing platforms, all targeted at the embedded domain (Android, OKL4, AUTOSAR and Robocop), are evaluated against the identified quality attributes to see how they could serve as a basis for an open software ecosystem platform with the conclusion that while none of them is a perfect fit they all have fundamental mechanisms necessary for an open software ecosystem approach.     

浅谈外包项目的需求管理

全球软件外包发展迅速，中国正在成为最大的外包市场，需求管理关系软件项目的成败，使外包项目中的需求管理具有其特殊性。文章就此进行了讨论，提出了在外包项目中有效实施需求管理的关键点，并对外包项目的发展进行了展望。     

软件配置管理研究

首先介绍了软件配置管理的基本概念 ,着重讨论了组成软件配置管理的配置标识、版本控制、变化控制、状态报告和配置审核 ,通过其管理 ,可以提高软件开发效率 ,保证软件开发的有序性。     

基于软件配置管理的度量研究

软件配置管理(SCM)是软件开发过程中控制软件产品演化的重要质量保障活动,基于SCM进行度量可以量化的分析软件系统的演化,对提高软件质量和生产效率有重要作用。本文首先根据SCM的管理范畴．阐述了基于SCM度量的三方面的内容;接着我们以SCM的变更管理为基础,介绍了软件组织如何使用GQM方法获取度量指标。并且着重分析了如何收集变更过程中的度量数据,我们提出了一种简单易行的方法——CR-Delta方法。最后我们介绍了在一个面向企业的过程支持系统CPMS中SCM的度量的自动化实现过程。     

软件配置管理的多级实现

本文介绍了软件配置管理的相关内容，并提出了一种软件配置管理的多级实现方法，该方法在实际应用中取得了良好的效果。