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
      Metode Pembelajaran● Proses belajar dalam kelas ● Penugasan terstruktur dengan studi kasus
      Modalitas Pembelajaran● Pembelajaran tatap muka (audio, visual) ● Pembelajaran daring
      Jenis NilaiABCDE
      Metode Penilaian● Ujian ● Kuis ● Tugas Terstruktur
      Catatan Tambahan