论文部分内容阅读
程序插桩技术是一种基本的测试手段,在软件测试中被广泛的应用。插装方式是指在程序源码中插入一些语句,通过这些语句可以获得所需要的信息,在死锁规避的静态分析中需要通过程序插桩的方式记录下一些信息。程序插桩按照源程序的结构分为顺序结构的插桩,分支结构的插桩和循环结构的插桩。在对源程序进行词法语法分析的基础上建立抽象语法树和控制流图,根据控制流图获取程序可能执行的所有路径信息,接着根据路径信息决定插桩的内容。