Rangkaian kerja untuk setiap increment

Rangkaian kerja untuk setiap increment

Rangkaian kerja untuk setiap increment

Increment planning. Fungsionalitas setiap increment, proyeksi ukurannya, dan jadwal pengembangan cleanroom dibuat. Rencana kerja ini dikembangkan sebelum increment dimulai.
Requirements gathering. Deskripsi lebih detail tentang level requirement customer untuk setiap increment dikembangkan.
Box structure spesification. Metode spesifikasi yang menggunakan struktur boks [HEV93] digunakan untuk mendeskripsikan spesifikasi fungsional. Secara singkat, struktur boks mengisolasi dan memisahkan definisi tentang perilaku, data, dan prosedur (fungsi) pada tiap level perbaikan. Akan dijelaskan lebih lanjut di bagian lain pembahasan ini.
Formal design. Meskipun dimungkinkan untuk membedakan secara jelas antara dua aktivitas, spesifikasi (disebut black box) berulang-ulang tetap dilakukan.
Correctness verification. Sesuai dengan filosofi yang telah disebutkan sebelumnya, tim cleanroom melakukan banyak sekali akktivitas verifikasi kebenaran. Verifikasi dilakukan dimulai dari level teratas struktur boks hingga ke detail desain dan kode.
Code generation, inspection, and verification. Spesifikasi struktur boks diterjemahkan ke dalam bahasa pemrograman. Teknik inspeksi digunakan untuk memastikan kesesuaian kode dan struktur boks dan kebenaran sintaks kode. Kemudian verifikasi kebenaran dilakukan pada source code.
Statistical test planning. Proyeksi penggunaan software dianalisa dan serangkaian test case direncanakan dan didesain. Aktivitas ini berjalan paralel dengan spesifikasi, verifikasi, dan code generation.
Statistical use testing. Teknik statistical use mengeksekusi serangkaian tes yang diturunkan dari sample statistikal dari semua kemungkinan eksekusi program oleh semua pengguna dari populasi target.
Certification. Ketika verifikasi, inspeksi, dan tes penggunaan selesai dilakukan, increment disertifikasi, yang berarti bahwa siap untuk diintegrasikan dengan increment lain.

Baca Juga  :