X為了獲得更好的用戶體驗,請使用火狐、谷歌、360瀏覽器極速模式或IE8及以上版本的瀏覽器
                  幫助中心 | 關于我們
                  歡迎來到棲霞區技術轉移市場,請 登錄 | 注冊
                  尊敬的 , 歡迎光臨!  [會員中心]  [退出登錄]
                  成果 專家 平臺 需求
                  當前位置: 首頁 >  科技成果  > 詳細頁

                  [00336423]一種基于符號執行的內存泄漏檢測方法

                  交易價格: 面議

                  所屬行業: 分析儀器

                  類型: 發明專利

                  技術成熟度: 通過小試

                  專利所屬地:中國

                  專利號:CN201610184888.8

                  交易方式: 資料待完善

                  聯系人: 南京大學

                  進入空間

                  所在地:江蘇南京市

                  服務承諾
                  產權明晰
                  資料保密
                  對所交付的所有資料進行保密
                  如實描述
                  |
                  收藏
                  |

                  技術詳細介紹

                  本發明針對內存泄漏缺陷,提出一種基于符號執行的內存泄漏檢測方法,首先對于被測試的源代碼,使用靜態分析工具處理,得到靜態內存泄漏警報;然后,把用源代碼和內存泄漏警報,同時輸入插樁器,得到插樁后的代碼。接著,把插樁后的代碼輸入測試用例生成模塊,生成大量測試用例并執行所有測試用例。每個測試用例運行結束后都有對目標內存對象泄漏情況匯報,最后綜合所有測試執行的輸出,對內存泄漏測試結果進行判定。本方法解決了靜態內存泄漏分析的誤報問題和動態測試的漏報問題,并利用符號執行技術生成測試用例,減少了靜態分析內存泄漏結果的人工驗證工作。提高了動態執行的效率。
                  本發明針對內存泄漏缺陷,提出一種基于符號執行的內存泄漏檢測方法,首先對于被測試的源代碼,使用靜態分析工具處理,得到靜態內存泄漏警報;然后,把用源代碼和內存泄漏警報,同時輸入插樁器,得到插樁后的代碼。接著,把插樁后的代碼輸入測試用例生成模塊,生成大量測試用例并執行所有測試用例。每個測試用例運行結束后都有對目標內存對象泄漏情況匯報,最后綜合所有測試執行的輸出,對內存泄漏測試結果進行判定。本方法解決了靜態內存泄漏分析的誤報問題和動態測試的漏報問題,并利用符號執行技術生成測試用例,減少了靜態分析內存泄漏結果的人工驗證工作。提高了動態執行的效率。

                  推薦服務:

                  Copyright © 2018    南京市棲霞區科技成果轉化服務中心    All Rights Reserved    蘇ICP備19034144號-1

                  主辦單位:南京市棲霞區科技成果轉化服務中心        運營商:科易網

                  亚洲免费观看视频,一级黄片_夜夜爽夜夜弄夜夜高潮喷水_日本特一级a黄大片免色一v_看黄色网站在线观看黄色网站呜呜呜呜呜