Studi Tentang Bug Dan Desain Sistem Alat Deteksi Bug Otomatis Untuk Framework Ray

Syairozi, Muhammad Dzikri Fakhrizal (2024) Studi Tentang Bug Dan Desain Sistem Alat Deteksi Bug Otomatis Untuk Framework Ray. Other thesis, Institut Teknologi Sepuluh Nopember.

Text 5025201201-Undergraduate_Thesis.pdf - Accepted Version Restricted to Repository staff only until 1 April 2026. Download (3MB) | Request a copy

Abstract

Kerangka kerja komputasi terdistribusi seperti Ray diperlukan untuk meningkatkan kinerja aplikasi. Di lain sisi, hal ini menimbulkan tantangan signifikan dalam pengembangannya. Untuk mengatasi ini, penelitian ini berfokus pada pemanfaatan teknik pengujian seperti fuzzing dan pemeriksaan model untuk mendeteksi dan mengurangi bug di dalam kerangka kerja Ray. Dengan mempelajari bug masa lalu, uji unit, dan dokumentasi sistem, penelitian ini mengidentifikasi properti keamanan yang mengarah pada pembuatan abstraksi untuk menentukan desain sistem terhadap alat deteksi bug otomatis. Penelitian ini memanfaatkan tiga peluang kunci: analisis kategorisasi bug, lingkungan pengujian terkontrol, dan prioritas pemantauan pola sebuah bug muncul. Hasilnya adalah sebuah studi yang akan membantu membimbing pengembangan alat otomatis yang disesuaikan untuk Ray, bertujuan untuk meningkatkan keandalan dan menyederhanakan pengembangan aplikasi terdistribusi, sehingga berkontribusi pada pembangunan sistem terdistribusi yang lebih baik.
=================================================================================================================================
Distributed computation frameworks like Ray are pivotal in application performance and fault tolerance but pose significant development challenges. This research focuses on harnessing advanced testing techniques such as fuzzing and model checking to detect and mitigate bugs within the Ray framework. By studying past bugs, unit tests, and system documentation, it identifies essential distributed safety and liveness properties, leading to the creation of abstractions for determining design system of automatic bug detection tools. The research capitalizes on three key opportunities: bug categorization analysis, controlled testing environments, and the priority of monitoring patterns in which bug appears. The outcome is a study that will help guide the development of an automated tool tailored for Ray, aimed at enhancing reliability and simplifying distributed applications' development, thus contributing to building more robust distributed systems.

Item Type:	Thesis (Other)
Uncontrolled Keywords:	Kerangka Kerja Ray, Teknik Pengujian, Kategorisasi Bug, Pengujian Terkontrol, Alat Deteksi Bug, Ray Framework, Testing Techniques, Bug Categorization, Controlled Testing, Bug Detection Tools.
Subjects:	T Technology > T Technology (General) > T11 Technical writing. Scientific Writing T Technology > T Technology (General) > T385 Visualization--Technique T Technology > T Technology (General) > T58.8 Productivity. Efficiency
Divisions:	Faculty of Intelligent Electrical and Informatics Technology (ELECTICS) > Informatics Engineering > 55201-(S1) Undergraduate Thesis
Depositing User:	Muhammad Dzikri Fakhrizal Syairozi
Date Deposited:	07 Feb 2024 19:32
Last Modified:	07 Feb 2024 19:32
URI:	http://repository.its.ac.id/id/eprint/106582

Actions (login required)

View Item