从源程序到流程图的转换方法及实现

把源程序转换成流程图是软件工程中逆向工程研究的内容之一。本文提出了一种把源程序转换成结构化的流程图PAD的实现方法。     

从源程序到流程图的转换方法及实现

把源程序转换成流程图是软件工程中逆向工程研究的内容之一。本文提出了一种把源程序转换成结构化的流程图ＰＡＤ的实现方法。     

从源程序到流程目的转换方法及实现

９４０４０从源程序到流程目的转换方法及实现／／计算机技术。－１９９３（５）．－３４～３９把源程序转换成流程图是软件工程中逆向工程研究的内容之一。本文提出了一种把源程序转换成结构化的流程图的ＰＡＤ的实现方法。从源程序到流程目的转换方法及实现...     

基于图文法的程序流程图与源代码自动转换

程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。     

基于图元装接模式由程序流程图自动生成源代码

针对程序流程图到代码自动翻译过程中,通常需要经过代码优化及二次编程,翻译效率不高,提出基于图元装接模式的流程图到C语言源程序转换的解决方案,实现流程图到源程序的双向转换。由图元同步产生代码元,通过装接自动生成程序代码。所生成的程序代码无需修改,可直接编译运行。通过词法分析,识别并产生代码元和对应图元,可逆向生成流程图。其有效性在原型系统中得到了验证。     

一种源程序到控制流图的自动生成方法

将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件纵等方面。     

Lonworks串口适配器的设计与实现

介绍了一种Lonwoks串口适配器的设计方法并给出了详细的设计步骤、程序流程图和源程序。该适配器可完成RS－232－C／RS－485标准与LnTalk协议之间的转换，能把具有RS－232－C／RS－485标准与LonTalk协议之间的转换，能把具有RS－232－C／RS－485接口的设备接入Lonworks网络的，具有极高的实用价值。     

程序执行时间的静态预估与可视化分析方法

软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结.     

基于控制流程图的路径覆盖测试的改进方法研究

软件测试是当前软件生成重要的研究课题。文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机。经过若干变换后,可在自动机上直观地求出路径覆盖的条数和相应的信息。此方法实现路径覆盖的目标,简化路径覆盖生成过程,步骤直观,且减少路径生成数。     

程序的结构变换与结构优化

本文是“程序流程图的自动生成”一文的续篇;是在高级语言源程序已变换成流程图的前提下,讨论对框图进行结构优化并将优化过的框图变换成源程序的过程。     

LabVIEW的电子设备故障检测系统

结合测试系统理论和虚拟仪器技术的研究,提出了以PXI检测设备为核心的LabVIEW8.5的专用综合测试系统。系统以LabVIEW为软件开发平台,用图形化程序语言设计了系统对电子设备测试的各个模块程序流程图以及源代码。该测试系统可以有效地缩短维修周期,降低维护成本,提高维护的可靠性,使电子设备故障系统的检测水平实现数字化、模块化和智能化。     

程序段识别算法研究

静态反汇编中会遇到间接跳转和间接调用类指令,对这类指令引用的目标是否为程序比较难以判断。该文提出一种建立程序流程全图的程序段识别算法,给出算法数据结构设计和详细的流程描述,说明程序流程全图中异常节点的剔除方法,测试结果证明了算法的有效性。     

行差列差投影变换及其在直线特征识别中的应用

本文首先介绍了行差列差投影变换及其反变换，然后与Hough变换和Radon变换作对比，分析了它们各自的优缺点，并得出了在直线特征识别中行差列差投影变换优于Hough变换和Radon变换的结论，最后给出了用行差投影变换算法识别直线特征的一般流程。     

Nondeterministic flowchart programs with recursive procedures: semantics and correctness I

In this paper, we study some aspects of the semantics of nondeterministic flowchart programs with recursive procedures. In the first part of this work we provide the operational semantics of programs using the concept of an execution tree. We propose a new definition of the semantics of a non-deterministic recursive program as a mapping from the input domain to the set of execution trees determined by the program. Using this new concept, we prove that every nondeterministic flowchart program with recursive procedures can be unfolded into a semantically equivalent infinite pure flowchart (without procedures). This result is applied in the second part of this work to prove the soundness of an inductive assertion method which is also complete with a finite number of assertions (contrary to De Bakker and Meertens's method [11]).     

Using convert to transform source code

There are a number of reasons why one might wish to transform the source code of an operational program:

• 1 To make the program conform to a standard layout.
• 2 To make the program conform to syntax and semantics standards.
• 3 To improve the performance of the program.

The primary advantage of transforming source code into a standard form is that the programs become easier to maintain. The cost-benefit of standardization is thus realized at a later stage in the lifetime of the programs. Alternatively the cost-benefit of improving performance is immediate. The desirability of transforming source code is affected by several parameters:

• 1 The benefit to be realized from transformation.
• 2 The cost of transformation.
• 3 The time involved in transformation.
• 4 The risk associated with transformation.

If the benefit of transformation is significant, the cost, time and risk associated with the process can be considerably reduced by automating the process. In this paper, application of the CONVERT language to the transformation problem is discussed. CONVERT was developed as a vehicle for writing automatic language and dialect converters. Clearly, the features useful for converters are also applicable when the application involves transformation of source code.     

四辊液压轧机轧辊偏心补偿系统

四辊液压轧机轧辊偏摆导致辊缝变化将严重影响轧制成品厚度的精度。介绍了一种利用四辊液压轧机位置闭环的快速响应系统。采用PLC实现在轧机辊缝零位调整时,对偏心进行记忆,而当投入轧制时则可实现偏心补偿的方法。分析了补偿原理及实践方法,给出了程序流程图。该系统对设计新型轧机或改造旧轧机都具有现实意义。