导读:本文包含了软件需求分析方法论文开题报告文献综述及选题提纲参考文献,主要关键词:问题框架,安全性,性能,增强模式
软件需求分析方法论文文献综述
吴淑慧[1](2018)在《基于问题框架方法的软件非功能性需求分析的研究》一文中研究指出软件开发初期,软件需求分析对整个软件的成功开发起到决定性的作用,因此,高质量的需求分析是我们追求的目标。而问题框架方法是Michael Jackson针对软件需求分析而提出的一种前瞻性的方法。“问题框架”的概念也引起了人们对软件开发中需求的分析和构建的兴趣。进行需求分析时,人们逐渐意识到仅仅完成软件的功能性需求并不能设计出健壮的、稳定的、易维护的系统,而非功能性需求可以弥补这些不足,因此,本文注重将问题框架方法与非功能性需求分析相结合,从而设计出非功性的增强模式以提高系统的性能。在众多的非功能性需求因素中,本文着重关注安全性和性能。因为非功能性本身具有不确定性,所以,本文使用实证的研究方法,从众多的相关文献中提取出安全性和性能的指标,并提取出指标的关注点,用以刻画针对此关注点需要解决的问题。用问题框架分析系统时,携带安全性和性能关注点的问题框架就提高了系统的安全性和性能,使系统的总体性能更加完善。本文主要研究的工作和创新点包括:第一,将经验研究方法中的映射研究引入到非功能性的研究中。映射研究方法能识别某个主题的发展趋势或研究现状,利用这个特点将映射研究方法运用到软件工程中的非功能性中。本文中主要将映射研究用于研究非功能性中的安全性和性能,以得到众多学者对于安全性和性能关注点的研究范围。第二,运用映射研究的方法从有关软件工程中的文献中提取出安全性的指标和关注点。将安全性关注点与问题框架方法相结合,使用于需求分析的问题框架方法具有关注软件系统安全性的能力,这种安全性问题框架即为设计的安全性增强模式。将安全性增强模式用于系统的结构化分析中,使得系统在进行需求分析时就注重考虑安全性,增强了系统在安全性上的需求。且将该安全性增强模式用于购票系统的案例研究,以验证此增强模式的可用性。第叁,运用映射研究的方法从软件工程相关文献中提取出性能指标和关注点,并将性能关注点与问题框架方法相结合,即是性能问题框架的增强模式。该增强模式使携带不同性能关注点的问题框架具有解决系统中潜在的有损系统性能的功能,从而提高了系统的性能。最后使用购票系统的案例研究验证性能增强模式的可用性。(本文来源于《安徽大学》期刊2018-02-01)
崔利杰,靳展,陈浩然,丛继平[2](2017)在《基于GESTE平台的机轮刹车控制软件安全性需求分析与验证方法》一文中研究指出在机载软件安全问题频发的背景下,以机轮刹车控制软件为例,对软件安全性进行分析与验证。首先利用STPA方法识别刹车软件安全性需求,再借助GESTE平台验证机轮刹车控制系统安全性需求,形成了一种可用于机载软件安全性分析与验证的可行方法。该方法对机轮刹车控制软件的设计与编码提出对策和建议,为进一步提高机载软件安全性,提升机载软件适航水平提供参考与借鉴。(本文来源于《第二届中国空天安全会议论文集》期刊2017-08-09)
黄冉冉[3](2016)在《信息物理融合系统中软件需求的分析方法研究》一文中研究指出信息物理融合系统(CPS)是一种既包含物理实体又包含软件实体、融合物理过程与计算过程的混合系统,它已经成为当今工业信息化发展的新趋势,并将最终改变人与物理世界交互的方式。在信息物理融合系统的运行过程中,软件实体监控物理实体的运行过程,感知物理过程的变化,进而影响物理过程,最终形成一个计算过程和物理过程相互影响的反馈循环。软件实体在该过程中起着感知、分析、控制等作用,是整个系统运行的中枢。因此,分析信息物理融合系统的软件需求,明确构成信息物理融合系统的软件实体及其应承担的任务,对于信息物理融合系统的开发具有重要意义。然而,目前针对信息物理融合系统的软件需求分析仍然缺乏有效的方法。计算过程与物理过程的融合使得信息物理融合系统的软件需求分析成为一个具有挑战性的任务。一方面,CPS的软件需求需要从用户所期望实现的物理实体变化出发,基于对物理实体的性质的认识来进行推理才能得到;另一方面,CPS的软件需求分析已不能将CPS中的软件看成一个整体去描述它的外部行为,而是需要分析CPS应该包含哪些软件实体和物理实体,为什么需要这些实体,它们之间的关系是什么以及每个物理实体所具有的性质和软件实体应具有的行为。此外,物理过程与计算过程的融合使得如何采取一种统一的方式来描述物理实体的性质和软件实体的行为以方便用户需求的满足性验证,也成为必须要考虑的问题。为了解决此问题,提出了一种信息物理融合系统中软件需求的分析方法。本文的主要工作如下:(1)本文结合问题框架方法和面向目标的需求分析方法的优势,提出了一种适合信息物理融合系统的软件需求的分析方法,该方法从用户对信息物理融合系统的需求出发,分析满足用户需求所需要的物理实体、软件实体以及物理实体的性质和软件实体的需求。(2)本文提出基于Alloy来对所建立的信息物理融合系统的模型进行有效性验证,以检测这些实体所构成的信息物理融合系统是否能够满足用户的需求。(3)本文以一个自适应巡航控制系统的实际案例来应用此方法,展示方法的应用过程。(本文来源于《河南大学》期刊2016-06-01)
邱煦宇[4](2016)在《软件开发项目需求分析问题及解决方法研究》一文中研究指出需求分析作为软件项目开发关键步骤,具有着重要的作用。本文将结合需求分析过程的具体问题,探讨解决这些问题的思路。(本文来源于《电子技术与软件工程》期刊2016年03期)
连卉,郝燕艳,李延滨,李溟[5](2015)在《基于信息流的星载软件需求分析方法》一文中研究指出针对星载软件数量多且设计分散,各自承担不同的信息处理任务,难以进行有效的总体软件需求分析的问题,文章提出一种基于信息流的软件需求分析方法,以系统级信息流设计为核心,首先进行信息流构架设计,明确卫星上各级总线架构;其次确定星上接口类型、数据传输协议等,并形成整星软件信息接口关系;最后根据信息流分解的结果,确定软件配置项的需求。此方法已在通信卫星领域中实际使用,结果表明它可以有效地制定星上处理规则,优化软件设计流程,增强软件设计的完备性和健壮性。(本文来源于《航天器工程》期刊2015年02期)
曹德建[6](2015)在《基于安全需求扩展的软件安全性分析方法研究》一文中研究指出随着计算机技术的迅速发展,软件已经成为决定系统安全性的主导因素。如何提高软件安全性,防止灾难性事故的发生,已经成为当前软件工程领域的重要研究课题。目前软件安全性分析工作主要集中在软件需求规约和设计阶段。而在软件的实际开发过程中,安全需求分析和软件设计通常是相对独立的两个过程。这就造成一方面安全需求分析结果难以直接体现在软件设计之中,难以指导设计模型的建立和修改;另一方面安全需求分析工作难以在软件设计阶段进行,难以基于设计模型对软件进行安全性分析。传统的故障树分析关注的是系统故障和故障成因之间的关系但无法确定系统设计中是否存在这样的故障问题。状态图能够对系统的功能进行有效的描述,但由于缺乏对系统安全需求的直观表达,系统潜在的危害很难被发现。本文将故障树所描述的安全需求扩展到状态图中,使其能够同时描述系统的安全需求和功能,并通过模型检测的方法对扩展模型进行建模和验证。论文主要研究内容如下:(1)以故障树和状态图为基础,提出故障状态图等概念,统一了系统的安全需求分析模型和功能模型,并提出一种基于故障状态图的软件安全性分析方法。(2)给出一种基于巴克斯范式的从系统故障树中抽取和描述安全需求的方法,并定义了故障树逻辑门、连续时间到状态图元素的转换规则;设计了安全需求到状态图元素的安全需求信息映射表以及基于映射表和转换规则自动构建故障状态图的算法。(3)通过建立状态图和时间自动机元素之间的语义映射以及状态图并发和分支结构到时间自动机的转换方法,给出一种将故障状态图转换为时间自动机的方法,并将故障状态的可达性作为待验证的规约属性,在模型检测工具UPPAAL下进行验证和分析。最后,运用本文提出的方法对燃气灶控制系统进行案例分析,给出了建立系统故障状态图及其时间自动机模型的过程,并通过对故障状态可达性的验证和分析,说明了本文方法的有效性和可行性,为软件的安全性分析工作提供了一种新思路。(本文来源于《南京航空航天大学》期刊2015-01-01)
刘思雨[7](2014)在《一种基于场景的软件维护性需求分析方法》一文中研究指出随着我国社会水平的提升,经济步伐的推进,我国的软件事业也在这个过程中得到了较大程度的发展。而对于软件来说,其自身所具有的维护性是软件自身质量的重要属性,软件维护性的好坏将直接对软件后期的维护性能产生影响。对此,就需要我们能够在对软件进行设计的过程中保证好其维护性。在本文中,将就一种基于场景的软件维护性需求分析方法进行研究与分析。(本文来源于《科技致富向导》期刊2014年32期)
张婷[8](2014)在《网络式软件非功能需求分析方法及其应用》一文中研究指出网络式软件(Networked software),这是一种在当前网络服务组建成熟的条件先产生的一种新型的结构。行为动态演化,以服务组合为实现的方式,能够为涉众用户提供持续服务的软件。由于网络式软件的服务对象是涉众用户,这就决定了它的特点,其面向的是不确定的用户、复杂化的环境以及多样的需求。需求处理在网络式软件工作效率中的位置越来越重要,随着软件工程和需求工程的不断发展,人们(本文来源于《信息与电脑(理论版)》期刊2014年06期)
严亚琼[9](2014)在《基于敏捷建模方法的软件需求分析研究及应用》一文中研究指出软件需求分析是软件生命周期中最关键的一步,传统的需求建模方法主要有两个重大的缺陷:首先,非形式化的需求描述常常导致需求的歧义性和不一致性,因而难以确认和验证;其次具有易变性,需求变更及其连锁反应是对项目质量、进度乃至合同履行影响最大的风险因素。而敏捷建模(AM)是适应需求变化、提高软件开发效率的新型建模思想,所以本文针对软件需求分析阶段的难点,通过将形式化方法和敏捷建模理论相结合,提出了一套基于敏捷建模的形式化需求分析方法。文章综合研究了敏捷方法的开发过程,结合了需求工程方法,设计提出了基于敏捷思想的敏捷需求分析建模。敏捷需求分析建模作为各种敏捷方法在软件需求分析中的实践补充,能够满足CMMI的目标,可以为中小型软件开发组织的行动指南提供参考,尤其是对电子商务开发组织。本文以一个小型的电子商务网站系统的开发为背景来对敏捷建模进行分析,从刚开始的需求获取到最后的项目完成,将敏捷开发方法很好的融合进来,运用各种建模工具,使项目的开发尽可能顺利的完成。(本文来源于《南昌大学》期刊2014-05-21)
杨毅,杨杰[10](2014)在《一种提高软件需求分析质量的方法》一文中研究指出自从"软件工程"在1969年NATO会议中提出以来已有四十多年.在此期间,软件工程理论有了很大进步,取得了巨大成就.但对照四十年前的理论,软件工程理论在基本框架上没有重大改变,仍然延续着需求、设计、编码和测试四个阶段的自然逻辑,强调着工程的循序渐进,各阶段的承前启后,需求方和开发方的密切配合.然而,在现实软件开发过程中,按照上述理论去做仍然会碰到许多问题,如需求的不确定性和软件开发成本失控等,最终导致相当部分的软件开发不成功.为了提高软件开发的成功率,本文从分析软件开发方式及开发成本构成出发,对现有软件工程需求和验收阶段的问题进行了分析,提出运用合适的技术手段实现软件需求可视化和标准化,规范需求提取操作.改进的需求分析方法能够形成更确定的需求分析,也便于确定和控制开发成本,提高软件开发成功率.(本文来源于《计算机系统应用》期刊2014年05期)
软件需求分析方法论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
在机载软件安全问题频发的背景下,以机轮刹车控制软件为例,对软件安全性进行分析与验证。首先利用STPA方法识别刹车软件安全性需求,再借助GESTE平台验证机轮刹车控制系统安全性需求,形成了一种可用于机载软件安全性分析与验证的可行方法。该方法对机轮刹车控制软件的设计与编码提出对策和建议,为进一步提高机载软件安全性,提升机载软件适航水平提供参考与借鉴。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件需求分析方法论文参考文献
[1].吴淑慧.基于问题框架方法的软件非功能性需求分析的研究[D].安徽大学.2018
[2].崔利杰,靳展,陈浩然,丛继平.基于GESTE平台的机轮刹车控制软件安全性需求分析与验证方法[C].第二届中国空天安全会议论文集.2017
[3].黄冉冉.信息物理融合系统中软件需求的分析方法研究[D].河南大学.2016
[4].邱煦宇.软件开发项目需求分析问题及解决方法研究[J].电子技术与软件工程.2016
[5].连卉,郝燕艳,李延滨,李溟.基于信息流的星载软件需求分析方法[J].航天器工程.2015
[6].曹德建.基于安全需求扩展的软件安全性分析方法研究[D].南京航空航天大学.2015
[7].刘思雨.一种基于场景的软件维护性需求分析方法[J].科技致富向导.2014
[8].张婷.网络式软件非功能需求分析方法及其应用[J].信息与电脑(理论版).2014
[9].严亚琼.基于敏捷建模方法的软件需求分析研究及应用[D].南昌大学.2014
[10].杨毅,杨杰.一种提高软件需求分析质量的方法[J].计算机系统应用.2014