半导体逻辑集成电路的计算机辅助测试

本文是一篇关于计算机辅助测试逻辑集成电路的综述性文章。文中分析了测试逻辑集成电路的要求,提出了测试中存在的问题及解决的途径。对于半导体存贮的测试图形,也进行了一些分析,列举了常用的一些测试图形。对国外目前采用的测试微处理器CPU芯片的几种方法和国外测试系统的发展所经历的三代,也作了介绍。     

自然语言开发环境的设计与实现(英文)

平文介绍了一个基于演译数据库(由PROLOG与INGRES组成的DDBMS)的自然语言开发环境(NLDE)。用户采用中间转换文法(ITG)就可将用户的需要描述成自然语言形式。DDBMS能从PROLOG数据库中存储的规则与INGRES数据库中存储的元组,为用户推理得出回答。例如,本文介绍了一个航空咨询系统(AAS)。它可用干查询航班、订票及其他一些服务。特别是:AAS还能帮助用户解决一些推理性的复杂问题。本文中的NDLE及AAS是在DUAL68000微机上实现的。籍助NDLE,用户可在他们感兴趣的别的领域,方便而容易地开发一个用自然语言处理的系统。     

基于中间语言的逆编译系统CDS

为了帮助程序员理解、分析软件,减轻人的劳动强度,我们设计了基于中间语言的逆编译系统CDS。CDS的过程首先把机器语言程序转换为中间语言程序,然后进行数据类型和控制流程分析,最后产生目标高级语言程序。     

一种新型联机仿真器的研究

本文根据微型机应用对开发系统的要求,分析了几种典型的具有联机仿真结构的微型机开发系统,提出一种新型的通用联机仿真器:LJF-06的设计方案。采用本方案的系统具有资源借用、同步地记录仿真过程的动态信息、设置断点、取代目标系统的MPU和单步、多步、连续地执行用户程序等功能。LJF-06联机仿真器是具有硬件仿真能力的独立功能模板,可以直接插入采用EXORCISER总线的微型机运行,开发和全速仿真以MC6800微处理器为基础的目标系统。文中介绍了系统硬件和系统软件以及试验结果。     

逆编译系统CDS中的程序控制流程分析

本文介绍了逆编译系统中程序控制流程分析CFA(Control Flow Analysis)的方法。该方法在将机器语言程序抽象为控制流图的基础上,进行结构化的和非结构化的归约,从而产生用高级语言语句表示的功能等价的程序控制流程。因采用与机器语言无关的抽象流图表示,该方法有很强的适应性。     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

微型机在色谱数据处理中的应用

本文阐述一个用于气相和液相色谱仪数据处理的微型机系统。由于应用了微型机,大大地提高了色谱分析中的可靠性、精确度和自动化程度。     

逆编译系统CDS中的数据类型分析

本文提出了一种新逆编译中数据类型分析及恢复的方法。该方法通过参考指令操作数长度、用定值引用链构造变量的“环境信息”、以及函数间类型传播等手段将机器语言程序中已经完全消失的变量类型恢复成高级语言形式的类型表示。由于采用多种途径,该方法所恢复的变量类型有较高的准确性和很好的完备性。     

编译程序生成系统的实践与分析

本文从软件工程的角度出发,通过编译程序生成系统BSX的实践并以ASPHL语言的编译程序生成为例,对软件的自动生成在解决软件危机中的作用进行了分析。通过分析可以看出: (1)实现软件生成的自动化是提高软件可靠性的一种十分有效的方法。 (2)对于自动生成的软件,由于其描述的抽象程度高,因而可移植性好。 (3)实现软件生产的自动化还可以大大提高软件生产率。 (4)由于自动生成的软件可读性好,因而易于维护和扩充。     

编译程序自动生成系统HMCGS的理论基础——范式有序属性转换文法NOATG

本文提出了两种新的程序语言语义描述方法,属性转换文法ATG和范式有序属性转换文法NOATG。本文首先定义了ATG并讨论了其性质,然后在ATG基础上进一步提出了NOATG。指出与ATG相比,以NOATG为基础模型构造的编译程序生成系统能构造出能力相同,但时间和空间效率较高、结构更简单的编译程序。本文还围绕着基于ATG和NOATG的编译程序生成系统的有关问题展开了讨论。