基于动态符号执行的并行化测试数据自动生成的中期报告.docx

基于动态符号执行的并行化测试数据自动生成的中期报告
一、研究目标和背景
软件测试是软件生命周期的重要阶段，测试不光能够发现软件中的错误，更重要的是对软件质量的提高和保障。测试数据是软件测试的重要组成部分，它能够揭示软件中的错误和缺陷，提高软件的可靠性和安全性。但是，测试数据的自动生成一直是软件测试中的一项难题，测试数据的质量和效率会影响到测试的效果和效率。
传统的测试数据生成技术存在以下不足：
1.测试数据缺乏代表性
2.测试数据的数量有限
3.测试数据的生成成本高
因此，本研究基于动态符号执行技术，采用并行化测试数据自动生成方法，提高测试数据的质量和效率，缩短测试时间，并降低测试成本。
二、进展与成果
1.研究现状调研
调研了当前的测试数据生成技术，分析了测试数据生成技术的优缺点，并与符号执行技术进行对比，确定了基于动态符号执行的测试数据生成技术的优势和应用范围。
2.技术方案与创新点
本研究提出了一种基于动态符号执行的并行化测试数据自动生成方法。该方法采用多线程技术，将符号执行过程分多个线程进行，从而提高测试数据生成的效率。创新点主要体现在以下几点：
1.采用动态符号执行技术，能够覆盖软件的各种路径，提高测试数据的质量。
2.采用多线程技术，能够同时生成多组测试数据，提高测试数据生成的效率。
3.实现了自动化测试数据生成，降低测试成本，提高测试效率。
3.实验设计与实验成果
在实验中，我们采用了开源的符号执行工具KLEE，搭建了测试数据生成平台，并设计了多组实验，分别对比了串行化测试数据生成和并行化测试数据生成的效率和质量。
实验结果表明，在测试用例个数相同的情况下，基于动态符号执行的并行化测试数据自动生成能够提高测试用例生成的效率，减少测试时间；并且测试用例的分布更加广泛，覆盖面更广，因此测试数据的质量也得到了提高。
三、结论和展望
通过本研究，我们证明了基于动态符号执行的并行化测试数据自动生成方法的有效性和优越性。未来，我们将进一步完善测试数据生成平台的功能，提高测试数据生成的效率和质量，并探索其在具体软件测试中的应用。