基于软件开发的需求开发及需求管理

软件需求是否彻底与成功,直接关系到软件开发的成败问题.本文主要从软件开发过程中的需求开发及需求管理两方面来论述,指出了软件需求开发原则和需求变更的一些对策以及在软件开发过程中的重要作用.     

软件项目需求管理浅析

软件需求是项目的开端,也是项目设计和实现的基础.本文介绍了软件需求管理的必要性,深入分析了软件需求管理过程中的主要活动,并在此基础上阐述了需求管理的目标和原则.     

对象式软件需求定义及其自动转换的研究

在面向对象构架之下研究了软件需求定义及其自动转换问题,提出了层次化对象式软件需求模型ＮＤＨＯＲＭ;定义了图形化对象式需求定义语言ＮＤＯＲＬ;探讨了从半形式需求定义到形式功能规约的转换技术;介绍了对象式软件需求分析支撑系统ＮＤＯＲＡＳＳ的设计与实现,该系统支持用户借助ＭＮＤＨＯＲＭ模型及ＮＤＯＲＬ语言来构件软件需求定义,并实现到形式功能规约ＯＯＺＥ的自动转换。     

设备自动巡检逻辑的层级有限自动机建模与实现

为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示.给出了HFA向软件实现转化的基本框架.这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证.     

一种用于实现软件自动化的需求表设计

针对一类具有相似需求的电子政务软件项目,提出基于需求表的软件开发自动化方法,设计了一种能描述项目需求的表结构.开发的软件能依据需求表自动生成软件界面、创建数据库结构、实现数据处理.本文方法使得项目的研发只需经过需求分析、需求描述以及简单的界面设计三个步骤,就可以快速获得软件原型,从而基本实现了电子政务领域内软件项目开发的自动化.     

基于概念化心智模型的软件需求验证模型的研究与应用

为了提高软件需求的确实性、可跟踪性,该文引入路径搜索网络圈(PFNET)技术、需求跟踪机制及需求分层策略.着重阐述在大型软件项目中PFNET与需求跟踪机制如何有效地结合,从而增强项目相关人员对庞大的软件需求的理解.同时也很好的解决了"软件危机"所带来的种种问题.实验研究表明该模型在大型项目中的应用颇具实用性和有效性.     

软件需求开发及工程实践

介绍了软件需求开发的方法,并在CMMI模型的基础上结合工程实践提出了一种适合本企业过程改进的软件需求开发模型,同时也对模型的实施效果作了详细地分析。     

需求工程原理在软件开发中的应用

软件需求是开发人员和用户之间交互的桥梁,是双方对问题的共同理解,因此,软件需求问题是软件开发中一个至关重要的问题。软件需求工程则对该领域的问题提供了深入的探讨和正确的解决方法。本文分析了信息系统中的主要需求问题,并从软件需求开发和软件需求变更管理的角度,结合在实际系统开发中的经验,分别阐述了主要需求问题的解决方案。     

基于CMMI的需求工程实施方法研究

需求管理和需求开发是构成需求工程的主要内容,也是被国际上普遍作为衡量一个软件企业能力标准的＂能力成熟度模型集成（CMMI）＂中直接和需求相关的两个过程域。文章阐述了CMMI模型需求开发和需求过程管理的目标和内容,研究和分析了需求开发和需求过程的具体应用及关键技术,结合CMMI模型要求提出了需求开发和需求管理实施方法用以指导项目组进行软件开发。     

需求分析过程实现

将需求分析作为过程提出，围绕需求分析的三个子过程：需求陈述的获取、需求规格说明书的制作、需求验证，探讨了在软件生存周期法与原型法两种开发体系并存的开发环境中，如何实现需求分析过程的高效率和高质量，并顺应当前构造面向过程的软件工程环境的新潮流。     

网络化软件自适应动态演化技术的趋势分析

综述了网络化软件自适应动态演化技术,以软件演化基本概念为基础,深刻分析了网络化软件自适应动态演化的动因,重点评述了网络软件自适应动态演化技术在需求捕捉、情境建模、感知操作、决策技术、演化操作五个方面的发展现状,由此指出网络化软件自适应动态演化面临的挑战和发展趋势.     

基于无线智能节点的远程控制系统设计与实现

针对网络化弹药在野外战场无法回传战场状态和"人在回路"主动控制困难的问题，依据作战流程，提出了系统整体框架，设计了包含软、硬件在内的远程控制系统.进行了各类节点设计，并基于C#语言开发了包含多个模块的终端指挥软件和仿真平台软件，实现了节点组网、综合态势显示、多类数据传输解析等关键功能.编写了攻击决策算法，可进行片上攻击决策、PC端辅助攻击决策以及人工决策打击.仿真测试和综合实验表明，系统能够回传并显示节点和目标状态信息，并可以对节点进行远程控制并进行片上决策及PC端辅助决策，满足了室外实际使用的设计需求.      

一种车身控制器逻辑功能测试系统

为验证车身控制器（BCM）软件的正确性和可靠性,设计了一款通用的BCM硬件在环测试系统。系统由测试软件、数据采集部分和调理电路组成,具有数据采集、状态显示、模拟控制和在线测试等功能。在分析测试需求的基础上,通过单项功能测试对测试过程进行了说明。最后对某BCM产品进行测试,结果证明系统能够满足使用要求,提高了工作效率,且可以推广到有相似需求的其他工作中使用。     

航空机载软件适航性审定标准DO-178C与软件管理标准GJB5000A的比较分析

 航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段，审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求，但在软件管理领域，还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A的异同，得出机载软件适航性审定在对软件开发过程的管理方面存在不足，提出需要加强企业在项目监控、过程测量与分析和风险管理方面的要求，并按照DO-178C标准的形式要求，给出了参考的改进方案。     

利用Labview开发网络化仪器的研究

主要回顾了仪器的发展历程，讲述了基于互联网的网络化仪器概念，重点探讨了它的网络结构和开发软件技术，最后用一个简单的例子说明了网络化仪器的开发过程。     

航空机载软件适航性审定标准DO-178C与软件管理标准GJB5000A的比较分析

 航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段，审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求，但在软件管理领域，还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A的异同，得出机载软件适航性审定在对软件开发过程的管理方面存在不足，提出需要加强企业在项目监控、过程测量与分析和风险管理方面的要求，并按照DO-178C标准的形式要求，给出了参考的改进方案。     

A visualization method of requirement checking based on software behavior

In order to verify the consistency between software requirements model/document and users’ true minds,we present a software behavior-oriented requirements visualization method.The implementation method for software behavior-oriented requirements visualization is advanced in this paper first.Then,the basis language is introduced as the foundation of the method.At last,we put forward the tool platform that can achieve the requirement visualization.The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement.It can effectively reduce the requirements change and save a lot of software development costs.     

网络化公路设计项目管理关键技术及应用

针对公路设计对项目管理的迫切需求，进行了网络化公路设计项目管理的关键技术与应用研究．首先对网络化公路设计项目管理进行了需求分析．基于需求分析，系统地研究了实施网络化公路设计项目管理的关键技术，包括设计流程分析与改进、网络化动态项目监控与协调、项目信息集成管理技术等．基于所提出的关键技术进行了网络化公路设计项目管理的系统开发与应用．实际应用表明，网络化项目管理能够有效提高公路设计项目的管理效率，合理配置与动态优化设计资源，实时监控与调整项目计划与进度．并对设计人员进行准确地绩效评价．     

多时延网络化系统中保性能控制器设计

针对大规模、实时性要求较高的集散工业控制环境,建立了闭环控制回路用网络来实现的网络化系统.针对网络化系统,提出了一种多时延系统模型.考虑到模型的不确定因素,推出了无记忆状态反馈、鲁棒保性能控制器的存在条件.给出了如何利用MATLAB软件进行控制器设计并给出性能优化的方法.仿真结果表明,该控制器有很好的鲁棒性,对所有允许的网络不确定延迟和模型不确定性,具有良好的性能指标,可以用于分散环境下的大型工业控制系统.     

一种基于模型的可视化汽车电子软件需求表示方法

汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件，其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法，将原始需求划分为多个层次和视角，采用多种图形语言对系统的各个侧面进行表示，并揭示各个部分模型之间的关系，力图以可视化的方式形成问题空间的全景“蓝图”和局部可缩放视图。该方法的使用，有利于降低表示需求的复杂度，便于从需求模型到设计模型的平滑过渡。