Hasil (
Bahasa Indonesia) 1:
[Salinan]Disalin!
Beberapa kesimpulan dapat ditarik dari data dalam tabel 6,8 oleh SQA personil.Pertama, tidak ada satu alasan untuk diandalkan perangkat lunak, dan tidak ada alat validasi tunggal atau teknik yang mungkin untuk mendeteksi semua jenis kesalahan. Banyak kemungkinan dibahas dalamBab 2 untuk meningkatkan keandalan perangkat lunak. Kedua, kemampuan untuk menunjukkanProgram korespondensi ke spesifikasi tidak membenarkan keyakinan lengkapdalam program kebenaran, karena sejumlah besar kesalahan karena tidak lengkapatau spesifikasi yang keliru, dan dokumentasi program tidak dapatselalu dapat dipercaya. Ketiga, disengaja penyimpangan dari spesifikasi dan pelanggaranstandar pemrograman didirikan lebih sering mengarah ke kesalahan kecil daripada seriuskesalahan. Pada tangan lain, waktu yang tidak valid atau tidak tepat penanganan menyelahampir selalu mengakibatkan kesalahan nyata.
Sedang diterjemahkan, harap tunggu..
