Ketepatan

Apa itu Benar?

Kebenaran dari perspektif rekayasa perangkat lunak dapat didefinisikan sebagai ketaatan pada spesifikasi yang menentukan bagaimana pengguna dapat berinteraksi dengan perangkat lunak dan bagaimana perangkat lunak harus berperilaku ketika digunakan dengan benar.

Jika perangkat lunak berperilaku tidak benar, mungkin diperlukan banyak waktu untuk menyelesaikan tugas atau terkadang tidak mungkin untuk mencapainya.

Aturan penting:

Di bawah ini adalah beberapa aturan penting untuk pemrograman yang efektif yang merupakan konsekuensi dari teori kebenaran program.

• Mendefinisikan masalah sepenuhnya.

• Kembangkan algoritme dan kemudian logika program.

• Gunakan kembali model yang telah terbukti sebanyak mungkin.

• Buktikan kebenaran algoritme selama fase desain.

• Pengembang harus memperhatikan kejelasan dan kesederhanaan program Anda.

• Memverifikasi setiap bagian dari program segera setelah dikembangkan.