التحقق الذكي

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

حسّنت الجيل الأول من أدوات التحقق الذكية جزءًا من عملية التحقق، وهو اختبار الانحدار، من خلال ميزة تُسمى التغذية الراجعة التلقائية للتغطية . بفضل هذه الميزة، يتم تعديل وصف الاختبار تلقائيًا لاستهداف وظائف التصميم التي لم يتم التحقق منها (أو "تغطيتها") مسبقًا بواسطة الاختبارات الأخرى الموجودة. ومن أهم خصائص التغذية الراجعة التلقائية للتغطية أنه، في ظل بيئة الاختبار نفسها، يقوم البرنامج تلقائيًا بتغيير الاختبارات لتحسين تغطية التصميم الوظيفي استجابةً للتغييرات التي تطرأ على التصميم.

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

قد تشمل الخصائص الأخرى للتحقق الذكي ما يلي:

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

تستخدم "التحقق الذكي" منصات اختبار محاكاة المنطق الحالية ، وتستهدف تلقائيًا أنواع تغطية التصميم التالية وتزيدها إلى أقصى حد:

• تغطية التعليمات البرمجية
• تغطية الفروع
• تغطية التعبير
• التغطية الوظيفية
• تغطية التأكيدات

يزداد صعوبة ضمان صحة التصميم من الناحية الوظيفية. ولمواجهة هذه المشكلات، شاعت في أواخر ثمانينيات القرن الماضي برامج محاكاة المنطق السريع ولغات وصف الأجهزة المتخصصة مثل Verilog و VHDL . وفي تسعينيات القرن الماضي، ظهرت منهجيات المحاكاة العشوائية المقيدة باستخدام لغات التحقق من الأجهزة مثل Vera ^{[ 1 ]} و e ، بالإضافة إلى SystemVerilog (في عام 2002)، وذلك لتحسين جودة التحقق وتقليل وقته.

تُكمّل أساليب التحقق الذكية منهجيات المحاكاة العشوائية المقيدة، التي تعتمد في توليد الاختبارات على مدخلات خارجية بدلاً من بنية التصميم. ^{[ 2 ]} يهدف التحقق الذكي إلى الاستخدام التلقائي لمعرفة التصميم أثناء المحاكاة، وهو أمرٌ ازداد أهميةً خلال العقد الماضي نظرًا لزيادة حجم التصميم وتعقيده، وانفصال الفريق الهندسي الذي أنشأ التصميم عن الفريق الذي يتحقق من صحة تشغيله. ^{[ 1 ]}

لقد أُجريت أبحاث كبيرة في مجال التحقق الذكي، والأدوات التجارية التي تستفيد من هذه التقنية بدأت للتو في الظهور.

• التحقق الرسمي
• التحقق الوظيفي

• شركة لوجيك ريفاينري
• مينتور جرافيكس
• شركة سينوبسيس (الاستحواذ على شركة نوسيم)
• بريكر
• استحواذ شركة سبرينغسوفت على شركة سيرتيس
• أنظمة فالتريكس

• "Mentor تقدم أداة "ذكية" لإنشاء بيئة اختبار"، SDCSource ، 18 فبراير 2008.
• "Nusym تركز على التحقق الذكي" EETimes ، مايو 2008.
• "إزالة الضباب عن التحقق الذكي"، SCDSource ، مايو 2008.