导读:本文包含了模型可执行论文开题报告文献综述及选题提纲参考文献，主要关键词:协议一致性测试,扩展有限状态机,谓词依赖图,变迁可执行性分析
模型可执行论文文献综述
杨光辉[1]（2015）在《EFSM模型可执行测试序列生成方法研究》一文中研究指出自然语言描述的协议规范存在二义性问题，协议软件开发人员对同一协议规范理解的差异是导致其协议实现“百花齐放”的根本原因。协议实现与协议规范之间的丝毫偏差都可能给通信网络造成灾难性后果。协议一致性测试的目的是检测协议实现和协议规范的一致性程度，成为了保障网络通信质量的有效手段。扩展有限状态机(Extended Finite StateMachine, EFSM)模型为一致性测试提供了一个相对精确的、无二义性的平台，基于EFSM的协议一致性测试序列生成成为了当前的一个研究热点。EFSM在有限状态机(Finite State Machine, FSM)的基础上扩充了变量和谓词条件，导致基于EFSM模型生成的测试序列存在不可执行的问题。究其本质原因是EFSM模型变迁之间存在数据冲突，导致测试序列中变迁之间谓词条件的矛盾。本文针对EFSM模型可执行测试序列生成方法中的关键问题展开了一系列研究工作，研究工作的内容和创新之处可以归结为下述四个方面：(1)在特定测试场景下，本文实验发现了传统基于可执行分析树EAT(ExecutableAnalysis Tree)的测试序列生成方法在生成测试序列时的局限性，通过提取相关EFSM模型特征，分析探讨了其本质原因。(2)挖掘了EFSM模型变迁之间可执行性的约束关系，进而构造EFSM模型的谓词依赖图PDG(Predicate Dependence Graph)，基于PDG引导生成EFSM的可执行测试序列。PDG将传统的可执行预测从1步扩展到N步，从而使得测试序列生成引导更加准确。(3)量化EFSM模型PDG中边的权值，提出了一个启发式搜索函数，该函数将测试序列生成过程中遇到的叁个问题：测试序列的可执行性、测试序列长度和测试序列覆盖标准抽象成为叁个因子，这叁个因子作为启发式搜索函数的参数来引导可执行测试序列的生成。(4)提出一种基于参数化可执行分析树的测试序列生成方法。该方法在无需初始输入数据的情况下生成满足覆盖需求的测试序列，同时生成满足该测试序列可执行的变量约束条件，任何一组满足约束条件的变量取值都可以满足测试序列的可执行性。(本文来源于《浙江理工大学》期刊2015-03-08）
钱景,徐涛,张育平[2]（2013）在《领域化业务构件的数据模型可执行语义研究和实现》一文中研究指出从企业应用角度出发,为实现快速构建企业信息系统以及提高系统可重用性,提出了一种领域化业务构件描述思路。同时为使开发的信息系统实现企业知识的重用和和共享,方便企业数据交换和集成,将可执行语义建模方法应用到业务构件的业务数据模型中,具体实现参考了语义Web的描述框架。(本文来源于《电子科技》期刊2013年04期）
赵灿明,安虹,任永青,从明[3]（2010）在《基于超块的激进执行模型可预测性分析》一文中研究指出分析基于超块的激进执行模型中超块级预测可行性,给出满足超块级预测的预测器设计方案。对不同应用深度预测可行性高低、期望预测深度及其影响因素等进行论证。实验结果表明,大部分应用具有较高的期望预测深度,适合激进执行,但不同的应用期望深度相差较大。(本文来源于《计算机工程》期刊2010年07期）
耿同成[4]（2008）在《一种基于MOF的模型可执行方法的研究与实现》一文中研究指出软件开发的复杂性、多样性和易变性已经成为软件开发者挥之不去的难题。由此应运而生的各种建模技术得到了飞快的发展,因而软件设计人员往往要花去大量的精力去设计系统模型。但是软件开发的最终目的是产生可执行代码,当前各种建模技术建立的种种模型还停留在纸张上,即模型不可执行,而这一切都归结于建模语言本身的不可执行性。本文首先从MDA的思想出发,研究了MOF在建模语言领域的作用,并在此基础上设计了一种文本描述方式的建模语言xKL。其结构元模型设计的理论基础来源于EMOF的基本结构,并且它的行为元模型设计来源于OCL的表达式抽象语法模型。这样使得xKL在建模结构上既符合MOF的规范,又体现了OCL语言在描述模型约束方面的能力。如此基于可执行xKL建模语言的可视化建模工具,建立的模型是可执行的。这就是本文体现的模型可执行的思想。(本文来源于《吉林大学》期刊2008-04-07）
模型可执行论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
从企业应用角度出发,为实现快速构建企业信息系统以及提高系统可重用性,提出了一种领域化业务构件描述思路。同时为使开发的信息系统实现企业知识的重用和和共享,方便企业数据交换和集成,将可执行语义建模方法应用到业务构件的业务数据模型中,具体实现参考了语义Web的描述框架。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模型可执行论文参考文献
[1].杨光辉.EFSM模型可执行测试序列生成方法研究[D].浙江理工大学.2015
[2].钱景,徐涛,张育平.领域化业务构件的数据模型可执行语义研究和实现[J].电子科技.2013
[3].赵灿明,安虹,任永青,从明.基于超块的激进执行模型可预测性分析[J].计算机工程.2010
[4].耿同成.一种基于MOF的模型可执行方法的研究与实现[D].吉林大学.2008