| Kode Mata Kuliah | IF5220 / 3 SKS |
|---|
| Penyelenggara | 235 - Informatics / STEI |
|---|
| Kategori | Lecture |
|---|
| Bahasa Indonesia | English |
|---|
| Nama Mata Kuliah | Kualitas Perangkat Lunak | Software Quality |
|---|
| Bahan Kajian | - Dasar-dasar Kualitas Perangkat Lunak
- Proses Manajemen Kualitas Perangkat Lunak
- Pertimbangan Praktis
- Alat Bantu Kualitas Perangkat Lunak
- Dasar-dasar Pengujian Perangkat Lunak
- Tingkat Pengujian
- Teknik Pengujian
- Pengukuran terkait Pengujian
- Proses Pengujian
- Alat Bantu Pengujian Perangkat Lunak
- Bahasa Spesifikasi
- Program refinement and derivation
- Verifikasi Formal
- Logical inference
|
|
|---|
| Capaian Pembelajaran Mata Kuliah (CPMK) | - Mampu merencanakan proses penjaminan kualitas
- Mampu merencanakan pengujian perangkat lunak
- Mampu melakukan pengujian perangkat lunak dengan berbagai tingkat dan teknik tertentu, dengan menggunakan alat bantu yang tepat
- Mampu merencanakan verifikasi formal
- 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 Nilai | ABCDE |
|---|
| Metode Penilaian | ● Ujian
● Kuis
● Tugas Terstruktur | |
|---|
| Catatan Tambahan | | |
|---|