-
公开(公告)号：CN119537200A
公开(公告)日：2025-02-28
申请号：CN202411323086.1
申请日：2024-09-23
Applicant: 北京交通大学
IPC: G06F11/3668 , G06F18/27 , G06F18/214
Abstract: 本发明涉及自动化测试领域，提供了一种程序符号执行测试方法、装置及设备，该方法包括：获取待测程序，通过多个训练好的预测模型对待测程序进行符号执行测试，得到多个测试结果；将每个预测模型的测试结果进行合并得到最终测试结果；训练好的预测模型为根据训练集训练得到，训练集为程序集合。本发明解决了现有技术中现有技术中单一启发式方法难以全面覆盖程序路径的缺陷，实现了对待测程序进行高效、全面的符号执行测试，提高了测试覆盖率。
Search Results
1
records
(took 0.012 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
