为了从Windows操作系统用户群中吸引潜在用户,UnifiedKernel系统旨在于Linux操作系统上运行Windows应用。在用既有软件测试UnifiedKernel系统与Windows操作系统的兼容性时,开发人员遇到了比较大的困难。由于没有源代码,面对黑箱时,程序开发人员必须分析每一行程序指令,这个开销是很大的,而且由于很多指令与出现的程序异常行为无关,因此效率也是很低下的。在这种契机之下,本文提出了在没有源代码的情况下,对二进制程序进行动态切片的技术,找出和程序异常行为相关的指令,减少开发人员需要分析的指令数目,为他们减轻工作压力,提高工作效率。本文主要完成了以下两方面的工作:(1)为利用基于指令执行记录的二进制动态程序切片方法提供了理论上和技术上的准备。文章探讨了动态反汇编的方法,并论述了只需要指令执行记录和程序控制依赖图切片技术的可能性;(2)提出了基于指令执行记录的二进制动态程序切片方法,并设计实验证明该方法是正确的,而且有效提高了开发人员的工作效率。在实验中,作者发现,根据文章提出的方法找到的与程序异常行为相关的指令,大小约为原程序大小的10%至30%,调试人员需要分析的指令条数也就被削减为原来的1/3至1/10,有效地达到了目的。文章的工作指出,对二进制程序进行动态程序切片是可行的,基于指令执行记录的方法使得该技术更为实际。该技术能有效减少调试人员需要分析的指令数目,提高工作效率。