针对需求缺陷检测任务的自然语言需求数据集评估

1

作者 蔡一涵 马立鹏 +1 位作者 杨卫东 施伯乐 《计算机应用与软件》 北大核心 2024年第11期78-85,共8页

自然语言是软件需求的主要书写形式之一,易于理解但容易产生缺陷。目前,基于自然语言处理等技术解决需求缺陷的方法引起学术界和工业界的广泛关注。但不像其他领域中存在大量可用公开数据集,在软件工程领域,仍然缺乏合适数据集与评价数... 自然语言是软件需求的主要书写形式之一,易于理解但容易产生缺陷。目前,基于自然语言处理等技术解决需求缺陷的方法引起学术界和工业界的广泛关注。但不像其他领域中存在大量可用公开数据集,在软件工程领域,仍然缺乏合适数据集与评价数据集是否合适的方法来帮助进行基于自然语言的需求缺陷检测等任务。针对需求缺陷检测,提出对应的数据集评估方法与度量模型,设计基于规则的数据集评估框架,对已有的公开需求数据集进行实验分析,并根据量化指标进行统计。 展开更多

关键词 软件需求 需求缺陷 需求工程 自然语言处理

在线阅读 下载PDF 职称材料

可信软件非功能需求形式化表示与可满足分析 被引量：10

2

作者 张璇 李彤 +3 位作者 王旭 于倩 郁湧 朱锐 《软件学报》 EI CSCD 北大核心 2015年第10期2545-2566,共22页

可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可... 可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性. 展开更多

关键词 可信软件 早期需求工程 非功能需求 软件过程 可满足性问题

在线阅读 下载PDF 职称材料

软件流水中的循环展开优化 被引量：16

3

作者 李文龙 刘利 汤志忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第11期1111-1115,共5页

在软件流水中应用循环展开可以实现分数值的启动间距 ,提高资源的利用率 ,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度 .提出了基于程序特性的展开因子算法UTBPC(UnrollingTimesBasedProgramCharacter istics) ,解... 在软件流水中应用循环展开可以实现分数值的启动间距 ,提高资源的利用率 ,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度 .提出了基于程序特性的展开因子算法UTBPC(UnrollingTimesBasedProgramCharacter istics) ,解决了循环展开的核心问题———展开因子的确定 ,同时提出了基于展开的软件数据预取优化技术 ,提高了软件数据预取的效率 .所有这些都在ORC(OpenRe searchCompiler)中实现 ,并对SPEC 2 0 0 0中的程序进行了测试 ,平均性能提高了 2 .6% .实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能 . 展开更多

关键词 计算机软件 软件流水 循环展开 展开因子 数据预取

在线阅读 下载PDF 职称材料

面向软件动态演化的需求建模及其模型规范化 被引量：6

4

作者 谢仲文 李彤 +3 位作者 代飞 钱晔 罗溦 王娟 《计算机科学与探索》 CSCD 2012年第6期557-576,共20页

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式... 针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。 展开更多

关键词 需求工程 软件动态演化 特征 通信进程代数 规范化

在线阅读 下载PDF 职称材料

最终用户编程中的业务流程相似度计算 被引量：5

5

作者 公帅 熊锦华 刘志勇 《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1686-1691,共6页

为了改善业务流程推荐的准确性和最终用户编程的效率,提出了一种互联网环境下面向最终用户编程的计算业务流程内容与结构相似度的方法。使用分支限界算法计算业务流程的控制流关系矩阵间的最小编辑距离,得到结构相似度;计算以业务流程... 为了改善业务流程推荐的准确性和最终用户编程的效率,提出了一种互联网环境下面向最终用户编程的计算业务流程内容与结构相似度的方法。使用分支限界算法计算业务流程的控制流关系矩阵间的最小编辑距离,得到结构相似度;计算以业务流程为文档的特征向量间的相似度,得到内容相似度;以最终用户编程平台中实际业务流程为例,验证了该方法的有效性。 展开更多

关键词 最终用户编程 业务流程 相似度计算 软件工程 软件开发

在线阅读 下载PDF 职称材料

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

6

作者 李智 金芝 《软件学报》 EI CSCD 北大核心 2013年第5期961-976,共16页

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

关键词 问题框架 通信顺序进程 领域和需求建模 最弱环境演算 软件规约

在线阅读 下载PDF 职称材料

利用XML实现业务规则和信息系统分离的方法研究 被引量：1

7

作者 周运 詹华伟 +1 位作者 赵永进 徐久成 《计算机应用与软件》 CSCD 北大核心 2008年第2期24-26,共3页

企业信息系统常因业务规则的改变而导致信息系统无法使用,提出了将业务规则与信息系统分离的观点,探讨了利用XML作为描述软件需求文档的可行性。藉由XML的机器可读性,让信息系统直接读取包含业务规则的软件需求文档,以实现业务规则和程... 企业信息系统常因业务规则的改变而导致信息系统无法使用,提出了将业务规则与信息系统分离的观点,探讨了利用XML作为描述软件需求文档的可行性。藉由XML的机器可读性,让信息系统直接读取包含业务规则的软件需求文档,以实现业务规则和程序代码分离,进而实现需求文档的重用。 展开更多

关键词 XML 软件需求文档 需求规格 业务规则

在线阅读 下载PDF 职称材料

基于企业流程的需求形式化验证技术 被引量：1

8

作者 郑跃斌 《计算机工程与应用》 CSCD 北大核心 2003年第28期216-220,共5页

需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于... 需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性。 展开更多

关键词 企业流程 需求验证 软件工程

在线阅读 下载PDF 职称材料

基于企业流程的需求分析方法的图形描述机制 被引量：1

9

作者 郑跃斌 《计算机工程与应用》 CSCD 北大核心 2003年第26期215-217,共3页

企业流程是指为完成企业战略目标而进行的一系列逻辑相关的活动的有序集合,是企业经营活动的表现形式,也是现代信息系统建立的基础。然而传统的需求分析技术并没有体现出企业流程这一概念。论文在分析企业流程特点的基础上,建立了基于... 企业流程是指为完成企业战略目标而进行的一系列逻辑相关的活动的有序集合,是企业经营活动的表现形式,也是现代信息系统建立的基础。然而传统的需求分析技术并没有体现出企业流程这一概念。论文在分析企业流程特点的基础上,建立了基于企业流程的需求分析方法的图形描述机制,重点叙述了企业流程建模的方法。 展开更多

关键词 企业流程 软件工程 需求分析

在线阅读 下载PDF 职称材料

软件需求分析自动化支撑系统中的字典管理方法研究

10

作者 杨大军 丁俊华 吕建 《计算机应用与软件》 CSCD 北大核心 2001年第4期37-42,共6页

软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。

关键词 功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理

在线阅读 下载PDF 职称材料

基于混沌理论的需求分析质量评价模型

11

作者 葛君伟 葛智 方义秋 《计算机应用》 CSCD 北大核心 2009年第11期3124-3127,共4页

在基于混沌理论和软件需求复杂性理论研究的基础上,提出一种理论模型。该模型是在已描述的非线性方程下得到的一个包含三段式的轨迹图,它可以对软件需求的演化过程进行指导,同时也可以评价需求过程的质量。初步研究表明,只要需求演化过... 在基于混沌理论和软件需求复杂性理论研究的基础上,提出一种理论模型。该模型是在已描述的非线性方程下得到的一个包含三段式的轨迹图,它可以对软件需求的演化过程进行指导,同时也可以评价需求过程的质量。初步研究表明,只要需求演化过程的变化图和模型的轨迹图一致,那么需求的演化过程就可以看成是正常的。最后通过对具体实例的分析,验证了该模型在评价需求演化过程上是有效可行的。 展开更多

关键词 软件工程 需求分析 需求演化过程 非线性方程 混沌

在线阅读 下载PDF 职称材料

基于多代理的制造系统建模框架和实现方法

12

作者 袁锋 谢里阳 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第9期851-853,共3页

介绍了基于功能建模和基于过程建模两种制造系统建模框架与方法,分析了软件对象技术、组件技术和代理技术的不同特点·提出了基于多代理的制造系统建模框架,它由对象自治性层次维、软件生命周期维和多视图模型维组成·采用基于... 介绍了基于功能建模和基于过程建模两种制造系统建模框架与方法,分析了软件对象技术、组件技术和代理技术的不同特点·提出了基于多代理的制造系统建模框架,它由对象自治性层次维、软件生命周期维和多视图模型维组成·采用基于多代理的软件工程实现方法,开发了基于多代理的制造系统软件·与软件对象和组件相比,智能代理具有更强的自治性和智能性,能够满足复杂制造系统对分布式数据和分散控制的要求,为制造系统过程集成提供了新的途径· 展开更多

关键词 代理 建模框架 制造系统 软件工程 多代理系统 业务过程建模

在线阅读 下载PDF 职称材料

基于企业流程的需求形式化说明语言

13

作者 郑跃斌 《计算机工程与应用》 CSCD 北大核心 2003年第27期227-229,232,共4页

需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说... 需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。 展开更多

关键词 企业流程 需求说明 形式化语言

在线阅读 下载PDF 职称材料

用户特征请求分析与处理研究综述 被引量：5

14

作者 牛菲菲 李传艺 +1 位作者 葛季栋 骆斌 《软件学报》 EI CSCD 北大核心 2023年第8期3605-3636,共32页

特征请求是软件产品的真实用户在开放平台上提出的对现有特征的改进或者对新特征的请求.特征请求在一定程度上反映了用户的真实意愿,代表了用户的需求.高效、准确地分析和处理用户特征请求对于提升用户满意度、提高产品竞争力起着至关... 特征请求是软件产品的真实用户在开放平台上提出的对现有特征的改进或者对新特征的请求.特征请求在一定程度上反映了用户的真实意愿,代表了用户的需求.高效、准确地分析和处理用户特征请求对于提升用户满意度、提高产品竞争力起着至关重要的作用.用户的广泛参与,使得特征请求成为越来越重要的需求来源.然而,特征请求在其来源、内容以及形式等方面均与传统的软件需求不同.进而将其充分应用于软件开发过程所采用的具体方法,也有别于传统的需求工程.目前已经有许多将特征请求应用于软件开发过程中的相关研究,比如特征请求的获取、分类、排序、质量评估、为特征请求推荐开发者,以及定位相关代码等.随着相关工作的不断增加,形成一个针对特征请求分析与处理研究综述的必要性日益增强.因此,调研121篇关于在软件开发过程中分析和处理特征请求的国内外学术研究论文,从将特征请求应用于软件开发过程的角度对现有成果进行系统地梳理.总结现有针对特征请求的研究主题,提出将特征请求应用于软件开发过程的处理流程,并与传统的需求工程过程进行对比.此外,深入分析在各个需求工程活动中使用的具体方法及方法之间的差别.最后,对特征请求的未来研究方向进行展望,以期为同行研究人员提供参考. 展开更多

关键词 特征请求 需求工程 软件开发 分析与处理

在线阅读 下载PDF 职称材料

一种扩展UML/UP的需求分析方法 被引量：1

15

作者 周宁 许沪敏 +2 位作者 冯东雷 何坚 叶奇 《计算机应用与软件》 CSCD 北大核心 2007年第3期78-80,共3页

UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程。UML和UP结合在一起成为一种很强大的软件工程方法学。UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与... UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程。UML和UP结合在一起成为一种很强大的软件工程方法学。UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与后续的系统分析和设计有较大的鸿沟。分析了需求工程中用例和场景分析以及用例图示的高层设计方法。在此基础上,提出了在需求方面增强了UML/UP方法。 展开更多

关键词 统一建模语言 统一过程 需求工程 场景 需求获取与表达 软件结构

在线阅读 下载PDF 职称材料

软件自动化生产线的研究与应用 被引量：2

16

作者 王丹 赵恒永 汪须忠 《计算机工程与设计》 CSCD 北大核心 2005年第12期3444-3447,3455,共5页

软件自动化生产线是针对传统软件开发中存在的开发成本过高、质量得不到保证等一系列问题,使用全新的“组装+自动化”的思想理念,采用业务组件组装技术,以业务流程为中心,在流程引擎的驱动下,完成代码的自动生成,实现系统软件的开发。... 软件自动化生产线是针对传统软件开发中存在的开发成本过高、质量得不到保证等一系列问题,使用全新的“组装+自动化”的思想理念,采用业务组件组装技术,以业务流程为中心,在流程引擎的驱动下,完成代码的自动生成,实现系统软件的开发。代码的自动生成,大幅度提高了软件的质量和开发效率,节省资源;业务流程的易修改性,能够适应不断变化的用户需求,灵活性高。使用该生产线开发出来的软件具有安全性高、稳定性好、易扩展、与原有系统实现无缝结合等特点。 展开更多

关键词 软件自动化生产线 业务组件 流程引擎 工作流 系统组装

在线阅读 下载PDF 职称材料

美国SEI软件流程管理标准——CMM软件能力成熟度模型探讨 被引量：2

17

作者 邓冰 《计算机科学》 CSCD 北大核心 2002年第5期150-151,共2页

CMM(Capability Maturity Model)即软件能力成熟模型,是美国卡内基@梅隆大学软件工程研究所SEI在美国国防部DOD的领导下,经过多年软件工程研究所建立的软件流程管理标准.1993年SEI公布的CMM1.1版沿用至今.CMM的出现是为了克服软件生产... CMM(Capability Maturity Model)即软件能力成熟模型,是美国卡内基@梅隆大学软件工程研究所SEI在美国国防部DOD的领导下,经过多年软件工程研究所建立的软件流程管理标准.1993年SEI公布的CMM1.1版沿用至今.CMM的出现是为了克服软件生产的危机.所谓软件生产的危机是指尽管新的软件开发方法和技术不断出现,但软件生产率和质量并未得到有效提高,软件产品不能按时完成,软件生产预算超支,而且交付客户使用的软件产品(特别是大型软件工程)中由于各种原因产生的错误无法克服. 展开更多

关键词 软件工程 软件开发 软件能力成熟度模型 CMM SEI 软件流程管理标准 美国

在线阅读 下载PDF 职称材料

软件需求工程技术综述 被引量：5

18

作者 王浩宇 《计算机科学》 CSCD 北大核心 2022年第S02期766-779,共14页

需求工程作为软件项目的首个过程,它的实施质量很大程度上能决定软件项目的成败。80年代中期敏捷软件开发的出现使得需求工程从由计划驱动过渡到现在的由价值取动。此外,硬件性能的大幅提升与人工智能的再度兴起使自然语言处理的效率和... 需求工程作为软件项目的首个过程,它的实施质量很大程度上能决定软件项目的成败。80年代中期敏捷软件开发的出现使得需求工程从由计划驱动过渡到现在的由价值取动。此外,硬件性能的大幅提升与人工智能的再度兴起使自然语言处理的效率和规模与日俱增,需求工程更能本地易地利用自然语言处理来分析大量文本数据。物联网、边缘计算和大数据的出现使投资者和开发人员更容易获取到大量用户数据和商业信息,数据驱动的需求工程作为一种新概念也逐渐被业界所知。文中首先综述了需求工程的发展历程,包括从需求工程方法学开始,到面向对象建模,再到基于本体和面相特征的需求工程,以及与机器学习相关的自动化需求提取技术。随后重点介绍了3种需求工程相关的研究方向,包括需求工程中采用的自然语言处理方式和支持的部分语言类型,敏捷需求工程的发展历程以及近年提出的工具和方法,数据驱动的需求工程的概念、必要性、过程和近年主要采取的方法和实践。最后基于一些各国关于需求工程开展情况的报告,分析了需求工程近年遇到的困难和挑战,并对需求工程未来的发展进行展望。 展开更多

关键词 需求工程 敏捷开发 自然语言处理 数据驱动

在线阅读 下载PDF 职称材料

一个基于原则集的软件过程模型 被引量：1

19

作者 蒋立平 《计算机工程与应用》 CSCD 北大核心 2002年第12期100-102,共3页

文章针对软件开发实践中普遍存在的一些问题,在分析软件过程的基础上,从管理角度提出了一个基于原则集的软件过程模型,通过原则集将组织结构、工程和管理实践结合起来,籍此希望对提高企业实际的软件能力有所助益。

关键词 原则集 软件过程模型 软件需求工程 软件开发

在线阅读 下载PDF 职称材料