ADSENSE Link Ads 200 x 90
ADSENSE 336 x 280
Metode Pengembangan Perangkat Lunak Model Formal
Kali ini aku akan membahas mengenai metode pengembangan perangkat lunak model formal. Diantara semua metode yang ada, yang paling sering digunakan dan digunakan yakni metode ini alasannya dengan model formal didapat penyelesaian permasalahan yang pas dan sempurna tetapi ada beberapa yang faktor yang menciptakan metode ini tidak cocok untuk beberapa pengembangan perangkat lunak jenis lain.
Metode pengembangan perangkat lunak model formal mencangkup sekumpulan acara yang membawa kepada spesifikasi matematis perangkat lunak computer. Metode ini memungkinkan perekayasa perangkat lunak untuk mengkhususkan, mengembangkan, dan memverifikasi system berbasis computer dengan memakai notasi matematis yang tepat.variasi dalam pendekatan ini, disebut clean-room rekayasa perangkat lunak, sedang diaplikasikan oleh banyak organisasi pengembang perangkat lunak.
Bila metode pengembangan perangkat lunak model formal digunakan selama masa pengembangan, maka akan memperlihatkan prosedur untuk mengeliminasi banyak duduk masalah yang sulit dipecahkan memakai paradigma perangkat lunak yang lain. Ambiguitas, ketidaklengkapan, dan ketidak-konsistenan sanggup ditemukan dan diperbaiki secara mudah, tidak melalui kajian ad hoc tetapi melalui aplikasi analisis matematis. Jika metode ini digunakan selama proses perancangan, maka berfungsi sebagai dasar bagi verifikasi acara sehingga memungkinkan perekayasa untuk menemukan dan memperbaiki kesalahan yang mungkin saja tidak terdeteksi.
Metode pengembangan perangkat lunak model formal akan banyak memperoleh penganut diantara pengembang perangkat lunak yang harus membangun perangkat lunak yang kritis untuk keselamatan (misal : pengembangan perangkat medis, dan penerbangan pesawat), serta diantara yang harus menderita alasannya faktor hemat yang harus dialami oleh perangkat lunak.
Metode pengembangan perangkat lunak model formal mencangkup sekumpulan acara yang membawa kepada spesifikasi matematis perangkat lunak computer. Metode ini memungkinkan perekayasa perangkat lunak untuk mengkhususkan, mengembangkan, dan memverifikasi system berbasis computer dengan memakai notasi matematis yang tepat.variasi dalam pendekatan ini, disebut clean-room rekayasa perangkat lunak, sedang diaplikasikan oleh banyak organisasi pengembang perangkat lunak.
Bila metode pengembangan perangkat lunak model formal digunakan selama masa pengembangan, maka akan memperlihatkan prosedur untuk mengeliminasi banyak duduk masalah yang sulit dipecahkan memakai paradigma perangkat lunak yang lain. Ambiguitas, ketidaklengkapan, dan ketidak-konsistenan sanggup ditemukan dan diperbaiki secara mudah, tidak melalui kajian ad hoc tetapi melalui aplikasi analisis matematis. Jika metode ini digunakan selama proses perancangan, maka berfungsi sebagai dasar bagi verifikasi acara sehingga memungkinkan perekayasa untuk menemukan dan memperbaiki kesalahan yang mungkin saja tidak terdeteksi.
Metode pengembangan perangkat lunak model formal akan banyak memperoleh penganut diantara pengembang perangkat lunak yang harus membangun perangkat lunak yang kritis untuk keselamatan (misal : pengembangan perangkat medis, dan penerbangan pesawat), serta diantara yang harus menderita alasannya faktor hemat yang harus dialami oleh perangkat lunak.
Metode Pengembangan Perangkat Lunak Model Formal
Metode ini memiliki keterbatasan dalam pemakaiannya. Keunggulan dari metode pengembangan perangkat lunak model formal ini yakni mengurangi jumlah kesalahan pada sistem sehingga penggunaan utamanya yakni pada sistem yang kritis. Hal ini menjadi efektif dari segi biaya.
Pemakaian model pengembangan formal memerlukan tingkat kerahasian sebelum digunakan. Sedangkan permasalahan dalam metode pengembangan perangkat lunak model formal:
- Pengembangan model formal banyak memakan waktu dan mahal.
- Karena beberapa pengembang perangkat lunak perlu memiliki latar belakang yang dibutuhkan untuk mengaplikasikan metode formal, maka dibutuhkan pembinaan yang ekstensif.
- Sulit untuk memakai model – model sebagai sebuah prosedur komunikasi bagi pemakai yang secara teknik belum canggih.
Sumber : modul rekayasa perangkat lunak ITS
0 Response to "Metode Pengembangan Perangkat Lunak Model Formal"
Posting Komentar