面向编译器测试的部分求值静态输入确定方法

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。     

“教育部-微软精品课程”介绍——“编译原理”课程建设研究

“教育部-微软精品课程”项目是教育部和微软合作实施的“长城计划”第二期重要内容，该项目旨在支持高等学校计算机课程建设，促进企业的核心技术与高校相应课程建设紧密结合，探索校企共建精品课程的新模式。 2005年度，微软亚洲研究院收到35个申请，最终支持了15门课程。立项课程通过验收并符合国家精品课程申报条件的，将由教育部高教司推荐参评国家精品课程。 这个项目在高校内反响很好，为了让更多高校计算机课程教师了解这一项目，微软亚洲研究院与清华大学《计算机教育》杂志合作，组织专题系列，特邀“精品课程”教师进行深入探讨。     

用有向图实现的ATLAS编译系统中的设备分配

ATLAS是测试领域的流行语言，用其编写的测试程序可在任一个具体的自动化测试平台上工作。设备分配是每个ATLAS编译系统都要面临的任务之一。该文提出了将被测设备与自动化测试平台组成的系统看成是有向图，利用图的遍历算法来实现设备分配过程。     

综采放顶煤工作面撤面综合防火措施应用

北皂矿为Ⅰ类自燃发火矿井，4213采煤面面长139m，推进长度872m，共有轻型放顶煤支架94架。材料巷同已采4213面运输巷之间煤柱5m。煤：自燃发火期为1-1．5个月，最短为21天，该面回采前在切眼尾巷封闭段曾检查出CO气体，但在回采过程中没出现自燃发火现象。     

综放面采空区煤炭自燃发火的危险性评估模型

结合模糊数学和多目标决策理论,运用层次分析法建立了评价采空区自燃发火危险度的指标体系和评价模型,并以北皂煤矿4402综放工作面采空区煤炭自燃发火危险程度的定量评估为例,介绍了本模型的应用.     

依靠技术进步 提高企业经济效益 加强现场管理 进一步贯彻《设备管理条例》——上海市、南京市部分行业和企业设备管理部门围绕“质量、品种、效益年”活动座谈纪要

在国家计委和国务院生产委联合发出“关于在开展‘质量、品种、效益年’活动中加强企业设备管理工作的通知”(计调度[1991]409号)之后,上海市和南京市设备管理协会分别邀请部分行业、企业主管设备管理工作的同志,就如何围绕“质量、品种、效益年”活动开展设备管理工作进行了座谈,对深入开展“质量、品种、效益年”活动将起到积极的促进作用。本刊对两个座谈会进行了专访,予以报道。     

一个词法分析器构造过程模拟器的设计与实现

词法分析器是编译器的第一个组成部分,是后续部分的基础,同时,词法分析也广泛应用在很多软件中,所以理解词法分析器的构造原理比较重要。设计并实现的模拟器能够以表格和图形的方式展示词法分析器的构造过程,并可以形象模拟词法分析器从源程序中识别单词的过程。     

“编译原理”课程建设研究

“编译原理”课程是计算机专业必修的一门重要的专业基础课程,也是计算机系统软件中非常重要的一个分支,任何计算机语言的实现都离不开编译技术,因而,作为计算机专业的学生,学习和掌握编译程序的基本构造原理和实现技术,对今后进一步的学习、研究和工作奠定坚实的专业理论基础是十分必要的。吉林大学计算机科学与技术学院软件教研室多年来一直从事计算机本科生“编译原理”课程的教学与科研工作,积累了丰富的教学、科研经验,并取得了多项与编译课程相关的教学、科研成果,“编译原理”课程先后被评为吉林大学精品课程、吉林省精品课程和“教…     

过程式语言中递归的消除

尾递归化是程序分析中的一个基本方法，通过对过程式语言中递归函数尾递归化几个特殊方法的比较分析，给出了一个较一般的方法。     

测试语言ATLAS的实现技术

介绍了从通用标准测试语言ATLAS到C++语言的转换技术,并讨论了代码生成、设备分配、状态表维护、总线并行和定时等关键实现技术.依据此技术实现了ATLAS语言的转换系统.