软件需求

摘要： 在物流仓储系统建设过程中,系统集成包括从设计规划,流程规划,设备选型,软件需求,到现场管理,工期管理,质量管理,应急管理,上线测试,培训,乃至售后服务等一些列过程。是一项多学科,技术密集,时间长,难度大的专业性工作。系统集成商也是保证系统最终质量水平的第一责任人和最后的把关人。

摘要： 由于系统资源的有限性,目前空间飞行器中的嵌入式操作系统并没有文件系统模块.系统任务通过直接调用I/O接口,完成外部存储设备的读与写.但是,随着空间飞行任务复杂化,数据大量涌现,空间嵌入式操作系统需要文件系统来完成数据处理,因此安全可靠的文件系统的开发是空间嵌入式操作系统亟待解决的问题.空间嵌入式操作系统是典型的安全关键的系统,集成在系统中的每一个模块都需要经过严格的测试,保证其不会在运行期间产生故障.采用形式化验证的技术可以从数学上严格保证验证对象的正确性.因此,本文采用形式化技术,针对面向空间飞行器文件系统的需求,验证其内部逻辑的正确性.

摘要： 随着软件数量和种类的快速增长,有效地挖掘软件需求的文本特征,并对软件功能性需求的文本特征进行分类,成为软件工程领域的一大挑战。软件功能性需求分类为整个软件开发过程提供了可靠的保障,并减小了需求分析阶段潜在的风险和负面影响。但是,软件需求文本的高分散性、高噪声、数据稀疏等特点限制了软件需求分析的有效性。提出双层词汇图卷积网络模型,创新性地对软件需求文本进行图建模,建立软件需求的图神经网络,有效捕获单词的知识边以及单词与文本之间的关系;并提出深度集成学习模型,集成多个深度学习分类模型,对软件需求文本进行分类。在数据集Windows_a和数据集Windows_b的实验中,融合Bert和图卷积的深度集成学习模型的准确率分别达到96.73%和95.60%,其明显优于其他文本分类模型,充分证明融合Bert和图卷积的深度集成学习模型能有效判别软件需求文本的功能特性,提高软件需求文本分类的准确性。

摘要： 软件需求是用户对软件效用的直接回馈,实现对软件需求工程精确分类可大幅降低维护成本并显著加快软件开发维护的流程。使用传统的基于机器学习分类方法(如逻辑回归、支持向量机以及K近邻算法),或简单地应用BERT(Bidirectional Encoder Representation from Transformers)模型都不能很好地利用软件需求PROMISE数据集样本,最终表现为通用性差或分类效率低。为了增强BERT模型对自然语言文本的语义理解能力,应用提示学习的思想,将K分类选择问题转化为二分判断问题。实验结果表明,无需对不均衡的数据集执行样本均衡策略,模型分类性能便远优于上述两种分类工作,获得最佳的预测结果。

摘要： 目的:以高校场地视角,软硬件条件对全民健身夜跑意愿的影响进行分析。方法:全国随机抽取463名高校师生,采用调查问卷的研究方法,对调查结果和各个变量进行统计分析。结果:高校师生的夜跑意愿与硬件条件的相关系数(β=0.217,p<0.01)具有显著的正相关关系,夜跑意愿和软件需求的相关系数(β=0.259,p<0.01)显著也为正相关关系,此外,在夜跑距离标识系统、灯光条件、医疗协助方面,以及管理软团队等方面,存在漏洞和问题。结论:提高硬件水平会促进夜跑活动,带动全民健身水平,软件服务提升会带来高校师生夜跑活动的增长和全民健身服务体系的提升,要以人为本,专业为依托,合理设计及改进夜跑软硬件条件,完善公共服务体系,推动夜跑活动健康发展。

摘要： 近年来各高校围绕“立德树人”的根本任务,在各类专业课中以柔和的方式引入“课程思政”,以一种潜移默化的形式对大学生进行思政教育将是专业课程教学改革的新导向。文章首先解读了“课程思政”的含义,然后论述了《软件需求工程》课程思政现状,最后提出了该课程的课程思政改革措施和教学设计方法,以期从多角度、全方位和全过程等方面达到教书和育人的目的。

摘要： 程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。

摘要： 现代化的电气自动化控制与计算机的运用息息相关,应用型人才的培养需要具备计算机应用能力。《软件学基础》课程是针对非计算机专业设计软件需求而开设的一门专业基础课。课程中涉及算法、数据结构、操作系统、编译技术、数据库设计和应用软件设计与开发技术等计算机基础内容。电气类专业课时安排较少,为提高课程教学效果,本文总结了《软件学基础》课程采用的教学方法和考核方法,并根据多年教学经验,对课程给出教学建议。

摘要： 本文通过对网课软件筛选,寻找适合农村教师的网课模式.通过对多种软件的筛选,期望寻找到操作简单,适合农村教师使用,并能解决大部分直播问题的软件或软件组合.教师可以无障碍发挥对学生的监督管理作用,调整传统的授课模式,能够更好完成授课、作业批改、测试等教学活动.提出网课教学软件开发的师生教学需求,展望未来教育.

摘要： 软件需求分析是软件生命周期中的重要阶段,传统开发方式使用自然语言或UML图描述模型,需求中容易出现不一致性、二义性和不完整性.使用形式化的方法对需求进行分析,有助于开发出可靠的软件产品.目前,B方法是重要的形式化建模方法,它建立在严格的数学基础上,具有较完善的机制.本文将研究B方法在软件开发中的应用,提出UML类图和B方法的转换规则,最后对实例进行形式化描述和验证,帮助开发人员在软件建模阶段发现错误.

摘要： 由于软件的可靠性要素在需求分析时很难进行定量分析,使得人们在做软件需求分析时很容易将可靠性指标变成一个随意制定而叉无法评测的参数.本文结合现代控制理论及6sigma管理方法试着给出了一种对需求分析中的可靠性目标进行定量分析的方法.

摘要： 汽车电子软件是当前软件应用中新出现的一类新型软件,如何对这类软件系统进行需求分析和描述是目前软件工程面临的重要课题。主要研究汽车电子软件需求分析中的三个重要问题:需求分析的要素、网络行为的抽象以及需求的描述,提出了一种基于UML协议状态机的需求描述方法,并通过实例说明如何在实际开发中应用上述研究结果.该描述方法能够捕获需求文档中需求点之间的语义关联,在高抽象层次上形成系统的行为描述,便于后续软件设计和测试.

摘要： 本文介绍综合航电系统硬件和软件需求分析的流程及方法,为综合航电系统硬件和软件需求设计提供参考.综合航电系统是飞机上最为复杂的系统之一，是飞机上执行功能最多的系统，因此完成综合航电系统的需求分析是一项复杂而繁复的工作。对于综合航电系统的需求分析工作可以包括许多层级，系统级、部件级、组件级，将根据系统开发方式由飞机设计部门进行相应层级的分析工作。但是对于复杂系统的需求分析永远都是无法在项目初始阶段就完成的，其工作将是贯穿整个综合航电系统设计周期的，将根据飞机的设计和系统的设计工作而反复迭代进行。

摘要： 数字发动机电子控制器的自检诊断测试能及时发现控制器的故障，屏蔽故障电路并进行系统重构，保障发动机工作的安全性，提高控制器工作的可靠性，为发动机和控制器日常维护提供技术支持。本文对 数字发动机电子控制器自检诊断测试的硬件电路设计和软件需求提出了一些构思。

摘要： 本文在研究质量控制、姿态改正和潮位提取等关键技术的基础上，研制了GPS潮位提取软件。首先对软件需求进行了分析，对其运行环境和开发环境进行了讨论;其次，搭建了软件的框架，通过关键技术研究，实现了框架中的功能。最后，通过实验验证了软件的稳定性以及所采用算法的正确性。

摘要： 计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的.传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然后建立它们之间的联系以及它们的动作.而软件行为学,则是通过提取需求规约中的场景,来建立行为模型,继而确定参与角色.通过时序逻辑的方法来描述软件需求中的行为,并给出行为精化的过程,为软件行为学的研究奠定了基础.

摘要： 软件需求获取与分析是是需求工程领域中研究的一个难点问题，在Internet环境下软件开发同样面临需求的准确获取和规约的完备性问题。本文基于知识转移概念和并行工程理论，重点研究了基于Web服务的软件开发环境下软件需求准确获取和规约问题。给出了基于软件开发过程实时交互和Web服务检索结果实时反馈的软件需求迭代优化方法，并详细阐述每一个步骤。该方法基于交流一反馈的增量学习模式，有助于提高基于Web服务软件开发中需求的完备性。

摘要： 分析了软件需求和军事需求之间的区别,论证了军事需求的独特性及其面临的问题,并结合我军指挥信息系统需求研究的实践,提出了C4ISR系统需求模型化开发方法,包括需求模型化的过程、需求模型的组成及描述方式.

摘要： 本文对岩锚梁承载试验的自动监测方案进行分析，着重介绍了试验的硬件、软件平台。对试验硬件、软件需求和系统组建中重点问题也作分析，并给出工程实际运用的实例成果。

摘要： 本文根据数据源向关系有利于描述用户需求的特点，提出以表单流图作为挖掘数据源向关系的起点,利用数据源向图分析数据源向关系;并分别给出表单流图和数据源向图的定义、绘制方法及关键步骤分析.在需求分析阶段挖掘和分析数据之间的源向关系,确定中间辅助结果的数据结构,可以清晰地描述用户需求的静态数据模型.

摘要： 本申请涉及一种软件性能测试需求收集系统，包括：需求录入页面和数据库。其中需求录入页面包括多种不同类别的需求录入模块，对需求进行细化，需求录入模块用于向用户提供统一的需求录入格式，对需求进行规范管理，达到提质增效。本申请中的软件性能测试需求收集系统接收用户录入的需求后，通过数据库将用户录入的需求进行持久化，减少测试负责人员的人力劳动，节省人力资源。

摘要： 本发明实施例公开了一种软件需求审核方法以及需求审核系统，用于在审核软件时避免了进行人工操作时出现的失误和纰漏，同时避免了因人工操作而得到错误的审核结果。本发明实施例方法包括：需求审核系统接收待审核软件的需求配置数据，所述需求配置数据在编译待审核软件时通过待审核软件的程序代码生成；需求审核系统从需求配置数据中读取待审核软件的功能元配置信息；需求审核系统根据预置的审核规则对功能元配置信息进行审核，将对功能元配置信息的审核结果作为待审核软件的审核结果。本发明实施例还提供需求审核系统。本发明实施例能够在审核软件时避免了进行人工操作时出现的失误和纰漏，同时避免了因人工操作而得到错误的审核结果。

摘要： 本发明涉及一种用于建立软件需求模型的系统及建立软件需求模型的方法，用于建立软件需求模型的系统包括一个独立的或是计算机内部建立的软件需求信息处理器，还有输入设备和输出接口；所述软件需求信息处理器包括：一个软件需求信息单元，一个建立场景单元，一个建立行为模型单元，一个软件需求模型检测、修改和输出单元。建立软件需求模型的方法步骤为：A、输入软件需求信息；B、建立场景；C、建立行为模型；D、检测、修改和输出软件需求模型。本发明优点在于，通过使用场景和视点技术，能够为复杂软件系统的建立高质量的需求模型，自动检测软件系统的需求是否正确和完整，能兼容一些其它的建模方法和技术，还能减少研究成本，提高研究效率。

摘要： 本发明公开了一种基于安全需求模板的安全需求获取系统，包括软件安全需求知识库和基于安全需求模板的安全需求获取框架；获取方法包括步骤(1)、创建一个空白的安全需求说明文档；步骤(2)、从安全需求模板库中选择相对应的安全需求模板；步骤(3)、实现模板问题回答；步骤(4)、安全功能需求获取；步骤(5)、文档生成。与现有技术相比，本发明提高了需求获取方法的自动化程度；提高了CC标准的可用性，能够辅助用户自动生成安全需求说明文档；在软件需求分析阶段，软件工程师可在安全需求模板的基础上，及时获取到软件的安全需求，为软件后续阶段的安全性提供安全保障，并且提高软件开发的质量和效率，降低开发维护成本。

摘要： 本发明实施例公开了一种软件需求审核方法以及需求审核系统，用于在审核软件时避免了进行人工操作时出现的失误和纰漏，同时避免了因人工操作而得到错误的审核结果。本发明实施例方法包括：需求审核系统接收待审核软件的需求配置数据，所述需求配置数据在编译待审核软件时通过待审核软件的程序代码生成；需求审核系统从需求配置数据中读取待审核软件的功能元配置信息；需求审核系统根据预置的审核规则对功能元配置信息进行审核，将对功能元配置信息的审核结果作为待审核软件的审核结果。本发明实施例还提供需求审核系统。本发明实施例能够在审核软件时避免了进行人工操作时出现的失误和纰漏，同时避免了因人工操作而得到错误的审核结果。

摘要： 本发明提供了一种软件工作者与软件需求者信息共享平台，包括医院信息源、急救中心终端和专线网络系统，所述医院信息源和急救中心终端通过数据集成安全网关均连接于专线网络系统上，所述专线网络系统连接有区域医疗信息数据共享平台，所述区域医疗信息数据共享平台包括云平台应用服务器、云存储系统、加密解密模块、统计分析系统、医疗影像主索引和患者就诊主索引，并通云平台应用服务器连接由移动终端，将不同的医疗机构进行全面的系统整合，从而形成统一标准的医疗信息共享平台，能够提高医疗信息的共享能力和医疗信息服务平台的服务能力，实现更完善的区域医疗服务，与传统分散独立的建设模式相比有很大的优越性。

摘要： 本发明涉及一种基于关系表描述软件需求的软件生成方法，包括将软件需求描述为关系表TableOfRequirement；将数据表之间的关系描述为一对多关系表TableOneMore；使用Html或CSS语言设计软件界面模块；生成目标软件代码、数据库的SQL脚本和界面代码；使用数据库管理系统的运行工具运行SQL脚本，自动生成数据库结构、表间关系，并置入基础数据；测试运行目标软件，完善关系表TableOfRequirement和一对多关系表TableOneMore。本发明设计合理，其针对一类涉及信息采集领域、具有相似需求的软件项目，使用关系表描述软件的需求，自动生成软件代码和数据库结构，能够减少研发时间、节省开发成本、提高项目成功率、保证软件质量。

摘要： 本发明涉及一种飞机机电管理系统的软件需求设计验证方法，适用于飞机详细设计初期对机电管理系统软件需求设计的验证。本发明在机电管理系统软件需求设计完成后，使用界面生成软件建立机电管理系统激励系统模型与响应系统模型，使用仿真软件建立机电管理系统需求模型，并编写机电管理系统软件需求验证测试用例。根据用例操作激励系统模型界面，通过响应系统模型显示界面判断需求设计是否合理，以完成需求验证工作。本发明可在飞机详细设计初期对机电管理系统需求进行迭代和回归验证测试，使设计验证并行运行，缩短研发周期，同时可以及早发现设计问题，进行系统需求优化，减少技术风险。

摘要： 本发明公开了基于深度学习的软件需求文本缺陷检测方法及系统，使用深度学习算法构建以软件需求文本为输入量，以软件需求文本中的缺陷所在语句及对应缺陷类别为输出量的缺陷检测分类器；获取多个软件需求文本，并对多个软件需求文本中的缺陷所在语句及对应缺陷类别进行标注，并使用标注好的多个软件需求文本训练缺陷检测分类器；将待检测的软件需求文本输入训练好的缺陷检测分类器中，得到软件需求文本的缺陷所在语句及对应缺陷类别。本发明通过预先借助深度学习算法构建缺陷检测分类器，再使用训练好的缺陷检测分类器对软件需求文本进行缺陷检测，能够快速、准确地检测出软件需求文本中的表述性缺陷，为发现缺陷节省了大量的人力和时间。

摘要： 本实用新型提供了一种软件工作者与软件需求者信息共享平台，包括医院信息源、急救中心终端和专线网络系统，所述医院信息源和急救中心终端通过数据集成安全网关均连接于专线网络系统上，所述专线网络系统连接有区域医疗信息数据共享平台，所述区域医疗信息数据共享平台包括云平台应用服务器、云存储系统、加密解密模块、统计分析系统、医疗影像主索引和患者就诊主索引，并通云平台应用服务器连接由移动终端，将不同的医疗机构进行全面的系统整合，从而形成统一标准的医疗信息共享平台，能够提高医疗信息的共享能力和医疗信息服务平台的服务能力，实现更完善的区域医疗服务，与传统分散独立的建设模式相比有很大的优越性。