CPUCP-S26361-D674-V 朝阳市* 返回列表页

CPUCP-S26361-D674-V程序插装（Program Instrumentation）概念zui先是由J．G．Huang教授提出，是借助往被测程序中插入操作（称为“探针”），以便获取程序的控制流和数据流信息，从而实现测试目的的方法。在软件动态测试中，程序插装是一种基本的测试手段，应用广泛，是覆盖率测试、软件故障注入和动态性能分析的基础技术。

GCC（GNU Compiler Collection）是一个高度优化，高度可移植，广泛使用的编译系统。它能处理多种语言，包括C／C++、Fortran、Java和Pascal等多种语言前端，而且后端支持几乎所有的处理器结构。GCC作为源码开放的软件，人们可以自由修改和使用；加入插装模块后，在GCC所支持的语言中都可插入相应的测试代码（这里只介绍C语言的插装模块）。

本文将详细叙述如何修改GCC，使其在编译每个C函数时，分别将各个形式参数连同该函数名传递给一个函数。该函数的返回值赋予原来的形式参数，从而可以人为控制被插装函数的每个参数实际值，进而完成各种规则下的测试。 

CPUCP-S26361-D674-V编译流程分析

 编译器的工作是将源代码（通常使用高级语言编写）翻译成目标代码（通常是低级的目标代码或者机器语言）。在现代编译器的实现中，这个工作一般是分为两个阶段来实现的： *阶段，编译器的前端接收输入的源代码，经过词法、语法和语义分析等得到源程序的某种中间表示方式。

第二阶段，编译器的后端将前端处理生成的中间表示方式进行一些优化，并zui终生成在目标机器上可运行的代码。 GCC编译器以一个函数为单位对经过预处理的输入源文件进行编译处理。

CPUCP-S26361-D674-V根据GNU Bison（一个类似YACC但功能更强大的文法分析工具）生成的语法分析程序，前端完成语法、语义分析，建立语法树，并转换成中间代码。GCC内部使用了一种能对实际的体系结构做一种抽象的，与硬件平台无关的语言，这个中间语言就是RTL（Register Ttansfer Language）。

通过修改源程序的RTL，可以改变、删除源程序，包括插入所需要的代码，由GCC后端处理并zui终输出对应硬件平台的汇编码，源程序无需手工修改便可实现插装功能。

RORZE 2P MICRO STEP DRIVER RD-323MS WITH TYPE 103-546-0241 1.5A 1.8 DEG_STEP

OMRON P88A-PR03U PARAMETER UNIT

KEYENCE PJ-50A PHOTOELECTRIC CURTAIN SENSOR

ORIENTAL MOTOR VEXTA A4318-9215TG 5PH STEPPING MOTOR #2

PT-SBS 915 BOARD 124-010103 / 9515 / 579011 4594 /450L0128 REV. 00

OMRON POWER SUPPLY S8VS-18024A TESTED WORKING

OMRON E5CS-Q1KJ TEMP CONTROLLER LOT OF 2

COPAL PRESSURE SWITCH PG-35-103R-PVC 8Y1 NNB

COPAL PRESSURE SWITCH PG-35-103R-PVC 8L5 NNB

COPAL PRESSURE SWITCH PG-35-103R-PVC 9G4 NNB

#0128 INFICON AG, FL-9496 BALZERS VACUUM SWITCH VSA100A WITH 3m CABLE

OPTICAL FIBER FOR ILLUMINATORS 145cm CONNECTOR DIA. 13.0 & 30.0MM

OPTICAL FIBER FOR ILLUMINATORS 165cm HAMAMATSU 030702

OPTICAL FIBER FOR ILLUMINATORS 167cm CONNECTOR DIA 13.0mm 17.7mm

MINI LINEAR ACTUATOR MOVING RANGE 30MM NSK 08HX-0030 W0601MA-3PY-C3Z

MITSUBISHI MELSEC PLC AX42 INPUT MODULE

ENTEGRIS NT FLOW-THROUGH PRESSURE TRANSDUCER 4210-100G-F08-D00-A-P1-U1 NEW