需求规约论文_张国生

导读:本文包含了需求规约论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:需求,规约,测试,例规,流网,隐私保护,谓词。

需求规约论文文献综述

张国生^[1]（2019）在《面向特征的软件需求规约》一文中研究指出基于大数据方法对自然语言用户需求文本进行分析,用TF-IDF方法计算特征词在需求文本中的出现频率,归一化后求得特征词在文本中的权重,用卡方统计量衡量特征词和簇之间的相关性,用k-均值算法和二分k-均值算法对特征集聚类,生成用户需求文本特征树,并映射为需求功能分解树中对应的需求功能,使需求特征语义、结构更加清晰,增强了自动需求规约能力,提高了需求分析效率,使需求规约更加科学、合理、准确.(本文来源于《微电子学与计算机》期刊2019年11期）

杨瑾,杨胜春,高赐威,曹阳,鄢蜜昉^[2]（2017）在《开放式自动需求响应规约适配器标准化进展》一文中研究指出鉴于电网侧标准与智能电网用户接口标准在多方面的差异性,为了兼容基于公共信息模型CIM的全新国际标准与工业界已实际应用的OpenADR标准,进而实现电网侧与用户侧的互操作,IEC PC118第二工作组WG2开展了构建电网运行系统与用户设施管理控制系统间适配器的工作。文章首先介绍了IEC PC118在相关领域的工作进展,由此阐明适配器构建的前因后果;然后结合适配器的需求分析设计适配器国际标准架构;最后基于适配器的定位及功能分析、部署方式研究、构建过程给出OpenADR规约适配器标准研发的整体技术路线,用于指导电网侧标准与用户侧标准的有效连接与转换。(本文来源于《供用电》期刊2017年09期）

陈晓轩^[3]（2017）在《基于需求规约的ATP系统自动测试与结果分析》一文中研究指出ATP(Automatic Train Protection,自动列车保护系统)软件是一个保证地铁列车安全运行的关键设备。传统的确认测试只能根据需求来设计用例,手动的执行测试,确认实现的软件是否符合需求,然后再通过附加一些场景测试用例,来增强安全场景的测试。没有一套完整的,自动化的方法,从覆盖率,安全性,场景实现等各个角度对ATP软件进行系统的测试。在本文中,首先提出一种专有的领域模型需求规约ATPDL(Automatic Train Protection Description Language),通过运用该规约来书写ATP软件的需求,并通过从需求模型规约中提取出状态迁移图和变量关系图,帮助测试人员理解需求模型,更好的进行需求验证。同时,开发了一款工具,ATPDL tester,来支持整个方法的实现和应用。其次,工具为了支持场景测试和基于需求的两种测试方法,测试人员可以选择运用ATPDL-SL(ATPDL Scenario Language)来创建安全关键的场景测试脚本,或运用工具生成的,符合MC/DC覆盖准则(Modified Condition/Decision Coverage)的单元测试用例,来执行测试。ATPDL-SL是一种准确,易懂的场景描述语言,能将测试人员脑海中的场景,转变为计算机能够理解的脚本语言,并能直接生成驱动测试平台的执行文件,从而可以得到系统实现的结果。最后,实现一个模型规约执行器,自动执行场景描述的系统需求模型,通过将模型执行后的需求执行状态结果集合,结合自动化测试平台执行得到的实际软件实现状态结果集合,进行分析处理,最终得到模型与实现符合性的结论。目前整套方法已经应用于公司的实际工作中,极大的提高了效率,并且运用的工具得到了第叁方审计机构的认可,顺利的帮助国产化ATP系统通过德国莱茵TüV集团的第叁方安全审计,符合EN50128 SIL4级安全许可。(本文来源于《上海交通大学》期刊2017-06-01）

王伯鲁^[4]（2016）在《技术需求及其规约问题》一文中研究指出技术需求既是技术进化的内在动力与关键环节,也是反映这一特征的哲学范畴。技术需求既根源于或最终指向人的需求,又展现出一系列新属性、新规律,在技术研发进程中发挥着承前启后的定向作用。现代技术研发实践催生的众多技术需求及其实现,正在侵袭和撼动人类文明的根基,应当引起警惕并加以规约。(本文来源于《自然辩证法研究》期刊2016年01期）

彭焕峰,黄志球,范大娟,章永龙^[5]（2016）在《面向服务组合的用户隐私需求规约与验证方法》一文中研究指出用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图(privacy data item dependency graph,简称PDIDG)描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网(privacy open workflow net,简称POWFN)构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析.(本文来源于《软件学报》期刊2016年08期）

钱新杰,胡桂香,付秋林,李龙^[6]（2015）在《用例规约在课程成绩管理系统需求分析中的应用研究》一文中研究指出用例是从外部角度定义系统的行为,表达系统应该做什么,是关于用户与系统间相互作用的文本性描述。该文以课程成绩管理系统为例,利用用例规约描述,对该系统进行分析,即是测试用例的重要依据,也为后续的系统设计打下坚实的基础。(本文来源于《科技资讯》期刊2015年08期）

方冉^[7]（2014）在《一种基于需求规约的谓词测试用例生成方法》一文中研究指出软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.(本文来源于《安徽工程大学学报》期刊2014年03期）

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

刘林源,李清,祝义,周航,肖芳雄^[9]（2012）在《Web服务组合中的隐私需求规约与验证》一文中研究指出确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束。首先使用隐私策略规约服务的隐私权限,然后利用带隐私语义的接口自动机对服务的接口行为进行建模。在此基础上,形式化地检验了服务组合行为是否满足隐私授权约束。基于上述验证过程所组合的Web服务,能有效地减轻对用户隐私数据的危害,增强了组合Web服务的安全性和可靠性。(本文来源于《解放军理工大学学报(自然科学版)》期刊2012年01期）

万海,陈寅,郑云翔,李磊^[10]（2011）在《基于回答集语义复杂信息系统表单驱动需求规约的描述与验证》一文中研究指出高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的"主谓宾状"需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.(本文来源于《小型微型计算机系统》期刊2011年12期）

需求规约论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

鉴于电网侧标准与智能电网用户接口标准在多方面的差异性,为了兼容基于公共信息模型CIM的全新国际标准与工业界已实际应用的OpenADR标准,进而实现电网侧与用户侧的互操作,IEC PC118第二工作组WG2开展了构建电网运行系统与用户设施管理控制系统间适配器的工作。文章首先介绍了IEC PC118在相关领域的工作进展,由此阐明适配器构建的前因后果;然后结合适配器的需求分析设计适配器国际标准架构;最后基于适配器的定位及功能分析、部署方式研究、构建过程给出OpenADR规约适配器标准研发的整体技术路线,用于指导电网侧标准与用户侧标准的有效连接与转换。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

需求规约论文参考文献

[1].张国生.面向特征的软件需求规约[J].微电子学与计算机.2019

[2].杨瑾,杨胜春,高赐威,曹阳,鄢蜜昉.开放式自动需求响应规约适配器标准化进展[J].供用电.2017

[3].陈晓轩.基于需求规约的ATP系统自动测试与结果分析[D].上海交通大学.2017

[4].王伯鲁.技术需求及其规约问题[J].自然辩证法研究.2016

[5].彭焕峰,黄志球,范大娟,章永龙.面向服务组合的用户隐私需求规约与验证方法[J].软件学报.2016

[6].钱新杰,胡桂香,付秋林,李龙.用例规约在课程成绩管理系统需求分析中的应用研究[J].科技资讯.2015

[7].方冉.一种基于需求规约的谓词测试用例生成方法[J].安徽工程大学学报.2014

[8].李智,金芝.从用户需求到软件规约:一种问题变换的方法[J].软件学报.2013

[9].刘林源,李清,祝义,周航,肖芳雄.Web服务组合中的隐私需求规约与验证[J].解放军理工大学学报(自然科学版).2012

[10].万海,陈寅,郑云翔,李磊.基于回答集语义复杂信息系统表单驱动需求规约的描述与验证[J].小型微型计算机系统.2011

论文知识图

标签：需求论文;  规约论文;  测试论文;  例规论文;  流网论文;  隐私保护论文;  谓词论文;