Satuan
1. Pengantar Kecerdasan Buatan dan Disiplin Verifikasi Teknik Komputer
2. Analisis Persyaratan dan Desain Perangkat Lunak
3. Pengodean dan Memasangkan Pemrograman dengan AI
4. Tinjauan Kode, Refactoring, dan Hutang Teknis
5. Debugging dan Pemecahan Masalah
6. Uji Otomatisasi dan Jaminan Kualitas
7. Struktur Data, Algoritma dan Kinerja
8. Basis Data, SQL dan Pemodelan Data
9. API, Arsitektur Sistem dan Cloud
10. Kode Aman, Pemodelan Ancaman, dan Analisis Kerentanan
11. Dokumentasi, DevOps dan Otomatisasi CI/CD
12. Batasan: Keamanan, Privasi, Lisensi dan Etika
Satuan 10 / 12
Kode Aman, Pemodelan Ancaman, dan Analisis Kerentanan
Keuntungan:
- Kemampuan untuk mengenali kerentanan keamanan umum (injeksi, otentikasi, kebocoran informasi rahasia) dengan dukungan AI
- Kemampuan untuk mengekstrak model ancaman sederhana untuk suatu komponen dalam format terstruktur AI
- Kemampuan untuk memvalidasi rekomendasi keamanan AI terhadap standar saat ini dan pengujian nyata