C程序测试数据生成与死循环检测研究的中期报告.docxVIP

C程序测试数据生成与死循环检测研究的中期报告 摘要： 本文介绍了C程序测试数据生成与死循环检测研究的中期工作进展。首先，对已有的C程序测试数据生成技术进行了综述，包括随机生成、符号执行等方法，分析了各种方法的优缺点和适用场景。接着，介绍了本文提出的测试数据生成方法，该方法结合了随机生成和符号执行的优点，能够生成更具有代表性和覆盖率的测试数据。最后，讨论了死循环检测的问题，分析了现有的死循环检测技术的限制和局限，并提出了一种基于程序执行路径的死循环检测方法。 关键词：C程序；测试数据生成；死循环检测；符号执行；程序执行路径。 Abstract: This paper introduces the mid-term progress of the research on C program test data generation and infinite loop detection. Firstly, the existing C program test data generation technology was reviewed, including random generation, symbolic execution and other methods, and the advantages, disadvantages and application scenari