Kode Mata Kuliah | IF5220 / 3 SKS |
---|
Penyelenggara | 235 - Informatika / STEI |
---|
Kategori | Kuliah |
---|
| 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 | | |
---|