Assertion adalah konstruksi bahasa pemrograman komputer yang dirancang untuk memfasilitasi pengujian otomatis. Ini digunakan untuk menentukan serangkaian kondisi yang harus dipenuhi saat menjalankan suatu program. Ini memverifikasi bahwa program berperilaku seperti yang diharapkan oleh pemrogram.
Pernyataan adalah pernyataan yang memverifikasi suatu kondisi. Umumnya, pernyataan ini digunakan dalam program untuk menunjukkan bahwa kondisi yang diverifikasi adalah benar. Pernyataan memberi pemrogram cara mudah untuk memeriksa perilaku program dan mendeteksi masalah apa pun selama pengembangan dan pengujian.
Ketika pernyataan dipicu, program akan berhenti dan melaporkan masalah tersebut kepada pemrogram. Hal ini dapat digunakan untuk dengan cepat mengidentifikasi dan men-debug masalah yang mungkin sulit atau lambat untuk dilacak. Pernyataan membantu memastikan program berfungsi sebagaimana mestinya, dan bisa sangat berguna dalam proyek dengan basis kode yang besar.
Pernyataan dapat diaktifkan atau dinonaktifkan. Jika diaktifkan, kode pernyataan dikompilasi ke dalam program dan akan dijalankan saat runtime. Penting untuk memastikan bahwa pernyataan diaktifkan hanya ketika program sedang diuji. Jika tidak, pernyataan tersebut akan mempunyai overhead yang dapat memperlambat program.
Pernyataan digunakan dalam banyak bahasa pemrograman, termasuk C, C++, Java, dan JavaScript. Setiap bahasa mendefinisikan sintaksisnya sendiri untuk menulis pernyataan, dan pernyataan yang dapat dibuat berbeda-beda antar bahasa. Pustaka pernyataan tersedia untuk banyak bahasa pemrograman, memungkinkan pemrogram membuat pernyataan yang lebih canggih atau dapat digunakan kembali daripada yang ditawarkan oleh bahasa itu sendiri.
Pernyataan memainkan peran penting dalam pengembangan dan pemeliharaan perangkat lunak. Dengan memastikan bahwa program berjalan sesuai harapan, mereka dapat membantu mendeteksi bug sejak dini, sehingga mengurangi waktu yang dibutuhkan untuk mengidentifikasi dan mengatasi masalah.
