导读:本文包含了基于规约的测试论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:规约,测试,代数,通信,报文,单线,中间人。
基于规约的测试论文文献综述
王勇,王相,贺文婷,周宇昊,蔡雨帆[1]（2018）在《馈线终端单元FTU的101规约安全性测试》一文中研究指出IEC60870-5-101规约主要用于电力SCADA数据监控采集系统主站和子站之间传输报文,由于该报文主要采用"帧校验和"的方式,其安全性较低,存在中间人攻击的安全隐患。为了验证该101规约的通信存在问题,构建了馈线终端FTU与主站的通信系统,在云服务器上采集FTU移动物联卡的遥测信息,利用中间人攻击方式,采用ARP欺骗截获通信数据分组,解析数据分组中的遥测信息,尝试数据篡改并成功使监控端数据得不到及时更新,最后提出了一种基于Hash签名的101规约安全机制。(本文来源于《网络与信息安全学报》期刊2018年10期）
刘宇欣,王国民,周秋霞[2]（2018）在《基于代数规约的Web服务测试工具》一文中研究指出代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.(本文来源于《岭南师范学院学报》期刊2018年03期）
卢耀兴[3]（2018）在《关于数字化电能计量装置通信规约测试的探讨》一文中研究指出对数字化电能计量装置通信规约测试进行研究,能够有效提高数字化电能计量装置的使用质量。文章首先简单介绍数字化电能计量装置信息模型,其次分析数字化电能计量装置通信规约的测试方法,主要包括ICD测试法和抽象通信服务测试法,最后制定数字化电能计量装置通信规约的测试方案,主要包括测试项目的确定和信息模型的测试方案。(本文来源于《通信电源技术》期刊2018年02期）
张鑫,刘冬梅,朱鸿,陈颖,兰斌[4]（2018）在《基于代数规约的Web服务自动测试执行引擎》一文中研究指出随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第叁方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,服务调用方式不一致,如何将测试用例自动地转换成对第叁方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。以现有的研究工作为基础,在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列并行化,自动生成并发测试脚本,以提高测试执行效率。实验结果表明提出的测试执行引擎框架是可行的,且可高效地自动完成并行化的测试序列。(本文来源于《计算机与数字工程》期刊2018年01期）
冯利虎,陈干杰,杨静,古领先,张红跃[5]（2017）在《IEC104规约应用协议控制信息测试内容及方法研究》一文中研究指出为规范化电力系统中广泛使用的IEC104规约应用协议控制信息(APCI)测试内容及方法,简化测试流程,提高测试效率,介绍了IEC104规约APCI测试的内容,包括基本APCI测试、启/停数据传输测试、"测试过程"测试、防止报文丢失与报文重复传送的测试、K/W参数测试、超时时间参数测试,并针对各部分测试内容进行了详细的研究和阐述,分别提供了具体的测试方法和步骤,在测试方法和步骤中提供了独特的思路和见解。应用结果表明,该方法对IEC104规约APCI测试具有参考价值,对使用类似机制规约的测试亦具有一定的参考价值。(本文来源于《测控技术》期刊2017年12期）
李宣义,梁宾,李均强[6]（2017）在《基于D5000系统的104规约一致性测试研究》一文中研究指出针对不同厂家设备104规约的互操作性问题,依托河北南网调度自动化实验室基于D5000系统的变电站综合自动化调试试验系统,搭建了104规约一致性测试环境,对104规约一致性测试流程、测试内容及测试方法进行了研究,制定了符合河北南网实际的104规约一致性测试流程和方案。(本文来源于《东北电力技术》期刊2017年10期）
李宣义,梁宾,李均强[7]（2017）在《基于D5000系统的104规约一致性测试研究》一文中研究指出针对不同厂家设备104规约的互操作性问题,依托河北南网调度自动化实验室基于D5000系统的变电站综合自动化调试试验系统,搭建了104规约一致性测试环境,对104规约一致性测试流程、测试内容及测试方法进行了研究,制定了符合河北南网实际的104规约一致性测试流程和方案。(本文来源于《东北电力技术》期刊2017年06期）
陈晓轩[8]（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）
李宣义,刘婷,王晓蔚,李铁成[9]（2017）在《基于变电站综合自动化调试试验系统的104规约一致性测试应用》一文中研究指出针对新入网(改、扩建)厂站综合自动化设备的104规约一致性的检测手段缺乏的问题,依托河北省南部电网调度自动化实验室搭建的基于D5000系统的变电站综合自动化调试试验系统104规约一致性测试的环境,提出104规约一致性测试的实现方案,以新建保定110kV王盘变电站接入调试为例,分析系统104规约一致性测试方案的应用情况,认为104规约一致性测试可提高调试效率,确保四遥信息正确。(本文来源于《河北电力技术》期刊2017年02期）
李宣义,梁宾,李均强,李铁成[10]（2016）在《基于变电站综合自动化调试试验系统的104规约一致性测试研究》一文中研究指出针对不同厂家设备104规约的互操作性问题,依托河北省南部电网调度自动化实验室基于D5000系统的变电站综合自动化调试试验系统,搭建了104规约一致性测试环境,对104规约一致性测试流程、测试内容及测试方法进行研究,制定了符合河北省南部电网实际的104规约一致性测试流程和方案。(本文来源于《河北电力技术》期刊2016年06期）
基于规约的测试论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
基于规约的测试论文参考文献
[1].王勇,王相,贺文婷,周宇昊,蔡雨帆.馈线终端单元FTU的101规约安全性测试[J].网络与信息安全学报.2018
[2].刘宇欣,王国民,周秋霞.基于代数规约的Web服务测试工具[J].岭南师范学院学报.2018
[3].卢耀兴.关于数字化电能计量装置通信规约测试的探讨[J].通信电源技术.2018
[4].张鑫,刘冬梅,朱鸿,陈颖,兰斌.基于代数规约的Web服务自动测试执行引擎[J].计算机与数字工程.2018
[5].冯利虎,陈干杰,杨静,古领先,张红跃.IEC104规约应用协议控制信息测试内容及方法研究[J].测控技术.2017
[6].李宣义,梁宾,李均强.基于D5000系统的104规约一致性测试研究[J].东北电力技术.2017
[7].李宣义,梁宾,李均强.基于D5000系统的104规约一致性测试研究[J].东北电力技术.2017
[8].陈晓轩.基于需求规约的ATP系统自动测试与结果分析[D].上海交通大学.2017
[9].李宣义,刘婷,王晓蔚,李铁成.基于变电站综合自动化调试试验系统的104规约一致性测试应用[J].河北电力技术.2017
[10].李宣义,梁宾,李均强,李铁成.基于变电站综合自动化调试试验系统的104规约一致性测试研究[J].河北电力技术.2016
论文知识图
