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

1

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

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

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

在线阅读 下载PDF 职称材料

需求工程研究新进展 被引量：21

2

作者 张家重 徐家福 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期1-5,共5页

需求工程研究进展日渐显著，它可归结为需求工程的对象化、形式化和自动化三个主要方面．文中在讨论了需求工程有关的基本问题之后，围绕着上述三方面总结了其代表性工作、研究现状和发展趋势，并简要介绍了作者近期在面向对象需求工程... 需求工程研究进展日渐显著，它可归结为需求工程的对象化、形式化和自动化三个主要方面．文中在讨论了需求工程有关的基本问题之后，围绕着上述三方面总结了其代表性工作、研究现状和发展趋势，并简要介绍了作者近期在面向对象需求工程及其自动化方面所做的一些工作． 展开更多

关键词 需求工程 面向对象 软件自动化 软件开发

在线阅读 下载PDF 职称材料

需求分析与获取的方法学与技术 被引量：10

3

作者 陈晓桦 刘心松 《计算机应用》 CSCD 1995年第2期19-21,共3页

本文给出需求工程的一般框架，在对需求分类的基础上主要讨论非功能性（即非行为性）需求，提出对软件需求规范和分析技术的要求，并强调对现有相关工作评价的其中两个方面。

关键词 软件开发 需求分析 需求规范 需求工程

在线阅读 下载PDF 职称材料

功能规约自动生成 被引量：2

4

作者 董丽君 凌澍 徐家福 《计算机学报》 EI CSCD 北大核心 1996年第3期174-178,共5页

ＮＤＲＡＳＳ系统［１］是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统．功能规约自动生成是该系统的主体部分．它涉及状态空间的生成，操作定义的生成和系统总控流程的生成等．本文简要阐述了这... ＮＤＲＡＳＳ系统［１］是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统．功能规约自动生成是该系统的主体部分．它涉及状态空间的生成，操作定义的生成和系统总控流程的生成等．本文简要阐述了这些问题，特别讨论了ＮＤＲＡＳＳ系统中控制流图的规范化与结构化分解．全文包括研究动因、ＮＤＲＡＳＳ系统、功能规约自动生成架构、控制流图的规范化和结构化、代码生成、示例以及结语七个部分． 展开更多

关键词 软件需求定义 软件功能规约 NDRASS系统

在线阅读 下载PDF 职称材料

软件需求规格说明自动生成工具 被引量：1

5

作者 甘早斌 卢正鼎 《小型微型计算机系统》 CSCD 北大核心 2004年第4期650-653,共4页

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

关键词 软件需求规格说明 条件有向图 需求自动化

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

软件需求定义语言NDRDL的设计 被引量：1

7

作者 董丽君 《计算机研究与发展》 EI CSCD 北大核心 1996年第12期920-925,共6页

本文概述了软件需求定义语言ＮＤＲＤＬ的设计目标及设计原则，并讨论了一些语言基本成分，如数据流图、控制流图、实体关系图等的设计。文中采用个人帐目管理系统（ＰＡＭＳ）作为示例。

关键词 NDRDL语言 设计 数据流图 软件开发

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

Z规格说明函数映射的C++STL实现

9

作者 王宏生 于云赫 古丽 《沈阳工业大学学报》 EI CAS 2008年第3期346-349,共4页

为软件工程概要设计阶段提供新方法,将软件工程语言应用于软件开发实践,进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例,研究了它们的存储形式及其主要操作,并在C++STL中进行预处理,给出了抽象静态... 为软件工程概要设计阶段提供新方法,将软件工程语言应用于软件开发实践,进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例,研究了它们的存储形式及其主要操作,并在C++STL中进行预处理,给出了抽象静态的Z规格说明中函数映射在C++STL环境下自动转换为高级语言程序代码的方法.实现了Z规格说明中全入射、部分入射、全满射、部分满射到高级语言的自动转换,为软件生产的自动化打下了良好的基础. 展开更多

关键词 Z规格说明 函数映射 自动转换 软件自动化 形式语言

在线阅读 下载PDF 职称材料

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

10

作者 周宁 许沪敏 +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 职称材料

网络式软件非功能需求冲突消解 被引量：1

11

作者 赵新辉 袁开银 吴尽昭 《计算机工程》 CAS CSCD 2012年第18期37-41,共5页

在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行... 在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。 展开更多

关键词 网络式软件 需求工程 非功能需求 形式化建模 冲突检测 冲突消解

在线阅读 下载PDF 职称材料

基于词嵌入和长短期记忆网络的非功能软件需求分类 被引量：4

12

作者 李冰 李智 杨溢龙 《广西师范大学学报（自然科学版）》 CAS 北大核心 2021年第5期110-121,共12页

非功能需求(non-functional requirements,NFR)描述了软件所需的一组质量属性,例如安全性、可靠性、性能等。为了开发高质量的软件产品,需要从软件需求规格说明书(software requirements specification,SRS)中提取NFR,如果此过程实现了... 非功能需求(non-functional requirements,NFR)描述了软件所需的一组质量属性,例如安全性、可靠性、性能等。为了开发高质量的软件产品,需要从软件需求规格说明书(software requirements specification,SRS)中提取NFR,如果此过程实现了自动化,不仅可以减少从大量需求中识别特定需求所涉及的人工、时间和精神疲劳,还可以帮助开发人员提供满足用户期望的高质量软件。针对此问题,本文采用深度学习特征提取和分类技术,提出一种基于预训练的BERT(bidirectional encoder representations from transformers)词嵌入和长短期记忆网络LSTM(long short-term memory)相结合的BERT-LSTM网络模型,用于质量软件开发的自动NFR分类。首先,通过BERT模型训练需求文本中的词向量,然后利用长短期记忆网络对词向量进行特征提取,最后使用Softmax分类器识别SRS中的NFR。实验表明,相比于其他算法,在由非功能需求和功能需求组成的PROMISE语料库中,BERT-LSTM网络模型在准确度、召回率、F_(1)得分等指标方面取得了最佳的效果。 展开更多

关键词 非功能需求 需求规格说明书 BERT 长短期记忆网络

在线阅读 下载PDF 职称材料

森林资源规划设计调查管理软件用户需求分析

13

作者 李万华 冯朝平 何仕斌 《现代农业科技》 2015年第13期209-210,共2页

在软件开发过程中,用户需求分析是关系到软件应用成败的关键。现有森林资源管理软件功能单一,不能满足用户需要。针对这种状况,对森林资源规划设计调查管理软件的用户需求进行了分析,并对软件重要功能进行了描述。

关键词 软件工程 森林资源规划设计调查 用户 需求分析 软件功能

在线阅读 下载PDF 职称材料