Safe Programming

Safe programming adalah bagian dari dependable programming, yaitu pemrograman yang memanfaatkan teknik dan programming constructs yang bisa mendukung fault avoidance dan fault tolerance. Fault pada program biasanya terjadi karena programmer melakukan kesalahan. Bisa kesalahan dalam menginterpretasikan spesifikasi program yang seharusnya dibuat, atau karena program yang over-complex, atau karena penggunaan programming construct yang rawan menyebabkan error.

Salah satu usaha yang dapat dilakukan untuk meningkatkan dependability dari kode program kita adalah dengan menerapkan safe programming, dimana kita menghindar sebanyak mungkin dari penggunaan programming construct yang rawan menyebabkan error. Berikut beberapa contohnya:

• penggunaan floating point number; sering menyebabkan kesalahan saat kita melakukan operasi pembandingan…
• pointers; ini adalah low-level construct yang menunjuk alamat memori
• dynamic memory allocation; memori yang dialokasi saat run-time seringkali lupa untuk didealokasi…
• parallelism; agak sulit memprediksi efek dari interaksi antar proses…
• recursion; konstruksi program memang jadi lebih bersih, tetapi agak sulit menelusuri lojik program…
• penggunaan interrupt yang bisa mengakibatkan terhentinya proses yang kritis…
• inheritance pada OOP yang sulit ditelusuri karena kode yang tersebar…
• dan masih banyak lagi…

Beberapa project yang kritis dengan sengaja melarang penggunaan programming construct yang rawan menyebabkan error ini. Beberapa bahasa pemrograman sudah menghilangkan programming contruct tsb (misalnya Java yang tidak lagi mengenal pointer dan menyediakan mekanisme garbage collection).

Dengan mengetahui adanya beberapa programming construct yang ‘berbahaya’ tersebut, bukan berarti kita harus meninggalkannya. Tapi kita harus lebih berhati-hati dan melakukan pengujian yang lengkap…