利用插桩技术实现嵌入式软件“白盒”测试是行之有效的方法。本课题的主要任务是通过对嵌入式软件的特点以及现有插桩技术进行研究,提出了在嵌入式软件“白盒”测试中插桩技术面临的主要问题:代码膨胀率和程序执行效率,利用GCC作为开发平台,针对这两个问题进行研究,实现了插桩技术。论文针对嵌入式软件插桩技术中出现的两个问题,对插桩模型进行了改进,提出了策略性插桩模型。经过一系列的研究,提出利用替换宏定义、策略插桩来解决代码膨胀问题和提高插桩速度进而解决程序执行效率问题 然后专门针对嵌入式软件的不确定性,特别提出对优化后的代码进行抽象语法树冗余信息消除的算法,然后再进行插桩,以此来保证插桩位置的准确性。CAJ格式-RESEARCH AND APPLICATION OF THE INSTRUMENTATION IN EMBEDDED SOFTWARE WHITE- BOX TESTING