导读:本文包含了规格说明论文开题报告文献综述、选题提纲参考文献，主要关键词:规格,需求,目的论,语言,规约,测试,方法。
规格说明论文文献综述写法
宋勇强[1]（2019）在《软件需求规格说明中UML图的应用》一文中研究指出软件需求规格说明编写中用UML用例图来描述用户,需求、系统功能之间的关系。这样的描述有助于站在用户角度表达软件要达到什么需求,抛弃程序员只考虑实现的固定思维,结合用例表更直观明了的表达软件的需求分析。(本文来源于《山西电子技术》期刊2019年05期）
耿静,李春荣[2]（2018）在《《软件产品规格说明》编制的探讨》一文中研究指出针对《软件产品规格说明》编写质量不高,可读性差等问题,对《软件产品规格说明》的编写时机,以及GJB 438B-2009中各章节的编写要求进行了分析,为软件设计人员编写该文档提供一些参考。(本文来源于《航空标准化与质量》期刊2018年01期）
赵正旭,温晋杰,赵卫华[3]（2016）在《Z规格说明的推理与验证》一文中研究指出Z规格说明具有非形式规约不可比拟的严谨性、清晰性。这种描述对于系统内对象的状态描述、行为描述是非常有用的原始参照物。但是,形式化描述不可避免的可能会含有错误或者是矛盾,这些问题在后期必定会导致前期的形式化设计不能付诸实践。因此,有必要做一些形式化的推理与验证来确保Z规约的实施。形式化推理是基于Z规格说明对一个操作模式求其前置条件,即求一个操作成功执行的必要条件,然后对比客观条件是否满足必要条件;形式化验证是一个操作模式求其后置条件,从集合的角度出发验证一个操作成功执行之后所导致的状态量变化是否与操作模式描述一致。(本文来源于《微型电脑应用》期刊2016年11期）
赵正旭,温晋杰[4]（2016）在《Z规格说明自动生成器》一文中研究指出形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进行形式化规格说明书的编写.目前,多数对于Z语言的研究集中在理论阶段,还没有相应的工具支持Z规格说明的自动生成.本文中对于Z规格说明自动生成器的研究有助于降低Z规格说明书的编写难度,降低了形式化开发的难度及成本,对于形式化Z语言的推广具有重要的意义.(本文来源于《计算机系统应用》期刊2016年04期）
罗雄文[5]（2016）在《SOFL形式化规格说明向程序的自动转换》一文中研究指出随着计算机科技不断发展,软件产品的应用越来越普及,因此保障软件质量和提高软件可靠性成为开发软件过程中值得关注的重要问题。形式化方法具有坚实的数学基础,拥有形式化规格说明和验证技术,这些逐步融入软件开发的各个阶段,是解决复杂系统开发中高可靠性问题的一个重要途径。SOFL(Structured Object-Oriented Formal Language)作为一种具有杰出代表的形式化方法,广泛应用于软件开发中。SOFL不仅结合了多种传统的形式化方法,而且还采用了结构化流程和面向对象思想,继承了它们在软件系统开发中的优点。与此同时还集成了DFD(Data Flow Diagrams)、维也纳开发方法和Petri网络,形成了具有独特优势和有广泛应用前景的形式化方法。同时,由于其拥有独特的叁步构建形式化规格说明机制和可控的条件数据流图,使用该方法可使软件开发在简单性、可视性和准确性达到良好平衡。尽管SOFL已经应用在工业和研究项目中进行系统建模和设计,但是它并没有在工业软件系统开发过程中广泛应用,其中一个重要的原因就是缺乏有效的支持工具。因此研发出SOFL支持工具来促进其在软件产品研发领域中的应用,是非常必要的。基于以前的研究和工作,一个名为SOFL supporting tool的支持工具正在开发中。本论文所研究的内容,将SOFL形式化规格说明自动转换为程序,作为SOFL支持工具的重要模块,发展和完善该工具,同时也可推进SOFL的发展和广泛应用,将其应用到实际的项目开发中。主要工作包括：(1)分析SOFL规格说明的结构和框架,明确要转换的内容。比较SOFL语言和C#语言的相似和不同之处,综合对比两者语言,确定转换框架。(2)研究SOF L规格说明中模块(module)的组成和内置数据类型(built-in data types)的结构以及具有的操作,选择合适的数据结构和算法,制定转换规则。(3)构建抽象转换树,作为设计和实现整个系统的总纲。根据抽象转换树,绘制转换类图,设计接口和实现类,并根据以上研究和分析的转换准则来实现转换系统。(4)对实现的自动转换系统进行测试,以验证系统功能的正确性,同时验证整个系统具有稳定、可靠的性能。(本文来源于《东南大学》期刊2016-03-10）
迟学航[6]（2015）在《STFM需求规格说明及测试用例生成方法研究》一文中研究指出目前需求工程中需求的描述方法主要分为叁类：自然语言描述、半形式化方法和形式化方法。自然语言所描述的需求易于理解，但存在着描述模糊、容易产生二义性等问题；半形式化如UML方法，虽然提高了需求描述的抽象程度，但仍不够严谨；形式化的需求描述方法，如Z语言、B方法、TAM方法及TFM方法等，这些形式化的方法虽然不如自然语言及半形式化方法易于理解，但却能有效的避免二义性，增强需求描述的准确性。因此，形式化需求描述方法一直是近年来研究的热点问题之一。一份良好的需求规格说明书不仅可以帮助分析人员对目标系统进行正确的理解，还可以在软件开发过程中指引开发人员的开发工作，并且指导软件测试过程。在将需求工程与软件测试结合方面，已经有研究人员提出了一些基于需求对程序进行测试的方法。本文提出了一种基于路径函数的集合形式的形式化需求描述方法STFM(Set TraceFunction Method)，并提出了基于STFM需求规格说明生成测试用例的方法。在测试用例的生成方法中，选取了适用于STFM的因果图法，制定了从STFM需求规格说明到因果图的映射规则，再根据因果图生成判定表，最终生成测试用例。本文的主要工作有：1、对形式化需求规格说明方法TAM(Trace Assertion Method)和TFM(Trace FunctionMethod)进行研究，提出一种改进的需求规格说明方法——STFM。STFM方法用集合的形式通过路径函数对目标系统的需求进行形式化的描述。2、对STFM方法进行说明，将STFM需求规格说明书定义为一个四元组，元组中的每个元素都表示一个特定含义的集合。分别是输入变量声明集合、输出变量声明集合、存取程序描述集合以及输出变量路径函数集合的集合。对STFM中的基本路径函数进行明确定义，给出STFM需求规格说明书的书写规则。3、提出基于STFM需求规格说明书和因果图的测试用例生成方法，首先给出STFM需求规格说明到因果图中的因果关系的映射规则，再根据映射规则，得到与规格说明相符合的因果关系，最终根据因果关系生成判定表，得到测试用例。4、根据提出的基于STFM需求规格说明的测试用例生成方法，设计并实现测试用例自动生成系统TCBS，并以一个小型图书馆门禁系统为实例进行了实例分析。本文提出了形式化需求规格说明方法TFM的改进方法STFM，并将STFM需求规格说明与测试方法进行了结合，提出了基于STFM形式化需求规格说明书的测试用例生成方法，希望可以对未来基于需求的测试用例生成方法的研究上提供一些参考。(本文来源于《吉林大学》期刊2015-05-01）
姜黄燕[7]（2015）在《《控制系统功能规格说明》翻译实践报告》一文中研究指出本篇翻译实践报告以《控制系统规格说明》为源文本,在功能目的论的指导下,对翻译过程中遇到的问题进行总结与探讨,最终确定相应的解决策略,总体上展现了此次翻译项目的全过程。本报告共包含四个部分:第一部分是任务描述,主要介绍了此次翻译项目的研究背景、研究意义以及期望达成的目标。第二部分过程描述是对此次翻译项目具体完成过程的介绍,主要包括译前准备,翻译过程和译后修改。第叁部分为案例分析,译者在功能目的论的指导下,结合实例,从词汇、句子、篇章叁个层面探讨了翻译过程中所采用的具体策略。第四部分为总结,译者在总结全文的基础上,分析了此次翻译实践所得经验及不足之处,以期为其他翻译学习者提供借鉴。(本文来源于《中国石油大学(华东)》期刊2015-04-01）
马莉,钟勇,霍颖瑜[8]（2014）在《DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述》一文中研究指出Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。(本文来源于《计算机科学》期刊2014年04期）
江良,赵瑞莲,李征[9]（2013）在《基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析》一文中研究指出对于可扩展有限状态机(EFSM)规格说明,影响路径测试数据生成成本的因素很多,它们之间可能存在着相互关联,对测试数据生成成本的影响可能是线性或非线性的,因此建立多元线性回归预测模型和BP神经网络非线性预测模型,对EFSM路径测试数据生成进行效率—因素分析。具体而言,将路径长度、路径上变量数等因素作为自变量,测试生成成本看作因变量,建立多元线性回归模型。对于BP神经网络模型,考虑到因素间可能存在关联,首先采用主成分分析(PCA)确定影响测试生成成本的主要因素,然后应用BP神经网络建立测试生成效率主要因素分析模型,对EFSM测试生成成本进行预测。实验结果表明:BP神经网络比多元线性回归更适合作为EFSM路径测试生成效率因素分析模型,对EFSM路径测试生成成本进行非线性预测。(本文来源于《计算机应用》期刊2013年S2期）
韩冰[10]（2013）在《基于B方法需求规格说明的测试用例自动生成研究》一文中研究指出软件测试是软件生命周期中的重要环节,也是控制软件质量的重要手段。如何根据用户需求描述确保生成有效的测试用例,如何使测试用例的生成过程自动化是亟待解决的两个关键问题。本文借鉴已有理论研究成果,基于B方法对需求进行描述,通过建立基于B方法的需求规格说明到基于因果图生成测试用例的映射规则,设计并实现了基于B方法的测试用例自动生成工具。本文结合实验室承担的国家“863”计划项目“模型驱动的任务关键软件系统测试建模和支撑环境建设”研究课题的子课题,对基于B方法需求规格说明的测试用例自动生成问题展开研究。论文的主要工作如下：1)分析软件自动化测试的现状,研究基于规格说明的软件测试技术,提出将基于B方法需求规格说明和因果图相结合分析生成测试用例的方法；2)分析B方法描述系统需求的功能性和非功能性机制,完成了基于B方法的用户需求建模,把用户需求转换成B方法抽象机并且对其进行埠范化；3)通过分析基于B方法需求规格说明和因果图之间的联系,制定两者间的映射规则；4)以制定的映射规则为基础设计并实现基于B方法需求规格说明的测试用例自动生成工具。(本文来源于《西北大学》期刊2013-06-30）
规格说明论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对《软件产品规格说明》编写质量不高,可读性差等问题,对《软件产品规格说明》的编写时机,以及GJB 438B-2009中各章节的编写要求进行了分析,为软件设计人员编写该文档提供一些参考。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
规格说明论文参考文献
[1].宋勇强.软件需求规格说明中UML图的应用[J].山西电子技术.2019
[2].耿静,李春荣.《软件产品规格说明》编制的探讨[J].航空标准化与质量.2018
[3].赵正旭,温晋杰,赵卫华.Z规格说明的推理与验证[J].微型电脑应用.2016
[4].赵正旭,温晋杰.Z规格说明自动生成器[J].计算机系统应用.2016
[5].罗雄文.SOFL形式化规格说明向程序的自动转换[D].东南大学.2016
[6].迟学航.STFM需求规格说明及测试用例生成方法研究[D].吉林大学.2015
[7].姜黄燕.《控制系统功能规格说明》翻译实践报告[D].中国石油大学(华东).2015
[8].马莉,钟勇,霍颖瑜.DTL-Real-TimeObject-Z形式化规格说明语言及其责任授权模型描述[J].计算机科学.2014
[9].江良,赵瑞莲,李征.基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析[J].计算机应用.2013
[10].韩冰.基于B方法需求规格说明的测试用例自动生成研究[D].西北大学.2013