Analisis dan verifikasi perangkat lunak otomatis

Dalam pengembangan perangkat lunak modern, pengujian manual tidak lagi cukup untuk memastikan bahwa perangkat lunak yang kompleks tetap aman dan bebas bug. Anda memerlukan metode yang sistematis dan otomatis untuk memastikan kode Anda berfungsi sesuai dengan yang diharapkan dalam berbagai kondisi. Kursus ini menyediakan dasar yang kuat dalam analisis otomatis, beralih dari konsep pengujian dasar ke metode verifikasi canggih yang membuktikan perangkat lunak Anda memenuhi persyaratannya. Apa yang akan kau pelajari: - Mengerti konsep inti dari generasi tes otomatis dan verifikasi formal. - Mengenalpasti dan mencegah kerusakan perangkat lunak umum seperti overflow, deadlock, dan kondisi balapan. - Terapkan teknik analisis statis untuk mendeteksi kerentanan dan kesalahan logika sebelum eksekusi kode. - Mengeksplorasi pengujian berbasis properti untuk memvalidasi perilaku perangkat lunak di seluruh jangkauan input yang luas. - Belajar dasar-dasar bukti formal untuk memberikan jaminan matematika dari kebenaran program. - Integrasi alat analisis otomatis ke dalam aliran kerja pengembangan modern untuk mempertahankan kualitas kode yang tinggi. Kurikulum dimulai dengan terminologi dasar dan kerangka kerja logis yang digunakan dalam analisis perangkat lunak. Anda akan maju melalui teori dan aplikasi eksekusi tes otomatis, analisis statis, dan strategi verifikasi formal. Kursus ini dirancang untuk pengembang pemula dan siswa yang ingin bergerak di luar debugging manual; tidak diperlukan pengalaman sebelumnya dengan metode formal. Mulai membangun perangkat lunak yang lebih dapat diandalkan dan aman melalui kekuatan analisis otomatis.