【摘 要】
：
本文通过对编译系统进行面向对象分析,探讨了基于编译类库构造编译器的方法.在我们的方法中,编译器由编译器基本构件和目标机描述两部分组成.编译器基本构件的抽象模型以语法单元为单位,集编译过程中的词法分析、语法分析、语义处理、优化和执行等操作与一体,打破了传统编译器中各个编译阶段的空间分割.目标环境的定制以GCC的RTL语言为工具.由于insn是RTL的功能单元,且不同目标机指令的RTL模板间存在许多相
【机 构】
：
清华大学计算机科学与技术系(北京)
【出 处】
：
2002全国软件与应用学术会议(NASAC)
论文部分内容阅读
本文通过对编译系统进行面向对象分析,探讨了基于编译类库构造编译器的方法.在我们的方法中,编译器由编译器基本构件和目标机描述两部分组成.编译器基本构件的抽象模型以语法单元为单位,集编译过程中的词法分析、语法分析、语义处理、优化和执行等操作与一体,打破了传统编译器中各个编译阶段的空间分割.目标环境的定制以GCC的RTL语言为工具.由于insn是RTL的功能单元,且不同目标机指令的RTL模板间存在许多相同点,因此,我们在目标环境的类化过程中,以insn为基本对象.对于特定源语言和目标机的编译器的构造,可以利用编译类库中的类,通过继承或扩展的方式,只需要添加少量的代码,就可以为之合成一个编译器,从而可大大提高编译器的可维护性和开发效率.
其他文献
构造类别代数是一种通信协议的形式化方法.本文针对基于构造类别代数的协议描述,引入变异分析方法,对协议进行一致性测试.本文针对构造类别代数设计了几类变异算子,并且给出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
随着Internet的发展,应用所依赖的框架结构也趋于复杂,新的多层次体系结构开发模式和基于组件模型的软件开发方法日臻成熟.基于Web的各项应用也正朝着分布式和多层次结构化方向发展.本文探讨基于J2EE框架下组件的设计方法和实现技术,着重讨论了有关的技术和设计方法,尤其是J2EE平台下的相关组件技术.为了满足软件系统适应扩充性和重用性的需求,本文结合应用案例,介绍了符合现行软件开发规范的组件设计方
本文简要描述了商业智能系统现状和Web Servuces技术的特点,在分析商业智能系统一般流程的基础上,提出了一种基于Web Services技术的商业智能系统模型.通过对一个现有的商业智能系统进行改造并 进行对比分析,我们发现该模型能带来更好的灵活性、可扩充性,以及更广的可访问性,并且能够在很大程度上简化系统设计.从而充分体现出Web Services技术在商业智能系统设计中的优越性.
基于构件的软件开发方法(CBSD)作为一种新的工业化的软件开发方法,越来越广泛地应用于包括企业信息系统在内多个领域的软件生产中,它是解决软件危机的一种很好的方法.CBSD的基本活动包括构件的描述、获取、存储、检索、匹配、组装以及测试和运行等过程.CBSD有许多优点,也有一些缺点.
本文在回顾软件体系结构和轻方法的特点后,先研究IT企业在市场驱动状态下所具有的典型特征,得到市场对软件体系结构的影响因素.然后采用需求工程、领域工程以及软件体系结构的观点、方法,以需求分类为原则,提出了控制台-信息中心-客户端模式,并以医药企业供应链管理系统为实例介绍如何具体应用该模式.最后,总结了该模式特点和适用范围.
结合数字图书馆系统建设和应用的需求,文章提出一种基于文档分割的自适应文档图像兴趣域编码方法.文章针对数字化文档结构特征,详细描述了一种基于块缩图和涂染技术的快速图文分割算法,该算法分割图文时不受文本倾斜和插图区域不规则的限制;在将插图域和文本域进行准确分割的基础上,文章提出了一种自适应生成插图兴趣域屏幕图和兴趣域压缩编码算法,并给出采用该方法压缩含有插图的扫描文档的示例.
本文分析了应用软件MIS中的主体和客体的关系,用BNF给出了需求模型的描述,并用一个财政子系统的例子,验证了这种描述.
提高文档图像压缩比最有潜力的方法是对图、文区域分别采用不同压缩算法,而其关键是有效图文分割.本文针对文档图像特征,介绍一种基于小波系数域隐含状态马尔可夫树结构模型,直接从被分割图像中抽取分类参数,获得多尺度图像分类概率,然后融合多尺度分类结果,实现图文有效分割的方法.该方法综合多尺度小波变换、多尺度判定、多尺度分类依赖、联合条件概率计算等多种图像分割技术.文章主要介绍图像四分块划分策略,小波变换与
本论文在分析了基于重用软件过程资源的软件过程后,把所有级别的软件过程抽象为一个基本过程,并用具有MVP模式的过程构件实现这个基本过程.进而提出一个基于过程改进的软件质量保障模型.它由项目定义的软件开发过程生成、项目软件过程执行和机构软件过程改进三部分组成.
软件开发速度问题一直困扰着软件企业的管理者,而软件质量问题是影响软件开发速度的一个重要因素.进行软件质量保障最常用的手段是进行测试,但测试恰恰通常就是软件开发过程中的速度瓶颈.我们提出结构化测试组织模型来提高测试的质量,其中心思想是进行结构化,并在此基础上应用自动化手段和进行可视化控制.模型不仅提高测试本身的效率并能为项目开发及时提供有效的参考数据从而实现快速开发的效果.