基於抽象語法樹的陣列形狀錯誤偵測;Array Shape Error Detection Based on Abstract Syntax Tree

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/89917

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/89917

题名:	基於抽象語法樹的陣列形狀錯誤偵測;Array Shape Error Detection Based on Abstract Syntax Tree
作者:	高健文;Kao, Chien-Wen
贡献者:	資訊工程學系
关键词:	抽象語法樹;靜態分析;形狀錯誤
日期:	2022-08-09
上传时间:	2022-10-04 12:04:49 (UTC+8)
出版者:	國立中央大學
摘要:	隨著深度學習相關領域的熱門，程式碼中的陣列形狀錯誤也越來越常見，陣列形狀錯誤是一種在進行陣列相關操作時由於形狀不匹配或是存取了形狀外的位址所造成的錯誤，在Python 中，由於其程式語言的特性，使的陣列形狀錯誤只能在程式碼執行時才檢查出來。在本研究中，我們提出一種基於抽象樹分析的靜態分析器，並利用抽象直譯器的概念僅針對程式碼中的陣列形狀資訊作處理以檢查形狀錯誤。透過靜態檢查器不只可以更快的發現錯誤並修正而且相比於直接執行程式碼也能更加節省資源。在現有研究Pytropos 中對於無法單純由程式碼中得知形狀訊息的外部資料集使用型別提示(Type Hint) 的方式讓檢查工具獲得足夠的資訊來協助檢查，而我們提出另一種做法針對CSV 檔可以快速有效的取得外部資料集形狀資訊，並在錯誤報告中提供詳細的陣列形狀資訊讓使用者可以更方便的追蹤錯誤以利除錯，我們將此工具命名為ShapeChecker。;With the popularity of deep learning related fields, array shape errors in code are becoming more and more common. Array shape error is an error caused by mismatching shapes or accessing addresses outside the shape during array-related operations. In Python, due to the characteristics of its programming language, the array shape error can only be detected when the code is executed. In this study, we propose a static analyzer based on abstract tree analysis, and use the concept of abstract interpreter to process only the array shape information in the code to check for shape errors. Not only can bugs be found and fixed faster through static checkers, but they can also save more resources than running the code directly. In the existing research Pytropos, the type-hint method is used for external data sets whose shape information cannot be obtained simply from the code, so that the inspection tool can obtain enough information to assist the inspection. And we propose another method to quickly and effectively obtain the shape information of external data sets for CSV files. And provide detailed array shape information in the error report to make it easier for users to track errors for debugging. We named this tool ShapeChecker.
显示于类别:	[資訊工程研究所] 博碩士論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	35	检视/开启

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing

数据加载中.....