一种面向C/C++并发程序库的测试用例生成方法

本发明公开了一种面向C/C++并发程序库的测试用例生成方法，涉及软件测试与程序分析技术领域。该方法包括：对程序库进行静态分析，识别线程对共享资源的读写与加锁操作以提取并发关键点；基于函数指针分析构建函数调用图；结合关键点与调用关系推断可能的并发调用序列；通过关键点丰富度指数等指标对测试用例进行排序与评估；借助大语言模型智能合成并发单元测试代码；并基于模糊测试技术与Read‑from关系反馈自动生成测试输入数据。所述方法可广泛适用于缺乏上下文信息的C/C++库场景，自动化程度高，覆盖率优异，能有效辅助发现并发程序中的潜在缺陷，显著提升软件测试效率与质量。