Untuk jawaban yang lengkap untuk pertanyaan ini, saya akan menekan pemikiran tentang "keandalan kode" dan alih-alih memikirkan "keandalan desain", karena kode tersebut hanyalah ekspresi akhir dari desain.
Jadi, mulailah dengan persyaratan dan tulis serta periksa itu. Jika Anda tidak memiliki dokumen persyaratan, tunjukkan kode acak dan tanyakan pada diri sendiri "mengapa baris itu diperlukan?" Kebutuhan untuk setiap baris kode pada akhirnya harus dapat dilacak ke persyaratan, bahkan jika sesederhana / sejelas "catu daya akan menghasilkan 5VDC jika inputnya antara 12-36VDC." Salah satu cara untuk berpikir tentang hal ini adalah bahwa jika garis kode tidak dapat dilacak ke suatu persyaratan, maka bagaimana Anda tahu itu kode yang benar, atau bahwa itu diperlukan sama sekali?
Selanjutnya, verifikasi desain Anda. Tidak apa-apa jika benar-benar ada dalam kode (misalnya, dalam komentar), tetapi itu membuatnya lebih sulit untuk mengetahui apakah kode tersebut melakukan apa yang benar-benar dimaksudkan. Misalnya, kode mungkin memiliki baris yang bertuliskan output = 3 * setpoint / (4 - (current * 5));
Apakah current == 4/5
input yang valid dapat menyebabkan kerusakan? Apa yang harus dilakukan dalam kasus ini untuk mencegah kesenjangan dengan nol? Apakah Anda menghindari operasi sama sekali atau justru menurunkan output? Memiliki catatan umum dalam dokumen desain Anda tentang cara menangani kasing tepi membuatnya lebih mudah untuk memverifikasi desain di tingkat yang lebih tinggi. Jadi, sekarang inspeksi kode lebih mudah karena masalah memeriksa apakah kode tersebut benar mengimplementasikan desain itu.
Bersamaan dengan itu, inspeksi kode harus memeriksa kesalahan umum yang tidak ditangkap oleh IDE Anda (Anda menggunakan IDE, kan?) Seperti '=' ketika Anda bermaksud '==', kawat gigi yang hilang yang mengubah arti 'jika Pernyataan, titik koma di mana mereka seharusnya tidak, dll.
Ketika saya menulis ini, terpikir oleh saya bahwa sangat sulit untuk meringkas tahun pelatihan / pengalaman kualitas perangkat lunak dalam satu posting. Saya menulis kode untuk perangkat medis dan di atas adalah ringkasan yang sangat disederhanakan tentang bagaimana kami mendekatinya.