IEEE将软件测试定义为:使用人工或自动手段来运行或测定某个系统的过程,其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。作为保证软件质量最为有效的测试技术,已经越来越引起软件用户及开发人员的关注。据统计,目前在软件开发总成本中,用在测试上的开销要占30%~50%。而嵌入式应用系统由于受到系统环境的限制,难以用传统的方法对其进行测试,嵌入式系统本身所持有的一些要求,如实时性强、系统资源占用率高,都对测试技术提出了更高的要求。测试本身是一项十分繁重的工作,纯粹手工测试已无法满足大规模软件的需求,越来越多的测试工作需要测试工具的支持。在已有的测试工具中,源代码测试工具有着重要的应用。而C语言作为一种表达能力强、目标代码效率高、可移植性好的语言,在软件开发中得到普遍使用。本文提供了源代码自动分析测试的一整套解决方案,提出了一种基于程序插桩的动态测试框架,分析了C程序流图PFG的构造方法,并在此基础上提出了两种利用二分决策图的方法来自动生成条件判定测试用例,通过对这两个方法进行了对比,说明这两种方法的优缺点。然后利用上述方法得出的测试用例集对C语言源程序进行各种情况下的覆盖率分析,并建立了利用MDP模型来评估测试用例的选择和使用。