Mata Kuliah IF5220 - 2026

Kode Mata KuliahIF5220 / 3 SKS
Penyelenggara235 - Informatika / STEI
KategoriKuliah
Bahasa IndonesiaEnglish
Nama Mata KuliahKualitas Perangkat LunakSoftware Quality
Bahan Kajian
  1. Dasar-dasar Kualitas Perangkat Lunak
  2. Proses Manajemen Kualitas Perangkat Lunak
  3. Pertimbangan Praktis
  4. Alat Bantu Kualitas Perangkat Lunak
  5. Dasar-dasar Pengujian Perangkat Lunak
  6. Tingkat Pengujian
  7. Teknik Pengujian
  8. Pengukuran terkait Pengujian
  9. Proses Pengujian
  10. Alat Bantu Pengujian Perangkat Lunak
  11. Bahasa Spesifikasi
  12. Program refinement and derivation
  13. Verifikasi Formal
  14. Logical inference
    Capaian Pembelajaran Mata Kuliah (CPMK)
    1. Mampu merencanakan proses penjaminan kualitas
    2. Mampu merencanakan pengujian perangkat lunak
    3. Mampu melakukan pengujian perangkat lunak dengan berbagai tingkat dan teknik tertentu, dengan menggunakan alat bantu yang tepat
    4. Mampu merencanakan verifikasi formal
    5. Mampu melakukan verifikasi formal
    6. Mampu mempresentasikan hasil pengujian yang telah dilakukan
    1. Able to plan the quality assurance process
    2. Able to plan software testing
    3. Able to do software testing with various levels and techniques, using the right tools
    4. Able to plan formal verification
    5. Able to do formal verification
    6. Able to present the test results
    Metode PembelajaranProses belajar dalam kelas Penugasan terstruktur dengan studi kasus
    Modalitas PembelajaranPembelajaran tatap muka (audio, visual) Pembelajaran daring
    Jenis NilaiABCDE
    Metode PenilaianUjian Kuis
    Catatan Tambahan