OffSide: Learning to Identify Mistakes in Boundary Conditions
| Autor: | Georgios Gousios, Jón Arnar Briem, Pavel Rapoport, Maurício Aniche, Jordi Smit, Hendrig Sellik |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
machine learning for software testing
Source code Computer science media_common.quotation_subject Context (language use) 02 engineering and technology Machine learning computer.software_genre Software boundary testing 020204 information systems 0202 electrical engineering electronic engineering information engineering Code (cryptography) Boundary value problem media_common machine learning for software engineering business.industry 020207 software engineering Boundary testing software testing Software testing Artificial intelligence deep learning for software testing business computer software engineering |
| Zdroj: | ICSEW'20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops ICSEW'20 ICSE (Workshops) |
| Popis: | Mistakes in boundary conditions are the cause of many bugs in software. These mistakes happen when, e.g., developers make use of '' in cases where they should have used '='. Mistakes in boundary conditions are often hard to find and manually detecting them might be very time-consuming for developers. While researchers have been proposing techniques to cope with mistakes in the boundaries for a long time, the automated detection of such bugs still remains a challenge. We conjecture that, for a tool to be able to precisely identify mistakes in boundary conditions, it should be able to capture the overall context of the source code under analysis. In this work, we propose a deep learning model that learn mistakes in boundary conditions and, later, is able to identify them in unseen code snippets. We train and test a model on over 1.5 million code snippets, with and without mistakes in different boundary conditions. Our model shows an accuracy from 55% up to 87%. The model is also able to detect 24 out of 41 real-world bugs; however, with a high false positive rate. The existing state-of-the-practice linter tools are not able to detect any of the bugs. We hope this paper can pave the road towards deep learning models that will be able to support developers in detecting mistakes in boundary conditions. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|