Metode Formal

Dalam Dunia Rekayasa Perangkat Lunak Metoda Formal Adalah suatu pemodelan matematika yang dapat digunakan untuk menghubungkan pembuatan,pengembangan dan verifikasi perangkat keras dan piranti lunak,yang dapat digunakan dari perancangan awal sampai pengujian hasil.Penggunaan Metoda formal untuk perancangan piranti lunak dan perangkat keras didasari atas suatu pengharapan ,sebagaimana terdapat dalam disiplin ilmu ilmu rekayasa lainnya,dengan melaksanakan analisa matematis yang sesuai dapat berkontribusi pada kepercayaan dan ketahanan (robusitas) suatu rancangan.Metoda Formal merupakan teknik dan notasi dari persyratan perangkat lunak yang tidak ambigu.Sasaran dari penggunaan Metoda Formal dalam perangkat lunak adalah :

• Menghindari ambiguitas,konsisten,lengkap dan dapat dibuktikan kebenarannya
• Spesifikasi persyaratan : Hal ini dimaksudkan untuk Untuk mengklarifikasi persyratan customer serta mengungkapkan ambiguitas,ketidakkonsistenan dan ketidaklengkapan
• Desain system/perangkat lunak:

1. Spesifikasi structural dari relasi antar komponen
2. Spesifikasi perilaku dari komponen

• Verifikasi Hal ini ditujukan untuk :

1. Apakah kita telah membangun system dengan benar atau tidak
2. Membuktikan bahwa realisasi sesuai dengan spesifikasi

• Validasi hal ini ditujukan untuk :

1. Apakah system yang dibangun sesuai permintaan atau tidak
2. Test dan debugging

• Dokumentasi berguna pada saat Komunikasi dengan stakeholder

Ada beberapa alasan mengapa developer menggunakan metode formal diantaranya :

1. Metoda formal memiliki kemampuan untuk meningkatkan kualitas dan produktifitas dalam pembangunan perangkat lunak,diantaranya kemampuan :
2. Meningkatkan pendeteksian error sejak awal
3. Membangun system perangkat lunak yang aman,handal,dan terjamin
4. Memfasilitasi pengujian dari implementasi
5. Memungkinkan dilakukannya simulasi,animasi,pembuktian,eksekusi dan transformasi
6. Untuk memastikan bahwa system telah memenuhi standard dan peraturan

Penggunaan metoda formal bukannnya tidak punya kendala,ada beberapa kendala yang menyebabkan beberapa pengembang perangkat lunak tidak mau menggunakan metoda formal diantaranya :
1) Metoda Formal yang notabene merupakan teknologi baru belum pasti hasil baliknya
2) Minimnya pengalaman pihak developer dalam hal pembuktian keberhasilan
3) Kurangnya dukungan otomasi
4) Tool yang ada sekarang tidak user friendly
5) Kurva pembelajaran yang tinggi
6) Dibutuhkan kemampuan matematika dan kesempurnaan yang baik
7) Pengguna teknik metoda formal masih minim
8) Sangat sulit diukur
Metoda formal tidak hanya berguna bagi system safety critical tapi juga bagi semua system,pada beberapa kasus metoda formal bukan meningkatkan biaya pembangunan,tapi justru sebaliknya.ada pula beberapa anggapan yang mengatakan bahwa metoda formal sangat sulit diterima user dan tidak bisa digunakan dalam pengembangan perangkat lunak yang berskala besar,justru sebaliknya user menganggap bahwa metode formal sangat membantu asalkan dipresentasikan dengan baik bahkan metoda formal banyak cabang diindustri.Sekalipun metoda formal dapat menjamin kesempurnaan dari perangkat lunak akan tetapi apakah metoda formal dapat memastikan spec yang dibangun sempurna,mungkin saja tidak mungkin saja bisa.