测试仪表中一种编译器的开发

介绍了测试仪表中一种编译器的开发,采用此编译器后,可以使测试项目集编译成可以被调用执行的测试项目库,从而减少了测试仪表的开发工作.     

基于X86平台的编译器性能优化

编译器的性能受机器平台的影响,只有编译器与机器平台相适应配套,才能发挥出极致性能.因此,编译器优化工作显得尤为重要.在传统的编译器优化工作中,常采用的是迭代测试分析方法,但编译器优化Pass繁多,使用此方法致使测试任务量大、分析数据量多、优化工作难.因此,提出一种正确性粗细粒度差异化分析技术,从正确性性能摸索、粗粒度迭代测试以及细粒度核心差异化分析三方面解决编译器优化工作中的困难.最后,通过SPEC CPU2017实验测试,验证了该方法的实用性,为GCC优化提供了正确的优化方向.     

RTL组合电路描述的Verilog HDL编译器的设计

设计了一个针对ISCAS85／89Benchmark,用于RTL组合电路VerilogHDL描述的编译器,这个编译器可以作为RTL电路测试研究的辅助工具,在对VerilogHDL和RTL描述的特点进行分析的基础上,阐述了该编译器解析VerilogHDL描述、创建功能模块类库和RTL描述转化为无层次分块的门级描述的基本原理,提出了主要问题的解决策略。     

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

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

基于lcc编译工具的实现

编译工具是进行软件系统开发和测试的强大工具。现有的编译工具复杂、庞大并且为数不多,诸如Vtune之类的程序剖面分析工具更是昂贵,但是对程序进行静态分析和动态跟踪评估等工作在很多方面十分有用,因此,以现有编译器为主体进行编译器扩展来现相应工具是非常有必要的。LCC是一款广为使用的ANSIC编译器,由于自身的简单和使用高效特点,由它出发通过修改、定制,构造其他特殊目的的编译器相关工具就变得相对简单。     

动态模糊逻辑程序设计语言编译器的实现

动态模糊逻辑程序设计语言的独特优势在于可以处理动态模糊数据,但现存的编译器很难有效解析动态模糊数据。针对此问题,通过扩展监督命令程序结构,引入对动态模糊性的形式化描述,设计一种新型的动态模糊逻辑程序设计语言编译器。通过实例验证,该编译器能正确解析动态模糊数据,降低了动态模糊逻辑程序调试难度,提高了动态模糊逻辑程序开发效率。     

OMG IDL编译器的优化

介绍了接口定义语言 (IDL) ,描述了IDL编译器在基于CORBA系统开发中所处的地位和意义之后 ,重点介绍了IDL编译器的基本构造方法 ,进而提出OMGIDL编译器的一种优化设想 .     

汽车电子控制领域编译器安全验证策略

编译器验证是汽车电子软件开发过程中的重要一环.在分析了相关安全要求和通用验证方法的基础上,提出了一种基于测试的编译器安全验证策略,并给出了具体实现过程.     

Estelle软件支持工具

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

IDL编译器的实现--词法分析部分

在基于CORBA的应用开发中 ,IDL及IDL编译器起着重要的作用 .在开发新的编译器过程中 ,词法分析器的自动生成器LEX是常用的辅助工具之一 .本文对于目标代码的编译过程中词法的分析给出了自动机的实现轮廓 .     

“自动控制系统”课程试题库微机管理软件的研制

介绍了《自动控制系统》试题库的设计思想， 题库的组成以及微机管理系统软件的主要功能和特点。即：管理系统是在ｗｉｎｄｏｎｓ９８ 环境下， 利用ｄｅｌｐｈｉ４－０ 编程工具开发而生成的， 且具有一定的通用性， 可用于任何同类型而不同学科的试题库， 该管理系统可根据输入信息对试题进行搜寻、制作、组合、显示、打印、修改、分析、保护等操作。     

A heuristic algorithm to solve the task partition problem in MDOCEM

This paper examines task partition problem in a Multiagent-based Distributed Open Computing Environment Model (MDOCEM). We first present a formal method to describe the task partition problem, then give a heuristic algorithm to solve the task partition problem that gives an approximate optimum solution. Foundation item: Supported partially by the National 863 High Technology Project (863-306-05-01-1B) Biography: He Yan-xiang (1952-), male, Professor, Research interests include distributed OS and distributed information processing, distributed software engineering, parallel compiler.     

O-OCTT的多语言功能扩展研究

为了实现面向对象语言编译器自动测试工具(O-OCTT)对多种面向对象语言的支持功能,研究系统功能扩展的实现方法.基于现有O-OCTT的测试模式和整体功能构架,借鉴插件式(plus-in)的设计思想,对系统的测试用例生成器进行改进,将测试用例中间代码自动生成的方法引入测试用例自动生成过程中,实现系统对多面向对象语言的支持,使O-OCTT能适应面向对象语言编译器的自动化测试要求.     

IDL compiler API design, application and validation based on XML API

In order to adapt different languages and platforms, the paper discusses how to process and validate IDL symbol table and intermediate code by XML API. It puts emphasis on IDL AP1 extension towards DOM API based on the idea of combining XML with IDL compilers. At last, the IDL compiler designing framework based on XML AP! is given, in which compiler front end can be managed and validated by some XML techniques and tools, IDL API can be validated on the basis of test, so IDL intermediate code is provided with maintainability, portability and generation. IDL compiler can be developed and extended by XML-based API, which realizes versatility and portability of modern compiler.     

基于ORC的OpenMP编译器设计与实现

该文提出了一种OpenMP翻译技术,旨在提高OpenMP编译系统的性能,并在这种技术基础上构造了一个完整的基于ORC的OpenMP编译系统。系统采用了下面的主要技术来提高性能:1)系统集成在后端的优化编译器中,具有更多的优化机会,并可以采用更为精细的开销模型;2)提出了一种基于指导语句全局嵌套类型的OpenMP翻译技术,可以有效地减少翻译代码的长度,并减少运行时开销。这个OpenMP系统从设计开始,就是为了提供一个合适的编译技术研究平台,具有更好的可控制性、可调试性和丰富的工具支持。     

服装的微型计算机辅助设计初探

本文提出了在微型计算机上进行服装设计的方法.本软件系统包括了编译器和服装设计系统,编译器将AUTOCAD 和GWBASIC 相连接,作为开发服装设计系统的工具.服装设计系统包括了菜单选择、衣片设计、自动排料、以及在绘图机上按比例输出衣片和排料图.本系统能完成服装设计的全过程,其中包括:选择服装式样,输入衣服尺寸,绘出衣片和排料图。本系统在微型计算机VICTOR/9000及绘图仪DXY-800A 上运行,经过测试,从用户输入衣服尺寸开始,到系统绘出衣片和排料图为止,只需4—7分钟的时间.     

静态测试中C／C＋＋抽象语法树的生成

利用GNU提供的标准编译器,通过调用词法分析程序生成了C／C＋＋抽象语法树。基于系统崩溃故障模型的软件进行了静态测试,描述了C／C＋＋抽象语法树及其语法和语义分析的具体方法。     

基于Tabu搜索的选题算法研究与应用

针对目前传统选题算法在大型题库中选题效率低、质量不高的情况,给出了一个多约束条件下的选题问题模型,提出基于Tabu搜索算法的选题算法。依据Tabu搜索算法的集中和扩散两个策略,避开局部最大值,以最短时间寻找最优解,从而满足组卷要求。实验结果表明,该算法能有效准确的满足从大型试题库选题,其收敛速度和选题质量都有显著提高。     

区分度与测验进程相匹配的CAT选题策略

选题策略是计算机化自适应测验(CAT)的核心.该文提出了一种新的选题策略,是一种相对严格的“升a”方法,它选择区分度参数的百分等级尽可能接近测验进程的项目,而且还可以通过调整控制参数的取值来满足不同测验场景的需求.Monte Carlo实验结果表明:该方法在测验精度、项目曝光率控制和题库利用率等方面均表现良好.