CITADEL: Context Similarity Based Deep Learning Framework Bug Finding

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Zhang, Xiaoyu, Zhai, Juan, Ma, Shiqing, Wang, Shiwei, Shen, Chao
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866914116715675648
author Zhang, Xiaoyu
Zhai, Juan
Ma, Shiqing
Wang, Shiwei
Shen, Chao
author_facet Zhang, Xiaoyu
Zhai, Juan
Ma, Shiqing
Wang, Shiwei
Shen, Chao
contents With the application of deep learning technology, tools of DL framework testing are in high demand. Existing DL framework testing tools have limited coverage of bug types. For example, they lack the capability of effectively finding performance bugs, which are critical for DL models regarding performance, economics, and the environment. Moreover, existing tools are inefficient, generating hundreds of test cases with few trigger bugs. In this paper, we propose Citadel, a method that accelerates bug finding in terms of efficiency and effectiveness. We observe that many DL framework bugs are similar due to the similarity of operators and algorithms belonging to the same family. Orthogonal to existing bug-finding tools, Citadel aims to find new bugs that are similar to reported ones that have known test oracles. Citadel defines context similarity to measure the similarity of DL framework API pairs and automatically generates test cases with oracles for APIs that are similar to the problematic APIs in existing bug reports. Citadel effectively detects 58 and 66 API bugs on PyTorch and TensorFlow (excluding those rejected by developers or duplicates of prior reports), many of which, e.g., 13 performance bugs, cannot be detected by existing tools. Moreover, 35.40% of test cases generated by Citadel can trigger bugs significantly transcending the state-of-the-art method (3.90%).
format Preprint
id arxiv_https___arxiv_org_abs_2406_12196
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
Zhang, Xiaoyu
Zhai, Juan
Ma, Shiqing
Wang, Shiwei
Shen, Chao
Software Engineering
With the application of deep learning technology, tools of DL framework testing are in high demand. Existing DL framework testing tools have limited coverage of bug types. For example, they lack the capability of effectively finding performance bugs, which are critical for DL models regarding performance, economics, and the environment. Moreover, existing tools are inefficient, generating hundreds of test cases with few trigger bugs. In this paper, we propose Citadel, a method that accelerates bug finding in terms of efficiency and effectiveness. We observe that many DL framework bugs are similar due to the similarity of operators and algorithms belonging to the same family. Orthogonal to existing bug-finding tools, Citadel aims to find new bugs that are similar to reported ones that have known test oracles. Citadel defines context similarity to measure the similarity of DL framework API pairs and automatically generates test cases with oracles for APIs that are similar to the problematic APIs in existing bug reports. Citadel effectively detects 58 and 66 API bugs on PyTorch and TensorFlow (excluding those rejected by developers or duplicates of prior reports), many of which, e.g., 13 performance bugs, cannot be detected by existing tools. Moreover, 35.40% of test cases generated by Citadel can trigger bugs significantly transcending the state-of-the-art method (3.90%).
title CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
topic Software Engineering
url https://arxiv.org/abs/2406.12196