需求工程中的不确定性研究

1 引言用户需求一般用自然语言描述,是非形式化的,因而在生成确定的、形式化的需求规格时不可避免地会牺牲用户的部分需求。采取何种方法能尽量减少信息损失和不一致,从而使需求规格更接近于用户需求是软件开发中必须解决的重要问题。起初,在软件工程中这种转化是依靠软件开发者对用户需求的理解及自身知识完成的,使得生成的需     

基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.     

软件需求分析中的用例建模研究与应用

需求是软件项目的基础,如何把握用户需求,是项目成功与否的关键.一个灵活的软件需求分析技术,可以帮助开发人员准确获取用户需求.用例建模是面向对象软件开发技术的重要组成内容,它能够完整地捕捉系统的功能性需求,体现用户和系统之间的交互关系.通过一个实例分析,简要介绍如何使用用例建模技术,完成软件需求分析.     

情形实例驱动的需求分析方法

一引言软件需求定义是软件需求的完整描述,是开发者和用户之间对最终的软件产品的功能和性能等方面达成的共识和契约。需求分析过程能否获得准确全面地反映用户需求的需求定义对软件产品的质量以及开发开销都具有重要影响。由于软件产品的规模日益扩大,复杂性不断提高,软件需求分析已成为一项非常困难的任务。本文引进情形实例这一概念     

需求工程的形式化途径

1.引言需求工程是软件工程的初始阶段,其总的目标是从用户的模糊而又不完整的要求生成准确的、完整的规格说明。需求工程的研究主要有形式化途径和非形式化途径,后者的出发点是认为需求主要是用作系统开     

软件需求分析的一种有效方法编写“业务流程规范”

应用软件开发的基础是做好需求调查,以便产生一个能较好符合用户要求的《软件需求规格说明书》,从而为开发出一个满足用户需求的高质量的软件奠定基础。然而,在需求调查的过程中,往往会出现这样的情况：一方面,由于用户计算机知识的缺乏,很难充分表达对软件的要求。另一方面,由于对业务知识的缺乏和时间的限制,开发者又很难深入了解并正确预测对软件的实际需求。为了解决这个矛盾,开发者往往在传统的瀑布型开发方法的基础上,采用原型法和面向对象的分析方法进行系统需求的分析,希望借此来缩短用户和开发者对未来软件系统理解的距…     

从用户需求到软件规约：一种问题变换的方法

研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare 的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.     

SRS及其质量模糊度量方法的研究

1.问题的提出 1995年Standish通过对8000多个软件开发项目的调查发现,导致项目失败的最主要的两个原因是不完整的软件需求规格说明(13.1％)和缺乏用户参与(12.4％)。Boehm研究发现要改正在产品付诸应用后所发现的一个需求方面的缺陷比在需求阶段改正这个错误要多付出68倍的成本。近来很多研究表明这种错误导致成本放大因子可以高达200倍。由此可以看出,软件需求分析作为软件开发过程的第一个阶段,     

基于层次着色Petri网的需求工程过程框架

提出一种基于层次着色Petri网的需求工程过程框架,对软件需求工程过程、需求活动、需求任务及其功能进行了形式化定义,为软件需求工程实现了一个清晰、完整、无二义性的精确描述框架,并为最终产生高质量的软件需求规格说明奠定了坚实的基础,也为软件需求的精化、规约、复用、演化以及需求管理、需求质量控制、度量等提供了严格数学依据。     

Object—Z规格说明的SQL动画模拟

软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Obiect-Z规格说明的SQL动画模拟方法，设计了从Object-Z到SQL的转换规则，并提出了模块封装的思想，即用存储过程表示类、对象和模式等模块，用户通过调用执行存储过程确认规格说明是否满足其需求。     

Investigating ARIMA models of software system quality

In this paper, we investigate how to incorporate program complexity measures with a software quality model. We collect software complexity metrics and fault counts from each build during the testing phase of a large commercial software system. Though the data are limited in quantity, we are able to predict the number of faults in the next build. The technique we used is called times series analysis and forecasting. The methodology assumes that future predictions are based on the history of past observations. We will show that the combined complexity quality model is an improvement over the simpler quality only model. Finally, we explore how the testing process used in this development may be improved by using these predictions and suggest areas for future research.     

涉众为中心的敏捷需求建模

提出一种将涉众为中心和敏捷方法有机结合的敏捷需求建模方法。所有软件系统需求获取以涉众为中心,基于涉众扩展特征建立涉众Power/Interest分布图来确定涉众优先级,并用优先级处理不同涉众之间的需求冲突,根据涉众为中心的敏捷需求方法,提出敏捷需求实践方法,融合敏捷方法的短周期、演化、增量、迭代、重构、反馈机制,使软件系统需求建模过程更加完备、精确、高效、快捷,用双变迁Petri网DTPN为该方法建立形式化敏捷需求模型,为软件系统需求建模提出了一种新的方法。     

一种软件需求描述语言的设计与实现

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。     

Software tools for safety-critical software development

We briefly present a software methodology for safety-critical software, developed over many years to cope with industrial safety-critical applications in the Canadian nuclear industry. Following this we present discussion on software tools that have been used to support this methodology, and software tools that could be used, but have not been used for a variety of reasons. Based on our experience, we also present and motivate a list of high-level requirements for tools that would facilitate the development of safety-critical software using the presented methods, together with a small number of tools that we believe are worth developing in the future.     

A networks-on-chip architecture design space exploration – The LIB

Many on-chip network circuit and architecture techniques are incompatible with modern design flows, making them unsuitable for use in systems-on-chip. This paper presents a networks-on-chip (NoC) architecture design space exploration method for multi-processor systems-on-chip architecture. The NoC architecture design space is designed with a Layer-Interactive-Building block (LIB) methodology that is divided into three layers: application layer, link/network layer, and physical layer. The suggested LIB design paradigmatic philosophy provides modular building block structure in both hardware and software and the protocols for their interconnection in the three architecture layers. Using LIB the designer can easily select these building blocks to build application-specific NoCs to meet different application requirements such as media, graphic, software radio and communication network applications. The LIB provides the NoC building blocks, architecture interacting systems-on-chip components, the programming models and application mapping strategies. The LIB can be used as a complementary library and tools for future on-chip interconnection network design.     

Component-based development of DSP software for mobile communication terminals

DSP software development has been tied down by extreme computational requirements. Furthermore, the DSP development tools available today are less advanced than in other embedded software design. This has lead to DSP software architectures that have not taken into account future expansion needs. Therefore, DSP software architectures have been inherently closed. Now, as system complexity increases, this design methodology becomes more of a burden, since it does not support component-based DSP software development that requires open interfaces.

In this paper, mobile-communications DSP software architectures are studied as cases, and key areas for improvements towards more open DSP software development are identified. Proposed solutions are judged against the limited resources of mobile communication terminals and the characteristics of communication DSPs.     

面向Agent的软件工程方法学

软件Agent技术正在成为软件开发领域中一个新的发展方向，现在大多数的Agent研究都是以创建Agent应用程序为目标，即用Agent的概念创建更为强大，更具灵活性和智能性的程序。但是随着Agent技术在各种应用中的发展和成熟，就需要在方法论上对之进行指导。因此，面向Agent的软件方法学就成为Agent研究中最活跃的一个研究领域之一。本文通过对几种在面向Agent软件工程中使用的主流方法学进行分析，指出了Agent方法学在面向Agent软件系统开发中的重要性。与此同时，通过对面向对象和面向Agent的方法学比较，指出现有的面向对象方法学的一些不足，以及如何通过面向Agent的概念进行改进。     

Surface roughness visualisation for rapid prototyping models

When considering the use of rapid prototyping (RP), there are many questions a designer might ask. One such question is “what build orientation should be used to minimise the adverse effects of surface roughness?” At present, this decision is often made in an intuitive way or sometimes overlooked completely. This paper describes a methodology and software implementation that provides the designer with a computer graphics based visualisation of RP model surface roughness. This enables the build orientation to be determined as a result of increased designer knowledge. The surface roughness values were obtained through an extensive empirical investigation of several RP techniques. These are used as the database for a visualisation algorithm that represents varying surface roughness of the RP model as colour shading within a CAD image. The nature of the empirical measurements is analysed and the functionality of the software algorithm is described. Examples are given that demonstrate the use and benefits of the methodology. Finally, conclusions are drawn as to the significance of the work and future research directions are outlined.     

复杂软件需求开发方法研究

软件需求开发方法研究是当前复杂软件系统开发中最重要的问题之一。本文首先基于软件开发生命周期模型,对软件需求开发工作进行了介绍。进而总结了软件需求所必须包含的内容,分析了软件需求的特性。基于迭代改进的开发方法,本文将需求开发工作分解为需求捕获、需求分析、需求编写和需求确认四部分活动,并对每部分工作的详细活动和目的进行了分析和总结。软件开发工程实践证明,科学的软件需求开发方法是提高软件开发效率,提高软件开发质量的重要手段。     

基于需求的酒店管理系统的建模与实现

在软件开发过程中,利用建模语言来有效地建立系统模型是非常关键的。为了提高软件开发效率,本文采用面向对象系统建模方法,结合酒店管理系统的开发,探讨基于需求的系统建模,设计并实现军山酒店客户关系管理系统。实践表明,基于需求的系统建模能够缩短软件开发周期,节约软件开发成本,从而提高软件开发效率。