Verifikasi - proses software memvalidasi

Istilah "verifikasi" dan "validasi" sangat sering digunakan dalam literatur teknis dan terkait dengan kualitas analisis perangkat lunak apapun. Dalam literatur ilmiah ada berbagai interpretasi dari konsep-konsep ini. Jadi, cobalah untuk melihat ke dalam masalah.

Yang paling tepat, dalam pandangan kami, adalah definisi berikut. Validasi dan verifikasi - adalah kegiatan yang bertujuan untuk melaksanakan kontrol kualitas dari perangkat lunak untuk mendeteksi kesalahan pada tahap awal itu. Akan terlihat bahwa mereka memiliki tujuan bersama. Namun, spesies ini memiliki perbedaan dalam sumber-sumber dari sifat diverifikasi, pembatasan dan peraturan, pelanggaran yang dapat dianggap sebuah kesalahan.

Verifikasi - cek kesesuaian perangkat lunak dokumentasi teknis yang disediakan oleh spesifikasi kebutuhan, arsitektur atau model domain. Dalam "tugas" dari istilah disertakan dan prosedur perhitungan dibandingkan dengan proses pembangunan, aturan dan standar.

verifikasi data dapat dilakukan untuk mengatur fungsi dari program kepatuhan menetapkan standar, persyaratan, desain, dan dokumentasi pengguna. Dalam hal ini, pra-inspeksi wajib dikenakan dokumen-dokumen, yang dibandingkan dengan kepatuhan mereka dengan standar dan peraturan yang ditetapkan di negara di mana perangkat lunak dioperasikan. Hal ini diperlukan untuk mempertimbangkan dan menghormati semua urutan dari operasi yang dilakukan.

Dalam hal kesalahan atau cacat dalam program atau ada pertentangan antara dokumen yang disebutkan di atas dan fungsi saat program keputusan pada pilihan alat untuk koreksi harus menjadi solusi untuk tugas tertentu.

Tidak seperti validasi verifikasi bertanggung jawab untuk memverifikasi sesuai dengan kebutuhan perangkat lunak maju atau disertai atau kebutuhan pelanggan atau pengguna. kebutuhan ini sering tidak tercatat dalam dokumen apapun. Itulah sebabnya validasi kurang formal daripada verifikasi. Ini adalah proses di mana wakil-wakil dari pelanggan, pengguna, dan juga dapat menghadiri analis atau ahli di bidang subjek. Dengan kata lain, orang-orang yang dapat mengekspresikan kebutuhan spesifik dan kebutuhan nyata para pemangku kepentingan.

Verifikasi - adalah jawaban untuk pertanyaan "Apakah perangkat lunak benar dibuat?", Dan validasi - "? Akankah perangkat lunak yang tepat".

Saat mencari jawaban atas pertanyaan-pertanyaan ini, Anda mungkin menemukan bahwa validasi (atau sertifikasi) konten diatur sedikit lebih lebar dari cek (verifikasi). Namun, verifikasi terkait erat dengan memastikan kontrol atas kualitas produk perangkat lunak.

Misalnya, verifikasi program komputer menyediakan sebuah proses di mana dasar tujuannya adalah untuk memastikan bahwa memenuhi persyaratan ini, khususnya yang diperoleh siklus hidup produk, dengan yang diperoleh pada langkah sebelumnya.

Jika kita berbicara tentang verifikasi model yang, di sini kita akan fokus pada verifikasi tampilan yang benar dari model komputer yang dibutuhkan konseptual atau model matematika.

Ketika kode sistem verifikasi menganalisa sumber coding dan memverifikasi keterangan yang cocok dokumenter.

Proses verifikasi dapat mencakup operasi yang terdiri dari perhitungan alternatif. Perbandingan dokumentasi teknis dan ilmiah dari proyek baru dengan dokumentasi yang sesuai dari proyek yang sudah ada, tes wajib, pengujian produk software baru dan hasil menunjukkan.