%0 Journal Article
%T 一种可用于编译器调试的目标代码验证方法
%A 琚小明
%A 姚庆栋
%J 计算机应用
%D 2005
%X ？传统编译器测试方法是通过比较预期的结果和待测的结果是否一致，以确定编译器是否存在错误。在此基础上，提出了引入参考编译器和参考仿真器的测试方法，在指令集软件仿真过程中生成可用于编译器调试的动态数据信息文件，对参考动态数据信息文件和待测动态数据信息文件进行比较，编译器测试工具可根据比较的结果来确定待测编译器存在错误的位置，这对编译器的调试是非常有用的。
%K 目标代码验证
%K 软件测试
%K 编译器
%K 软件调试
%U http://www.joca.cn/CN/abstract/abstract13702.shtml