随着计算机的不断发展，人们对软件质量和可靠性要求也不断提高，带动了软件测试的发展。软件测试不仅贯彻开发过程的始终，在整个开发过程中所占的比例也逐渐加大，同时，围绕软件测试的诸多研究也得到了发展。 在软件测试倍受重视的同时，过多的焦点往往偏重于测试数量和过程，却忽略了测试本身的质量。而关于测试的充分性、有效性、效率等对测试本身给予评价的研究却不是很多。 本文从测试理论入手，介绍了测试用例设计相关理论，对覆盖率分析技术做了深入的研究，并详细剖析了与之相关的技术。首先，语法树作为一个程序语言的结构化表示，它是各种程序分析研究及工具实现的基础，对语法树进行适当的扩充，有利于各种覆盖率分析的实现。其次，代码植入是覆盖率分析实现的具体手段，如何做到高效、准确的植入，将影响到测试的结果。最后，在上述理论指导下，基于DotNet环境实现了一个自行设计的C＃语言覆盖分析工具。它是测试技术和在.NET发展下的产物，可以用来评价软件测试用例的充分性，也可根据最终的分析结果对程序质量给出评价，因而有助于提高程序开发的效率和质量。