خلال السنوات الـ 75 الماضية، تطورت أنظمة الحوسبة بشكل كبير، مما ساعد على ازدهار القطاع. ومع ذلك، فإن الدين الفني المتراكم يكشف عن مآزق وتكاليف ضخمة تهدد الأعمال والمجتمعات. على الرغم من نجاح الحوسبة في تلبية المواصفات من خلال تطوير اختباري ونقدي، فإن هذه العملية تتركنا مع أسس هشة قد تؤدي إلى أزمات عميقة.

ومع دخول تقنيات الذكاء الاصطناعي (AI) إلى مجال البرمجة، أصبح من الممكن تخفيض تكاليف البرمجة، لكننا نواجه أيضًا خطرًا متزايدًا بسبب تعجيل الدين الفني، وهو ما يستدعي تسريع اكتشاف الثغرات الأمنية.

ثم تأتي التساؤلات: كيف يمكننا تحسين الأمور؟ لعقود، سعت الأبحاث لإيجاد إثباتات رياضية للتأكيد على صحة الأنظمة، وهي طريقة تغطي جميع الحالات ولكن يصعب تطبيقها بسبب التحديات التقنية والثقافية.

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

المثير أن هذه المواصفات يمكن أن تدعم مجموعة واسعة من الاختبارات، بدءًا من الاختبارات الرخيصة إلى الإثباتات المكلفة. ولكن لتحقيق ذلك، نحن بحاجة إلى بنية تحتية من الدلالات (semantics infrastructure) تدعم اللغات البرمجية الرئيسية.

اليوم، يمكن للمجتمع أن يتعاون لإنشاء هذه البنية ودعمها، مما يمكّن المستقبل المبني على أسس أوثق وأكثر أمانًا. فهل أنتم مستعدون للانضمام إلى هذا التحدي؟