随着时代发展,人们对软件质量要求越来越高,模糊测试作为一种重要的技术,在软件质量保证上起到了积极的作用。但是随着软件规模越来越大,传统的模糊测试技术面临测试效率和准确性等方面的新挑战,为此,研究者们挖掘程序的内部结构,争取构造有效的模糊测试用例,即高覆盖率的测试用例。在这一目标的驱动下,研究者提出了各种具体实现的技术。由于具备不需要源代码、低误报率、测试用例生成等特点,基于混合执行的二进制程序模糊测试技术得到了广泛的研究和应用。它主要使用动态污点分析等技术挖掘程序内部的构造,在此基础上,使用符号执行技术进行高覆盖率的测试用例生成。但是目前基于混合执行的二进制程序模糊测试系统存在一个问题:研究者们广泛关注于测试用例覆盖问题,但是忽略了测试用例的漏洞触发能力,即缺少相应的漏洞触发建模,即使覆盖了较多路径,其生成可触发漏洞的测试用例的可能性也比较低。为了解决这一问题,本文提出了一个利用污点分析和符号执行进行漏洞建模的方法TSM,即基于漏洞触发模式生成测试用例的方法。在充分使用原先基于混合执行的二进制程序模糊测试系统框架的前提下,扩展污点分析能力,从而构建漏洞触发模式,在漏洞模式匹配成功之后,利用污点分析结果进行可触发漏洞的测试用例约束构建,最后使用符号执行技术生成可触发漏洞的测试用例。实验和测试表明,本文提出的TSM漏洞建模方法能够有效提升基于混合执行的二进制程序模糊测试系统的漏洞触发能力。