导读:本文包含了软件需求规格说明论文开题报告文献综述及选题提纲参考文献，主要关键词:UML,需求规格,工程应用,用户
软件需求规格说明论文文献综述
宋勇强[1]（2019）在《软件需求规格说明中UML图的应用》一文中研究指出软件需求规格说明编写中用UML用例图来描述用户,需求、系统功能之间的关系。这样的描述有助于站在用户角度表达软件要达到什么需求,抛弃程序员只考虑实现的固定思维,结合用例表更直观明了的表达软件的需求分析。(本文来源于《山西电子技术》期刊2019年05期）
袁仕继,许世平,杜松蒲,张广吉[2]（2013）在《一种软件需求规格说明描述质量评价方法》一文中研究指出软件需求规格说明(SRS)作为需求工程的最终产品,其质量好坏直接影响后续的软件开发的质量高低。文章针对软件需求规格说明中存在的潜在需求缺陷,通过对其进行等级划分,更加客观地反映不同等级的潜在缺陷对于软件需求规格说明的影响。通过模糊层次分析法分别赋予不同的权值,验证了不同程度的模糊需求对软件需求规格说明的质量影响。(本文来源于《电子设计工程》期刊2013年07期）
许世平[3]（2009）在《基于汉语理解的软件需求规格说明质量模型的研究》一文中研究指出随着计算机硬件性能迅速提高和价格的持续下降,计算机系统应用范围不断地扩大,软件系统也日益复杂,研究如何提高软件质量和软件开发效率的工作变得日益重要。软件缺陷作为影响软件质量和开发效率的重要因素,尽可能早地发现软件开发过程中存在的缺陷对于提高最终交付软件质量、软件开发效率以及降低软件开发成本有着重要意义。需求阶段作为软件开发的初始阶段影响着软件的后续开发,因此对于需求阶段的最终产品——软件需求规格说明应予以重点关注。目前,需求验证中对软件需求规格说明中存在的缺陷查找方法主要有:Ad hoc方法、Checklist方法以及基于特定场景的方法,上述诸方法都是基于人工的查找方法,往往带有相当成分的主观性且效率不高。自然语言由于其易于理解,依然是需求规格说明描述的常用语言,而自然语言具有固有的模糊性。因此,我们试图通过对汉语中存在的模糊性现象的分析,指出需求规格说明中哪些需求描述可能会导致软件开发人员对需求理解上产生偏差或者错误。在此基础上结合软件需求规格说明的特点,建立软件需求规格说明的质量模型。对需求规格说明中出现的潜在缺陷划分了修复优先级,并对需求规格说明中各个需求部分给出了相对重要性,给出了软件需求规格说明质量评价指标,并通过模糊层次分析法给出权值。接下来借助自动文摘技术从具体需求中抽取出核心需求信息,与需求规格说明中的产品总体描述进行对照,确定具体需求描述是否与总体保持描述一致以及具体需求中是否涵盖了总体描述中关于产品的各项需求描述。最后借助汉语分析技术设计并实现了一个在软件需求规格说明中查找模糊性需求表达的工具。我们借助该工具对汉语编程企业管理软件、XXXX系统软件和办公自动化系统软件的软件需求规格说明进行了分析,分别给出了对这叁份规格说明修改的指导性意见,并通过质量评价指标综合评价了这叁份需求规格说明的描述质量。最后通过F-度量对自动分析工具进行了评价,我们发现该工具在查找SRS中的模糊性表达是比较全面、比较准确的。通过这些工作我们可以得出结论:软件需求规格说明质量模型在软件需求验证过程中有一定的应用价值。(本文来源于《国防科学技术大学》期刊2009-11-01）
甘早斌,卢正鼎[4]（2004）在《软件需求规格说明自动生成工具》一文中研究指出首先提出了一种面向业务流的需求分析方法 ,并给出了相应的条件有向图需求描述模型 (CDGRD) ,然后详细地介绍了基于 CDGRD的软件需求规格说明自动生成工具 .最后以某大型企业信息系统项目为例 ,详细讨论了 CD-GRD描述方法以及该自动生成工具的具体应用(本文来源于《小型微型计算机系统》期刊2004年04期）
高晓雷[5]（2003）在《SOZRSL软件需求规格说明语言及其求精》一文中研究指出形式化方法是软件开发方法合理的发展方向，软件开发自动化的发展影响着形式化方法的应用前途；而软件开发自动化的程度又相当依赖于求精自动化的程度。 结构化方法、面向对象方法和形式方法是目前软件开发中使用的叁种主要方法。本文在分析了上述叁种方法的基础上，取各家之长，互相结合，提出一个基于结构化方法、面向对象方法和形式方法相结合的新的软件开发方法，称之为结构化面向对象的形式方法SOFM(Structured Object-oriented Formal Method)。SOFM的核心思想是大结构、小对象。该方法的基本思想是：在构造一个软件系统时，使用基于数据流图的结构化方法和面向对象方法：在系统开发的整个过程，以一种比较实用的方式来应用形式方法；最后通过求精的方法产生所需要的代码。为了支持SOFM，我们提出了一个新的软件开发语言—结构化的Object-Z需求规格说明语言SOZRSL(Structured Obiect-Z Requirement Specification Language)。SOZRSL采用分层谓词数据流图嵌入Object-z来实现SOMF思想；分层谓词数据流图是对传统数据流图的改进并加以形式化。为了使SOZRSL更准确、严密，本文给出了其严格的公理化语义。 形式化的好处在于便于实现程序设计的自动化。为了使SOZRSL的规格说明能自动化程度较高地转换成具体编程语言，本文给出了SOZRSL规格说明的求精。文中将SOZRSL规格说明的求精分解为结构求精、数据求精和谓词求精叁部分。结构求精中给出了SOZRSL的分层逐步分解的结构到具体目标语言能够支持的整体结构的对应方法；数据求精给出了把规格说明语言中数学化的抽象数据类型，求精成具体目标语言能够支持的、更加面向计算机的具体数据类型的具体方法与规则；谓词求精着重介绍了基于Tableau方法的、以定理证明为基础的程序综合求精变换，引入了扩充的Tableau方法的演绎规则—合并规则，并利用该规则给出了SOZRSL语言中模式的与、或操作的求精方法，从而简化了模式复合的求精；为了使Tableau方法能够用于SOZRSL语言的求精，本文定义了将SOZRSL语言的结构成分转化为Tableau方法所能接受的结构的规则。 求精工作的自动化程度越高，要求搜索到的规则匹配程度越高。提高求精效率的方法之一是提高规则的搜索、匹配速度。为了提高匹配规则的速度，优化人工干预，本文首次将遗传算法应用到软件求精中的规则匹配与选择中。遗传算法具有快速收敛于最优解，但越接近最优解时反而收敛变慢的特点，我们正是利用这个特点来提高求精效率：首先利用它的快速收敛特点较快地得到一组优化解，然后，由人工根据知识和经验指导求精继续进行下去。上海大学工学博士学位论文 最后，我们实现了一个具体的sozRsL求精系统和适用于sozRsL、objeet一Z、Z的可视化编辑器。(本文来源于《上海大学》期刊2003-12-01）
王敏,毋国庆,朱立松,郑鹏,杨捷[6]（2001）在《嵌入式实时软件需求规格说明的原型化检测方法》一文中研究指出提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 .(本文来源于《武汉大学学报(理学版)》期刊2001年03期）
软件需求规格说明论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
软件需求规格说明(SRS)作为需求工程的最终产品,其质量好坏直接影响后续的软件开发的质量高低。文章针对软件需求规格说明中存在的潜在需求缺陷,通过对其进行等级划分,更加客观地反映不同等级的潜在缺陷对于软件需求规格说明的影响。通过模糊层次分析法分别赋予不同的权值,验证了不同程度的模糊需求对软件需求规格说明的质量影响。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件需求规格说明论文参考文献
[1].宋勇强.软件需求规格说明中UML图的应用[J].山西电子技术.2019
[2].袁仕继,许世平,杜松蒲,张广吉.一种软件需求规格说明描述质量评价方法[J].电子设计工程.2013
[3].许世平.基于汉语理解的软件需求规格说明质量模型的研究[D].国防科学技术大学.2009
[4].甘早斌,卢正鼎.软件需求规格说明自动生成工具[J].小型微型计算机系统.2004
[5].高晓雷.SOZRSL软件需求规格说明语言及其求精[D].上海大学.2003
[6].王敏,毋国庆,朱立松,郑鹏,杨捷.嵌入式实时软件需求规格说明的原型化检测方法[J].武汉大学学报(理学版).2001