الرياضيات والبرمجة

يمكننا كتابة برمجيات خالية من الأخطاء…إذاً، لماذا لا نقوم بذلك؟

أشار عالم الحاسوب الهولندي الكبير Edsger W Dijkstra أن الاختبار يبين وجود الأخطاء وليس غيابها. في الحقيقة، إن الطريقة الحاسمة الوحيدة لإثبات صحة البرمجيات وخلوها من الأخطاء هي من خلال…