用YACC实现程序插装器  

Implementing Program Instrumentor Using YACC

作　　者：梁应宏[1] 陈绍强[1] 

机构地区：[1]北京邮电大学程控交换技术与通信网国家重点实验室

出　　处：《北京邮电大学学报》1997年第1期30-35,共6页Journal of Beijing University of Posts and Telecommunications

摘　　要：使用ＹＡＣＣ实现了一个Ｃ程序插装器（ＣＩＮＳＴ）．用翻译式来描述插装器的行为，具有简洁、清晰、容易实现和容易验证正确性等特点．通过使用文法改写技术，有效地简化了程序的实现。Implements a C program instrumentor CINST via YACC .Interpretive scheme is used to describe the behavior of CINST which therefore has advantages of conciseness, precision, being easy to implement and verify.Moreover, the technique of grammar alternation is employed to simplify the implementation of CINST and make the program more readable.

关 键 词：软件测试 程序插装 程序结构测试 YACC 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]