2) conversion program
转换程序
1.
Also, the design considerations for the conversion program, the conversion of the Postscript program to a 4S(Super Science Setting System) file and the conversion of the 4S file to the Postscript program are presented.
阐述了Ｐｏｓｔｓｃｒｉｐｔ语言与４Ｓ（ＳｕｐｅｒＳｃｉｅｎｃｅＳｅｔｔｉｎｇＳｙｓｔｅｍ）文件转换程序的设计思想。
3) program transformation
程序转换
1.
Binary program transformation has played an important role in reverse program analysis.
二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。
4) program conversion
程序转换
1.
Thus the program conversion is done with enhanced efficiency compared to traditional ATE program conversion procedures.
相对于传统的ATE应用程序转换过程,提高工作效率可达40%以上。
5) measuring fitting
测试转换
1.
This article describes one way of designing of dielectric antenna assembled on reciprocal ferrite phaser and the measuring fitting for this type of phaser,and gives design routine and experimental verification based on ANSOFE design platform.
本文介绍了一种互易铁氧体移相器端接介质天线及移相器测试转换的设计,并给出了在ANSOFT设计平台的设计方法及实验验证。
6) test program
测试程序
1.
Research on Off-Line Debugging of VLSI Device Test Programs;
VLSI器件测试程序脱机调试的研究
2.
It has been applied in some plane integrated ATE test program successful.
介绍了在 Labwindows/CVI 开发平台下的多线程技术,并已成功地应用于某型飞机综合ATE 的测试程序设计,提高了自动测试系统运行速度和实时反应能力。
3.
In order to reduce the cost of developing VLSI test program and shorten developing cycle, an idea of a simulator design of test system and gives the simulator s structure and function is put up.
为了降低开发超大规模集成电路器件的测试程序的费用 ,缩短开发周期 ,给出了一种设计和开发测试系统仿真器的基本思想、结构组成及其功能。
补充资料：程序转换方法
程序转换方法
program transformational method
chengxu zhuanhuan fangfa程序转换方法(p到理，即m transfo们盯ationalmethod)由一程序转换至与之等价的另一程序的方法，简称转换方法。从软件自动化的角度看，程序转换有两类:一类是队向特换，即由一抽象级别较高的程序转至另一满足功能要求的抽象级别较低的程序。另一类是校向传换，即在相同(或类似)抽象级别上程序间的转换。 纵向转换涉及从功能规约到可执行的程序的全过程，可分为三个阶段:①从“做什么”的功能规约到“如何做”的设计规约转换;②从设计规约到高级语言程序的转换;③从高级语言程序到机器语言程序的转换。一般认为，①是其核心和难点，而②，③可借助编译技术完成。前者所要考虑的主要问题有:转换模型、转换过程中的正确性架构、知识及其表示机制和转换规则的选取等。代表性的工作是70年代中期西德慕尼黑技术大学信息学研究所在F.L.卫达uer教授主持下开始研究的软件自动化系统，即计算机辅助、直觉指导的程序设计(CIP)项目，以及南京大学计算机软件研究所徐家福教授主持研制的算法设计自动化系统NDADAS和软件自动化系统NDAU卫〕o CIP的目标是开发可形式保证程序正确性的程序开发系统。其课题有三:第一，设计并定义一广谱语言CIP一L;第二，开发一交互系统;第三，建立一指导程序开发中形式推理过程的方法学。CIP的特点是:第一，各步之间转换的实现只借助“保证正确性”的转换规则;第二，开发全过程由程序人员指导，亦即，由程序人员选定转换规则。 Nl〕AI〔)AS是实现功能规约到设计规约自动转换的算法设计自动化系统。它采用功能规约分解树模型，从给定的函数功能规约开始的转换过程由一系列自顶向下的精化步构成，每一精化步将某一函数规约或按某一控制结构分解成若干子函数功能规约;或将某一函数规约转换成另一易于求解的函数规约或算法已知的基元函数功能规约。此过程一直进行到所有未分解的(子)函数功能规约均是基元函数功能规约为止。结果即为相应的设计规约。 Nl)AUTO是实现设计规约到可执行的程序代码自动转换的软件自动化系统。主要工作是设计了一个图形化的软件设计规约语言GSPE〔:和实现了一个自动转换系统。(万PEC基于函数模型，并引人了新的软件分解模式，以及代数与一阶谓词相结合的抽象数据类型定义方法。系统转换过程分两步:第一，由转换程序将设计规约中的一阶谓词描述成分消去，将用户新定义的抽象数据类型用已有的类型实现;第二，由代码生成程序采用过程方法将转换后的设计规约翻译成可执行的程序代码。转换程序采用输人输出谓词综合法消去一阶谓词成分。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条