首先，对程序进行轨迹分析，跟踪程序运行的轨迹，这在软件测试中是相当重要的。我们的软件不但可以动态显示程序运行的轨迹，而且还可以直观的看到每一次运行的它是第几次运行。并且可以得到执行过的命令行数及行号。如图1所示。
图1
然后，我们对程序进行数据依赖分析。在数据依赖分析中，我们可以直观的看到程序中某行定义及用到的数据。当你在下拉菜单中选定行号后，程序会在文本框中显示出改行中的数据。如图2所示。
6
图2
之后，对程序进行控制依赖分析。我们可以直观的看到程序中行之间的依赖关系。如图3所示。
图3
7
同时，我们对程序中间表示进行分析。此步对之前的分析步骤进行整合，以便下一步应用。如图4.
图4
最后，对程序进行切片分析。如图5.
图5
8
五、成为优秀测试工程师的要求
要成为一名优秀的测试工程师，首先对计算机的基本知识要有很好的了解，精通一门或多门的编程语言，具备一定的程序调试技能，掌握测试工具的开发和使用技术。同时要比较细心，会按照任务的轻重缓急来安排自己的工作，要有很好的沟通能力。此外，还要善于用非常规的方式思考问题，尽可能多的参加软件测试项目，在实践中学习技能，积累经验，不断分析和总结软件开发过程中可能出错的环节。这样，一名优秀的测试工程师就从软件测试的实践中脱颖而出了。 参考文献:
[1] 软件工程-理论、方法与实践[M].北京:高等教育出版社,2005. [2] 微软官方博客.
9