-
公开(公告)号：CN108572915A
公开(公告)日：2018-09-25
申请号：CN201810214186.9
申请日：2018-03-15
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种代码缺陷检测方法，包括：分别计算由代码的故障函数入口到所述代码缺陷检查点之间的第一可达路径集合以及由程序入口到故障函数调用点之间的第二可达路径集合；对所述第一可达路径集合和所述第二可达路径集合所构成的完整路径集合中每一可达路径进行后向约束求解，得到从程序入口到达代码缺陷检查点且疑似触发故障的一组测试用例；基于所述测试用例，对所述代码缺陷进行检测。本发明通过计算故障函数入口到代码缺陷检查点的可达路径和程序入口到故障函数调用点的可达路径，并对完整路径进行后向分段迭代求解，将人从繁重的确认工作中解放出来，而且提高了确认的效率和代码检测技术的实用性。
Search Results
1
records
(took 0.015 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
