导读:本文包含了程序的自动转换论文开题报告文献综述及选题提纲参考文献，主要关键词:SOFL,自动转换,形式化规格说明,程序
程序的自动转换论文文献综述
罗雄文[1]（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）
朱云,曾晓勤,朱宁,刘禹锋[2]（2015）在《基于图文法的程序流程图与源代码自动转换》一文中研究指出程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。(本文来源于《计算机工程与科学》期刊2015年05期）
宋禄楷,张鹏,韦通[3]（2015）在《DLG数据模型自动转换程序设计》一文中研究指出基于国家测绘地理信息局试运行的《1∶10000(1∶5000)基础地理信息地形要素数据规范》和山东现有数据标准情况,通过研究编码转换、数据结构重组等的自动处理方法,开发了基于山东省1∶1万数字线划图(DLG)数据特点的自动模型转换处理程序,总结了DLG数据模型自动转换的方法。(本文来源于《山东国土资源》期刊2015年05期）
梁骊龙,丁岩,王晓东[4]（2013）在《通过坐标系自动转换程序解决凹球面加工》一文中研究指出对西门子840D系统进行了自定义程序的开发,实现了工件在转台上任意位置安放,编程原点随转台旋转变化后系统自动追踪旋转后的编程原点位置的功能,解决了以往工件转过一定角度后寻找编程原点困难的问题,通过协调CAM与数控系统间的设置,来适应特定结构的机床,实现了工件的精确、高效加工。(本文来源于《机械工程师》期刊2013年05期）
张省,戚文来,范维锋[5]（2013）在《DLG建库数据到制图数据自动转换程序的研究与实现》一文中研究指出提出了一种由DLG建库数据到DWG格式制图数据自动转换的方法,该方法从建库数据与制图数据的特点出发,分11种方式及其组合,来实现建库数据到制图数据的自动转换,这11方式不但能够解决简单符号的转换,而且可以完成如桥梁、植被等复杂符号的转换。同时本文还提出几种解决符号压盖的方法,完善了制图数据的出图效果。本文基于ArcGIS Engine及AutoCAD ActiveX开发了自动转换程序,编写了与11种转换方式相对应的11个转换函数。通过实验证明本文提出的方法能够完成制图数据的自动转换,转换内容全面,不存在丢失的情况,能够自动完成建库数据到制图数据95%以上的转换工作,而且转换结果符合国家标准图示要求,转换效率较高,完成一幅1:10 000标准图幅DLG建库数据到制图数据的转换需要约2～3分钟的时间。(本文来源于《测绘与空间地理信息》期刊2013年01期）
邓超强,曾凡平,武飞,熊能,董齐兴[6]（2012）在《程序不变量到断言的自动转换方法研究及其应用》一文中研究指出程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。(本文来源于《计算机应用与软件》期刊2012年11期）
孙天文[7]（2012）在《纵横断面测量仪器自动记录数据文件转换为道路设计软件的输入数据文件的程序设计》一文中研究指出本文通过实例详细叙述了作者在AutoCAD软件环境下,二次开发的将由测量仪器野外自动测量记录的断面测量数据文件转换为道路设计软件读入的文件格式的方法,并给出了程序框图。(本文来源于《公路交通科技(应用技术版)》期刊2012年07期）
林锐,吴波,陈捷捷[8]（2011）在《基于CADDS5的坐标自动转换程序开发》一文中研究指出叁维设计软件在船舶行业的应用日趋广泛,国内众多船舶设计、建造单位采用CADDS5软件进行叁维设计以及建造。该软件功能强大,但其坐标系统不符合船舶设计的习惯。采用CVMAC+CVACT语言进行基于CADDS5的坐标自动转换程序的开发,解决参数传递、参考甲板面等问题,实现坐标系统的快速转换,能极大地提高叁维设计人员的工作效率,改善设计质量,缩短设计周期。(本文来源于《机械》期刊2011年09期）
苏利娜,伍鹏[9]（2011）在《电子测量仪器自动记录数据格式转换程序设计》一文中研究指出电子测量仪器的广泛应用加快了测量速度,提高了测量内外业的工作效率。但是目前的数据格式和数据标准存在不统一,给内业处理和测绘软件的开发带来了许多麻烦。为解决原始测量数据与内业后处理软件匹配问题,本文选取了几种常用数据格式,包括LEICA TC1800原始观测数据格式(*.GSI)、LEICA DNA2原始观测数据格式(*.mdt)、蔡司数字水准仪DINI 12原始观测数据格式(*.DAT),设计程序将其分别转换为科傻系统所使用的平面观测值文件(*.in2)和高程观测值文件(*.in1),并成功通过测试。(本文来源于《测绘科学》期刊2011年04期）
韩培安,王力生[10]（2010）在《单线程程序到多线程程序的自动转换》一文中研究指出给出了一种将单线程程序自动变为多线程程序的一种方法。该方法基于依赖性分析,将依赖性分析的结果用有向无环图表示出来,然后将有向无环图分解成多个存在依赖关系的集合,同一集合内的元素却不存在依赖关系,它们之间是可以并行执行的,集合间是有执行先后顺序的。然后将各个集合看作各个并行域,并行域内部的程序并行执行,处理并行域的时候,可以用各种模型,如:Thread and Lock,OPENMP等,最后生成相应的并行程序。(本文来源于《微计算机应用》期刊2010年12期）
程序的自动转换论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序的自动转换论文参考文献
[1].罗雄文.SOFL形式化规格说明向程序的自动转换[D].东南大学.2016
[2].朱云,曾晓勤,朱宁,刘禹锋.基于图文法的程序流程图与源代码自动转换[J].计算机工程与科学.2015
[3].宋禄楷,张鹏,韦通.DLG数据模型自动转换程序设计[J].山东国土资源.2015
[4].梁骊龙,丁岩,王晓东.通过坐标系自动转换程序解决凹球面加工[J].机械工程师.2013
[5].张省,戚文来,范维锋.DLG建库数据到制图数据自动转换程序的研究与实现[J].测绘与空间地理信息.2013
[6].邓超强,曾凡平,武飞,熊能,董齐兴.程序不变量到断言的自动转换方法研究及其应用[J].计算机应用与软件.2012
[7].孙天文.纵横断面测量仪器自动记录数据文件转换为道路设计软件的输入数据文件的程序设计[J].公路交通科技(应用技术版).2012
[8].林锐,吴波,陈捷捷.基于CADDS5的坐标自动转换程序开发[J].机械.2011
[9].苏利娜,伍鹏.电子测量仪器自动记录数据格式转换程序设计[J].测绘科学.2011
[10].韩培安,王力生.单线程程序到多线程程序的自动转换[J].微计算机应用.2010