“安利”一款debug神器:在AI面前,bug都不是事兒
作者 | 琥珀
出品 | AI科技大本營(公眾號ID:rgznai100)
為了幫程式設計師解決 bug 問題,Facebook 可算是操碎了心!
你可以這麼想,如果在開發和測試階段沒有發現 bug 問題,那麼 bug 將會隨著產品釋出,在生產環節觸發,其後果將視情況而定。
不久前,一支來自 Facebook 的工程團隊斬獲了 ACM SIGPLAN POPL 最具影響力論文獎,這是機器學習研究社群最受關注的獎項之一。其獲獎論文為“Compositional Shape Analysis by Means of Bi-abduction”,介紹了一款利用機器學習除錯 bug 的工具“Project Infer”背後的科學原理。
為了“安利”這款工具,一位名叫 Jesus Rodriguez 的程式設計師特意撰文詳解了 Infer 的工作流程和科學原理。
文中指出,Infer 基於兩種新的數學技術:分離邏輯(separation logic)和雙向假說推理(bi-abduction)。
傳送連結:https://towardsdatascience.com/machine-learning-for-detecting-code-bugs-a79f37f144b7
據悉,Infer 是 Facebook 旗下一款開源的靜態分析工具,其前身來自被 Facebook 收購後的 Monoidics。官網介紹,Infer 可以分析 Objective-C,Java 或 C 語言程式碼,報告潛在的問題。
截止目前,Infer 已在 GitHub 上獲得 9300+ Star,並被 AWS、Spotify、Uber 等公司採用。
GitHub 連結:https://github.com/facebook/infer
實際上,此前 AI科技大本營(ID:rgznai100)就曾報導過類似的 bug 檢查工具,如 Google 剛剛開源的自動化檢測工具 ClusterFuzz,印度小哥 Gaurav Arora 開發的程式碼測試工具 code-with-ai,以及一鍵程式碼修復神器 The fuck。
值得一提的是,從發現 bug 到修復 bug,Facebook 有一套完整的流程。Facebook 去年新推的工具 SapFix,以及已投入大規模使用的 Sapienz,都是與 Infer 相輔相成的:
首先,靜態分析工具 Infer,會幫助定位程式碼中需要修補的點;一旦 Sapienz 和 Infer 精確定位與崩潰相關的特定程式碼部分之後,就會將該資訊傳遞給 SapFix;最後,SapFix 會參考幾種不同的策略,自動生成補丁。
Infer 主要應用基於 Android 和 iOS 的移動應用程式釋出之前,檢測其程式碼中的 bug。
溫馨提示:程式設計師們可能習慣了熬夜敲程式碼,但有人就總結過:不提倡加班寫程式碼,那樣會導致 bug 率直線上升。
(本文為AI科技大本營原創文章,轉載請微信聯絡 1092722531)
精彩推薦推薦閱讀:
點選“閱讀原文”,開啟CSDN APP 閱讀更貼心。
相關文章
- 在AI面前,Rapper要率先失業了?AIAPP
- 大家都有哪些 golang code 的 debug 的神器推薦?Golang
- 給你安利一款魯班大叔開發的maven依賴搜尋神器Maven
- Debug神器!一條SSH隧道穿透全部伺服器所有埠穿透伺服器
- 在SQL Developer中Debug一個procedureSQLDeveloper
- 在Intellij IDEA中使用DebugIntelliJIdea
- Debug BAPIAPI
- debug exceptionException
- Oracle Debug ---- oradebugOracle
- Debug-Records
- Debug模式應用程式輸出Debug除錯資訊模式除錯
- 教你如何簡單的在windows 10使用DebugWindows
- 在MyEclipse中用debug除錯應用程式Eclipse除錯
- _smu_debug_mode在AUM下的應用
- 一張圖理清計算機常見編碼的關係。ASCII、Unicode都不是事兒計算機ASCIIUnicode
- AS之Debug除錯除錯
- Clang Plugin 之 DebugPlugin
- Code::Blocks Debug配置BloC
- Debug with Android EmulatorAndroid
- How to debug Typescript in browserTypeScript
- rman target / debug trace
- GitHub Star 過萬,這款神器必須安利!Github
- 在 Intellij IDEA 中的 Debug 使用詳解IntelliJIdea
- pl/sql dev在debug時不能單步跟蹤SQLdev
- 寫在專欄前-Java那些事兒Java
- 最近爆火的帥小夥丁真在AI面前顏值多少分?AI
- debug 和 release 應用
- Node程式debug小記
- Error: Debug Failure at typeToStringErrorAI
- IDEA中使用DebugIdea
- redis debug命令詳解Redis
- Debug追蹤eclipseEclipse
- Bash指令碼debug攻略指令碼
- php程式碼debug篇PHP
- Debug 的主要命令
- lisp 支援遠端debugLisp
- C/C++ debug(一)C++
- Flask debug=True 無效Flask