ما الذي يفحصه المدققون فعليًا
لماذا يُغلق المدقق نفسه، عند النظر إلى الفئة ذاتها من التطبيقات، المهمة في ستة أيام على نظام وواحد وأربعين يومًا على آخر؟ أجرت شركة خدمات مالية خاضعة للتنظيم في أمريكا الشمالية هذه التجربة دون قصد. تطبيق TypeScript مُولَّد من JSON descriptors جرى تدقيقه في 6 أيام. تطبيق Java مكتوب يدويًا بنطاق مماثل جرى تدقيقه في 41 يومًا. فرق التكلفة بلغ 380,000 دولار أمريكي.
التقنية كانت مختلفة. العمل الذي اضطر المدققون للقيام به كان مختلفًا. السبب وراء سرعة تدقيق الكود المُولَّد ليس السرعة — بل الاتساق.
الأسئلة الثلاثة التي يطرحها كل مدقق
تنحصر عمليات تدقيق الامتثال عبر SOX وHIPAA وPCI DSS وFDA 21 CFR Part 11 في ثلاثة أسئلة. هل يفرض النظام القاعدة؟ هل يمكنك إثبات أنه يفرض القاعدة بالطريقة نفسها في كل مرة؟ هل يمكنك إعادة إنتاج البناء الذي يعمل في الإنتاج؟
يُجيب الكود المكتوب يدويًا على السؤال الأول جيدًا، وعلى السؤالين الآخرين بشكل سيء. أما الكود المُولَّد فيُجيب على الثلاثة بطبيعته البنيوية.
الاتساق بالبنية
عندما يتم تحويل 280 نموذجًا يدويًا، لا يُترجم أي مطوّرَين مشغّل WHEN-VALIDATE-ITEM نفسه بالطريقة ذاتها. تنحرف أسماء المتغيرات. تختلف رسائل الخطأ. تُعالَج الحالات الاستثنائية بثلاث طرق. يجد المدقق الذي يأخذ عينة من 20 نموذجًا 20 تباينًا طفيفًا وعليه تقييم كل واحد منها.
يُطبّق الكود المُولَّد التحويل نفسه على كل مدخل. إذا حدّد الواصف التحقق من قيمة موجبة، فإن كل شاشة تحتوي على هذا الحقل تُنفّذه بالطريقة ذاتها. يُراجع المدقق الواصف مرة واحدة، لا الـ 280 تنفيذًا.
القابلية للتتبع تلقائية
عادة ما تُضاف مسارات التدقيق لاحقًا. تطلب فرق الامتثال من فريق الهندسة تسجيل كل تغيير حالة، وكل موافقة، وكل فحص حد. يُضيف فريق الهندسة التسجيل إلى الشاشات التي يتذكرها، ويُفوّت الشاشات التي لا يتذكرها.
في نظام مبني على الواصفات، يكون الواصف ذاته هو مواصفة التدقيق. كل حقل يتطلب تسجيلًا موسوم في JSON. يُنتج المُولِّد كود التسجيل تلقائيًا. يقرأ المدقق الواصف ويعرف بالضبط ما الذي يُسجَّل، وأين، ولماذا.
قابلية إعادة الإنتاج بموجب FDA 21 CFR Part 11
يتطلب FDA 21 CFR Part 11 أن تكون السجلات والتوقيعات الإلكترونية مقاومة للتلاعب وقابلة لإعادة الإنتاج. بالنسبة لشركات الأدوية والأجهزة الطبية، يعني هذا إثبات أن إصدار البرنامج العامل في الإنتاج يطابق الإصدار الذي جرى التحقق منه.
الكود المُولَّد يجعل هذا تافهًا. الواصف هو مصدر الحقيقة. المُولِّد حتمي. بإعطاء الواصف ذاته وإصدار المُولِّد ذاته، يكون المخرج متطابقًا على مستوى البايت. تصبح حزمة التحقق بصمة تجزئة، وليس وثيقة من 4,000 صفحة.
الاعتراض من فرق الهندسة
كثيرًا ما تُقاوم فرق الهندسة توليد الكود لأنه يبدو فقدانًا للسيطرة. الاعتراض حقيقي لكنه خاطئ عادة. الكود المُولَّد أكثر قابلية للتحكم من الكود المكتوب يدويًا، لا أقل، لأن المدخلات صريحة والمخرجات قابلة لإعادة الإنتاج.
الفرق التي تتبنى الكود المُولَّد لأسباب الامتثال تُوسّعه عادةً إلى الأجزاء غير الخاضعة للتنظيم من قاعدة الكود خلال 18 شهرًا. مزايا التدقيق تنطبق أيضًا على مراجعات الجودة الداخلية.
أين يفشل الكود المُولَّد
التوليد ليس مناسبًا لكل نظام. الواجهات الأمامية الإبداعية جدًا، والخوارزميات الجديدة، والتكاملات الفريدة لا تزال أفضل إذا كُتبت يدويًا. النقطة المثالية هي التطبيقات المنظمة المدفوعة بالقواعد — وهي بالضبط ملف معظم أحمال عمل Oracle Forms ومعظم أنظمة المكاتب الخلفية الخاضعة للتنظيم.
الخلاصة
يفوز الكود المُولَّد في عمليات تدقيق الامتثال لأنه يُزيل التباين الذي يضطر المدققون إلى التحقيق فيه. التقنية كانت دومًا مثيرة للاهتمام. الاقتصاديات — تدقيق في ستة أيام بدل واحد وأربعين — هي ما ينقلها من خيار اختياري إلى افتراضي للمؤسسات الخاضعة للتنظيم.