РазÑабоÑка меÑода авÑомаÑиÑеÑкого поиÑка оÑибок компилÑÑоÑов ÑзÑков Kotlin и Java, ÑвÑзаннÑÑ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ: вÑпÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑикаÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑабоÑа бакалавÑа
Uloženo v:
| Název: | РазÑабоÑка меÑода авÑомаÑиÑеÑкого поиÑка оÑибок компилÑÑоÑов ÑзÑков Kotlin и Java, ÑвÑзаннÑÑ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ: вÑпÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑикаÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑабоÑа бакалавÑа |
|---|---|
| Informace o vydavateli: | СанкÑ-ÐеÑеÑбÑÑгÑкий полиÑÐµÑ Ð½Ð¸ÑеÑкий ÑнивеÑÑиÑÐµÑ ÐеÑÑа Ðеликого, 2023. |
| Rok vydání: | 2023 |
| Témata: | automatic compiler testing, авÑомаÑиÑеÑкое ÑеÑÑиÑование компилÑÑоÑов, опÑеделение оÑибок ÑвÑзаннÑÑ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ, Ñаззинг, компилÑÑÐ¾Ñ Java, Kotlin compiler, performance related bugs detection, компилÑÑÐ¾Ñ Kotlin, Java compiler, каÑеÑÑво пÑогÑаммного обеÑпеÑениÑ, software quality, fuzzing |
| Popis: | ÐÐ°Ð½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена ÑеÑÐµÐ½Ð¸Ñ Ð¿ÑÐ¾Ð±Ð»ÐµÐ¼Ñ Ð°Ð²ÑомаÑизаÑии вÑÑÐ²Ð»ÐµÐ½Ð¸Ñ Ð¾Ñибок компилÑÑоÑов ÑзÑков Kotlin и Java, ÑвÑзаннÑÑ
Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. РкаÑеÑÑве ÑеализÑемого подÑ
ода иÑполÑзован меÑод Ñаззинга, а Ð´Ð»Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑезÑлÑÑаÑов иÑполÑзован подÑ
од, оÑнованнÑй на запÑÑке и оÑенке вÑемени ÑабоÑÑ ÑкомпилиÑованнÑÑ
пÑогÑамм. Ð ÑабоÑе вÑполнен анализ пÑедмеÑной облаÑÑи и ÑаÑÑмоÑÑÐµÐ½Ñ Ð¾Ð±Ñие меÑÐ¾Ð´Ñ Ð¾Ð¿ÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¾Ñибок компилÑÑоÑов, ÑвÑзаннÑÑ
Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. ÐодÑобно опиÑан меÑод генеÑаÑии ÑеÑÑовÑÑ
пÑогÑамм. РаÑÑмоÑÑена ÑеализаÑÐ¸Ñ Ð¿ÑоÑоÑипа модÑÐ»Ñ Ð°Ð²ÑомаÑиÑеÑкого поиÑка оÑибок компилÑÑоÑов ÑзÑков Kotlin и Java, ÑвÑзаннÑÑ
Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. ÐÑоведено иÑÑледование каÑеÑÑва ÑабоÑÑ Ð¿ÑоÑоÑипа, по ÑезÑлÑÑаÑам коÑоÑого бÑло пÑинÑÑо ÑеÑение о его пÑакÑиÑеÑкой пÑименимоÑÑи. Ð Ñ
оде ÑеÑÑиÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð² компилÑÑоÑе ÑзÑка Kotlin бÑла найдена оÑибка, ÑвÑÐ·Ð°Ð½Ð½Ð°Ñ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. This work is dedicated to solving the problem of automating the detection of compiler errors in Kotlin and Java languages related to performance. The implemented approach is based on fuzzing, and the analysis of the results uses a method that involves running and evaluating the compiled programs performance. The paper analyzes the subject area and considers general methods for determining compiler errors related to performance. The method for generating test programs is described in detail. The implementation of the prototype of the module for automatically detecting performance-related errors in the Kotlin and Java compilers is considered. A study was conducted on the quality of the prototype, the results of which made a decision on its practical applicability. During testing, a performance-related bug was found in the Kotlin language compiler. |
| Druh dokumentu: | Other literature type |
| Jazyk: | Russian |
| DOI: | 10.18720/spbpu/3/2023/vr/vr23-3405 |
| Přístupové číslo: | edsair.doi...........883a1cfe51c20d9d7665e80b0f1bfe67 |
| Databáze: | OpenAIRE |
| Abstrakt: | ÐÐ°Ð½Ð½Ð°Ñ ÑабоÑа поÑвÑÑена ÑеÑÐµÐ½Ð¸Ñ Ð¿ÑÐ¾Ð±Ð»ÐµÐ¼Ñ Ð°Ð²ÑомаÑизаÑии вÑÑÐ²Ð»ÐµÐ½Ð¸Ñ Ð¾Ñибок компилÑÑоÑов ÑзÑков Kotlin и Java, ÑвÑзаннÑÑ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. РкаÑеÑÑве ÑеализÑемого Ð¿Ð¾Ð´Ñ Ð¾Ð´Ð° иÑполÑзован меÑод Ñаззинга, а Ð´Ð»Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑезÑлÑÑаÑов иÑполÑзован Ð¿Ð¾Ð´Ñ Ð¾Ð´, оÑнованнÑй на запÑÑке и оÑенке вÑемени ÑабоÑÑ ÑкомпилиÑованнÑÑ Ð¿ÑогÑамм. Ð ÑабоÑе вÑполнен анализ пÑедмеÑной облаÑÑи и ÑаÑÑмоÑÑÐµÐ½Ñ Ð¾Ð±Ñие меÑÐ¾Ð´Ñ Ð¾Ð¿ÑÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ Ð¾Ñибок компилÑÑоÑов, ÑвÑзаннÑÑ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. ÐодÑобно опиÑан меÑод генеÑаÑии ÑеÑÑовÑÑ Ð¿ÑогÑамм. РаÑÑмоÑÑена ÑеализаÑÐ¸Ñ Ð¿ÑоÑоÑипа модÑÐ»Ñ Ð°Ð²ÑомаÑиÑеÑкого поиÑка оÑибок компилÑÑоÑов ÑзÑков Kotlin и Java, ÑвÑзаннÑÑ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ. ÐÑоведено иÑÑледование каÑеÑÑва ÑабоÑÑ Ð¿ÑоÑоÑипа, по ÑезÑлÑÑаÑам коÑоÑого бÑло пÑинÑÑо ÑеÑение о его пÑакÑиÑеÑкой пÑименимоÑÑи. Ð Ñ Ð¾Ð´Ðµ ÑеÑÑиÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð² компилÑÑоÑе ÑзÑка Kotlin бÑла найдена оÑибка, ÑвÑÐ·Ð°Ð½Ð½Ð°Ñ Ñ Ð¿ÑоизводиÑелÑноÑÑÑÑ.<br />This work is dedicated to solving the problem of automating the detection of compiler errors in Kotlin and Java languages related to performance. The implemented approach is based on fuzzing, and the analysis of the results uses a method that involves running and evaluating the compiled programs performance. The paper analyzes the subject area and considers general methods for determining compiler errors related to performance. The method for generating test programs is described in detail. The implementation of the prototype of the module for automatically detecting performance-related errors in the Kotlin and Java compilers is considered. A study was conducted on the quality of the prototype, the results of which made a decision on its practical applicability. During testing, a performance-related bug was found in the Kotlin language compiler. |
|---|---|
| DOI: | 10.18720/spbpu/3/2023/vr/vr23-3405 |
Nájsť tento článok vo Web of Science