基于产品线需求分析的过程改进研究

以简化软件产品线中的需求分析过程、实现过程复用为目的,总结了当前软件生产线需求分析的特点以及分析过程,通过建立领域用户需求模型指导需求获取分析过程,采用基于改进原型法的需求获取方法,基于领域用户需求模型建立需求复用库,引入本体描述用户需求模型等方法,对软件产品线的需求分析过程进行了改进,并设计实现了一套图形化需求建模工具,有效地简化了需求分析过程,实现了过程复用。其研究结果应用到了D2G软件生产平台中。     

基于产品线需求分析的过程改进研究

以简化软件产品线中的需求分析过程、实现过程复用为目的,总结了当前软件生产线需求分析的特点以及分析过程,通过建立领域用户需求模型指导需求获取分析过程,采用基于改进原型法的需求获取方法,基于领域用户需求模型建立需求复用库,引入本体描述用户需求模型等方法,对软件产品线的需求分析过程进行了改进,并设计实现了一套图形化需求建模工具,有效地简化了需求分析过程,实现了过程复用.其研究结果应用到了D2G软件生产平台中.     

一种面向列车车载控制软件的需求分析方法

由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告。实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障。     

软件需求规格说明自动生成工具

首先提出了一种面向业务流的需求分析方法，并给出了相应的条件有向图需求描述模型(CDGRD)，然后详细地介绍了基于CDGRD的软件需求规格说明自动生成工具，最后以某大型企业信息系统项目为例，详细讨论了CD-GRD描述方法以及该自动生成工具的具体应用．     

用户主导的面向领域的需求分析方法

如何认识和了解用户并最终让用户在适当的工具和环境的帮助引导下直接参与到需求分析活动中,可能正是解决软件生产过程中一系列问题的突破口。用户可视为对象、角色或智能体,充分发挥其能动性,对于软件需求的正确性、一致性和完整性大有裨益;同时,把软件专业人员从繁琐的需求分析活动中解放出来,可大大缩短软件的开发周期。     

从面向对象到面向目标的需求分析

一、前言软件系统的成功极大地依赖软件需求分析的质量。有人做过统计,在美国和西欧国家,软件项目失败的两个最主要的原因:一是缺乏用户参与和不完整的需求,二是低质量的需求规格说明书。如果能找到一些方法和技术能精确描述用户的需求,(自动地)生成完整、一致、可修改性好、可跟踪性强的软件需求规格     

基于UML的软件形式化需求分析与验证

针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言（UML）模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。     

企业集成网络辅助设计工具的研究

主要论述了企业集成网络辅助设计工具的研究。企业集成网络辅助设计工具由３部分组成。第一部分是需求分析模块,它主要向用户提供标准的需求分析模板并对信息流量进行量化处理。第二部分是网络设计模埠。它从需求分析模块获取相应的信息,自动生成初步的网络方案,使用者可以根据某些特殊的要求和自己的设计经验对该方案进行必要的调整。第三部分是性能评价块,它对前面生成的方案进行性能分析,代价估算,并把结果反给使用者,以便     

基于领域的需求规格生成工具的设计与实现

需求分析是软件开发过程中的重要环节。该文探讨需求分析过程中存在的问题,提出一个需求规格元模型,对用户功能性需求的获取、分析方法的规范和改进具有指导作用。基于该元模型实现了一个面向领域的需求规格生成工具,给出一个基于物流领域的定单管理系统的应用实例。     

一种支持数据库物理设计的工具

一种支持数据库物理设计的工具南京东南大学计算机系刘亚军，董逸生一、引言任何一个数据库的设计都要经历四个阶段：需求分析、概念建模、逻辑建模以及物理建模，见图一。需求分析过程包括识别用户的信息需求。概念建模包括视图建模和视图集成。视图建模是将用户需求转换...     

The NASA automated requirements measurement tool: a reconstruction

In the late 1990s the National Aeronautics and Space Administration (NASA) Software Assurance Technology Center (SATC) developed a tool to automatically analyze a requirements document and produce a detailed quality report. The report was based on statistical analysis of word frequencies at various structural levels of the document. The Automated Requirements Measurement (ARM) tool was further enhanced to include additional functionality such as custom definitions of quality indicators inputs for document analysis. By 2011 work on the ARM tool was discontinued. This paper describes the reverse-engineering and reproduction of the functionality of ARM. Recreating the functionality of this tool yielded valuable insight into certain quality metrics and provides a benchmark tool for future research. In addition to recreating and working with the ARM tool, this paper explores both existing and potential definitions of quality metrics in requirements specifications. Automated requirements analysis is a convergence of various fields of research, including text mining, quality analysis, and natural language processing. Informed by tangential areas of research in document understanding and data mining, recommendations are made for future areas of research and development in automated requirements analysis.     

基于特性的软件需求管理工具的研究与应用

需求管理是软件项目管理的一项重要任务。需求管理的目标是管理和控制需求,维护软件计划、产品和活动与需求的一致性,并保证用户的需求最终得到实现。近年来,市场上出现了一些辅助进行需求管理的软件工具,但那些产品总的来说都价格昂贵且不易部署和使用。文中将从需求管理的理论入手,抓住需求管理的关键问题,在容易获取的基础软件平台上实现了一个需求管理辅助工具——WSSRMS,实际项目的应用表明该工具实用、有效。     

基于人机交互的计算机辅助软件需求分析工具的研发

软件需求工程在软件开发项目中起着至关重要的作用,而需求分析活动的主角是人,因此计算机辅助需求分析工具的设计要做到以用户为中心,即以人为本。本原型作品在已有的面向问题的计算机辅助软件需求工程(Computer-Aided Requirements Engineering,CARE)工具的基础上,进一步在支持的平台及易用性等方面进行了扩展。选择安卓平台来开发此工具,理由是移动端应用软件相较于PC端具有一些优势(功能多样性、便捷性等)以及安卓的开源性质,它能够为提高软件质量以及用户体验带来新的技术支持。此外,还具体展示并介绍了该工具是如何基于人机交互的理论模型及设计原则设计的。     

T-CBESD:一个构件化嵌入式软件设计模型验证工具

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.     

Software Information Base（SIB）and Its Integration with Data Flow Diagram（DFD）Tool

Software in formation base is the main technique of the integration of software engineering environment.Data flow diagram tool is an important software tool to support software requirement analysis phase.This article introduces the functions,structures of a Software Information Base(SIB),and a Data Flow Diagram tool first.The E-R data model of SIB and its integration with Data Flow Diagram tool are emphatically described.     

面向问题的软件开发协同建模工具的研究与实现

建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。     

基于SVM的软件可靠性评估

软件可靠性评估是软件可靠性工程研究的一个重要方向。本文运用聚类思想对软件可靠性进行评估,在对软件可靠性因素进行编码的基础上,采用SVM(支持向量机)对其进行聚类研究,实现了软件可靠性的自动化评估。最后通过仿真测试,证明了此方法的有效性和可行性。     

Industrial Requirements for Distributed SCM Tool

As software development comes to be viewed more and more as an engineering discipline, Software Configuration Management is increasingly recognised as a key technology in the development of software. The Esprit VISCOUNT project¹ aim is to implement an innovative Software Configuration Management (SCM) tool to use in a geographically distributed software development environment, a Virtual Software Corporation (VSC). The features implemented by the tool will be the following: ·Configurable process modelling ·Inter-working capabilities with COTS SCM tools ·Selective replication of archives ·Open to include plug-in applications (security mechanism, encryption, etc) This paper is based on the work undertaken as part of the VISCOUNT project, partially funded by European Union's Esprit Programme, and it describes the SIA (Societa' Italiana Avionica) requirements defined in the framework of VISCOUNT. This revised version was published online in August 2006 with corrections to the Cover Date.     

Some comments on the portability of a large algol program—the implementation of SID on KDF9

Software engineering research is facilitated by the availability of general purpose programs which aid the production of other programs. These may conveniently be termed ‘software tools’. Software tools in themselves often represent a significant amount of intellectual effort and so their portability between different computing environments is important. We consider the requirements on an ALGOL 60 system to enable it to act as a recipient of a software tool written in ALGOL. In particular, our experience of implementing the translator–writing system, SID, on KDF9 is discussed.