基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.     

原油管道输运工艺评价实验仿真系统研究

基于流程仿真技术设计了管输工艺评价仿真系统的设计,包括仿真系统的功能与组成、实验方案编译器的设计、仿真控制器的设计、以及采用甘特图方法实现对实验方案的时序调整。该系统可实现管输工艺评价实验方案的流程仿真,为验证及优选管输工艺评价实验方案提供了技术平台。     

FOR语句在PL/0编译器中的不同实现

为了帮助加深对计算机语言编译技术的理解和应用,引述了PL/0语言的相关知识,简要介绍了PL/0编译器的结构框架。重点给出了FOR语句不同的实现思想和实现过程。因此在功能上对PL/0编译器进行了扩充,从而也为进一步扩充PL/0编译器的功能拓宽了思路。     

编译器词法分析程序实现探讨

编译器词法分析程序可通过高级语言手工编写,也可使用工具自动生成,正确理解2种生成方法的实质及区别,对于正确理解程序设计语言编译器的构造原理及编译原理课程的教学具有重要意义。     

Estelle软件支持工具

本文给出了Estelle-C编译器的设计与实现方法.利用Estelle-C编译器开发的通讯协议软件具有一致性好、易维护、可移植、开发周期短等优点.     

用UNIXLEX／YACC生成PL／0编译器

给出利用ＵＮＩＸ系统的语言开发工具ＬＥＸ和ＹＡＣＣ生成把ＰＬ／０语言源程序翻译成８０８８汇编程序的编译器的原理和方法，并给出一个编译实例．     

中间件及在软件开发中的作用

当前，计算机技术的发展可谓是一日千里，特别是随着Internet的出现，使计算机的应用范围空前广阔，但也给软件开发带来了一定的难度。由于在网络环境中，通常存在着多种硬件平台，如PC机、工作站、小型机等，在这些硬件平台上又运行着各种各样的系统软件，如不同的的操作系统、数据库、语言编译器等等，以及多种风格各异的用户界面。     

面向对象语言编译器自动测试工具

针对面向对象语言编译器的自动测试问题,结合实际项目,研究了面向对象语言编译器自动测试工具(简称O-OCTT)设计与实现涉及的有关理论和技术的关键点,阐述了O-OCTT的系统目标定位.在对传统编译器的测试模式进行分析与比较的基础上,提出并设计了O-OCTT的测试策略、测试模式和体系结构.提出的可行的O-OCTT的实现机制,测试用例产生策略及引入的插件式设计思想,使O-OCTT可适用于多种面向对象编译器的测试.     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

一种适用于软件雷达系统的数据流驱动机制

针对雷达信号处理各功能模块之间显著的流水性特征 ,结合一个通用的雷达信号处理系统———由清华大学研制的通用高速实时雷达信号处理系统的实验样机DSM(dataflow ,sharedmemoryandmultiplebusinterconnec tion) ,在研究现有静态、动态数据流驱动机制特点的基础上 ,提出了一种新型的适用于软件雷达系统的进程间准动态数据流驱动机制 ,并针对一个雷达信号处理的范例程序说明了编译器数据流驱动表的生成和系统数据流驱动的过程。