買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網獲悉南京財經大學申請的專利一種基于上下文程序約簡技術的軟件缺陷定位方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN120295896B 。

龍圖騰網通過國家知識產權局官網在2025-08-22發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510774210.4，技術領域涉及：G06F11/362；該發明授權一種基于上下文程序約簡技術的軟件缺陷定位方法是由楊乙霖設計研發完成，并于2025-06-11向國家知識產權局提交的專利申請。

本一種基于上下文程序約簡技術的軟件缺陷定位方法在說明書摘要公布了：本發明公開了一種基于上下文程序約簡技術的軟件缺陷定位方法，該方法采用缺陷定位系統進行工作，該系統包括可疑程序提取模塊、代碼實體處理模塊、缺陷定位模塊，所述可疑程序提取模塊用于將程序活動的堆棧幀生成堆棧追蹤，并在其中提取可疑程序實體，所述代碼實體處理模塊用于解析可疑程序實體，對潛在的有缺陷的代碼實體進行缺陷概率的排名，所述缺陷定位模塊用于對有缺陷的代碼實體進行定位，所述可疑程序提取模塊包括堆棧幀生成模塊、堆棧追蹤分析模塊，所述堆棧幀生成模塊與堆棧追蹤分析模塊電連接；所述堆棧追蹤分析模塊用于從堆棧幀中提取可疑程序實體，本發明，具有語句級缺陷定位的特點。

本發明授權一種基于上下文程序約簡技術的軟件缺陷定位方法在權利要求書中公布了：1.一種基于上下文程序約簡技術的軟件缺陷定位方法，其特征在于：該方法采用缺陷定位系統進行工作，該系統包括可疑程序提取模塊、代碼實體處理模塊和缺陷定位模塊，所述可疑程序提取模塊用于將程序活動的堆棧幀生成堆棧追蹤，并在其中提取可疑程序實體，所述代碼實體處理模塊用于解析可疑程序實體，對潛在的有缺陷的代碼實體進行缺陷概率的排名，所述缺陷定位模塊用于對有缺陷的代碼實體進行定位； 包括以下步驟： S1、記錄系統故障時的程序活動，利用系統提供的API獲取當前執行的堆棧幀信息，堆棧幀記錄了函數調用的順序和位置，利用堆棧幀創建堆棧追蹤，從中提取可疑程序實體； S2、使用正則表達式解析提取的可疑程序實體，將可疑程序實體中的代碼實體劃分為函數名稱、文件名和行號，并分析可疑文件中代碼實體的依賴關系，以推測潛在有缺陷的代碼實體； S3、對相關的代碼實體進行缺陷概率的排名，調整識別缺陷語句的覆蓋率，以覆蓋缺陷概率高的代碼實體，并盡量減少檢索空間； S4、檢測有缺陷的代碼實體，輸出檢測到的缺陷代碼實體及其對應的位置信息，并對檢測到各個缺陷代碼實體的缺陷檢出數量進行統計，對各個代碼實體的缺陷概率進行調整； S5、對代碼實體按照行號進行拆分，將經常出現缺陷的行號區間命名為新的代碼實體，并且使得新的代碼實體參與缺陷概率的排名。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人南京財經大學，其通訊地址為：211000 江蘇省南京市文苑路3號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。