嵌入式覆盖测试工具GammaCP的设计与实现

摘要

随着计算机硬件和软件技术的飞速发展,嵌入式系统的硬件规模和性能得到了极大的提高,相应的,嵌入式系统软件和应用软件的复杂性和规模也日益提高,同时嵌入式系统的特殊性决定了运行在其上的系统和应用软件必须精简高效,稳定可靠,使得软件的开发在整个嵌入式系统开发的中的比重越来越高,软件的质量对整个产品的质量起到了决定性的作用.因此我们迫切需要一种针对嵌入式领域的测试工具来提高软件的质量和可靠性,缩短软件的开发周期.本课题的目标就是设计并实现一种面向嵌入式领域的专业覆盖测试工具.本课题在对当今主流的专业覆盖测试工具及其实现方法进行了细致深入的分析的基础上,结合实际情况确定了课题的技术路线和需求,然后对GNU的覆盖测试工具GCOV作了深入研究,在完全消化吸收其关键技术的基础上,突破了汇编覆盖测试、决策覆盖测试、增益计算等多项关键技术,设计实现了一种在功能、性能上都与当今主流覆盖测试工具具有可比性的嵌入式覆盖测试工具GammaCP.