Intelligent verification
انٹیلیجنٹ تصدیق، بشمول انٹیلیجنٹ ٹیسٹ بینچ آٹومیشن، الیکٹرانک ہارڈ ویئر ڈیزائنوں کی فعال تصدیق کی ایک شکل ہے جو اس بات کی تصدیق کے لیے استعمال ہوتی ہے کہ کوئی ڈیزائن ڈیوائس بنانے سے پہلے تفصیلات کے مطابق ہے۔ انٹیلیجنٹ تصدیق ہارڈ ویئر آئی پیز میں اور ان کے درمیان کیڑے کو بے نقاب کرنے کے لیے ڈیزائن اور تفصیلات سے حاصل کردہ معلومات کا استعمال کرتی ہے۔ انٹیلیجنٹ ویریفیکیشن ٹولز کو تصدیق کے نتائج حاصل کرنے کے لیے کافی کم انجینئرنگ کی کوشش اور صارف کی رہنمائی کی ضرورت ہوتی ہے جو ٹیسٹ بینچ پروگرام لکھنے کے معیاری نقطہ نظر پر پورا اترتے ہیں یا اس سے تجاوز کرتے ہیں۔ ذہین تصدیق کے ٹولز کی پہلی نسل نے تصدیق کے عمل کے ایک حصے کو بہتر بنایا جسے خودکار کوریج فیڈ بیک نامی خصوصیت کے ساتھ ریگریشن ٹیسٹنگ کہا جاتا ہے۔ خودکار کوریج فیڈ بیک کے ساتھ، ٹیسٹ کی تفصیل کو خود بخود ٹارگٹ ڈیزائن کی فعالیت میں ایڈجسٹ کیا جاتا ہے جس کی پہلے دیگر ٹیسٹوں کے موجودہ ٹیسٹوں کے ذریعے تصدیق (یا "احاطہ") نہیں کی گئی ہے۔ خودکار کوریج فیڈ بیک کی ایک کلیدی خاصیت یہ ہے کہ، اسی ٹیسٹ کے ماحول کو دیکھتے ہوئے، سافٹ ویئر خود بخود ٹیسٹ کو تبدیل کر دے گا تاکہ ڈیزائن میں ہونے والی تبدیلیوں کے جواب میں فنکشنل ڈیزائن کوریج کو بہتر بنایا جا سکے۔ نئے ذہین تصدیق کے اوزار ایک واحد، کمپیکٹ، اعلی سطحی ماڈل سے ٹیسٹ بینچ (محرک، کوریج، اور چیکنگ) سے توقع کرنے والے ضروری افعال حاصل کرنے کے قابل ہیں۔ ایک واحد ماڈل کا استعمال کرنا جو اصل تفصیلات کی نمائندگی کرتا ہے اور اس سے ملتا جلتا ہے، ٹیسٹ بینچ کی ترقی کے عمل میں انسانی غلطی کے امکان کو بہت کم کر دیتا ہے جو چھوٹ جانے والے کیڑے اور غلط ناکامی دونوں کا باعث بن سکتا ہے۔ ذہین تصدیق کی دیگر خصوصیات میں شامل ہو سکتے ہیں: تصدیق کے نتائج کو ٹیسٹ بینچ پروگرام کے برابر یا اس سے اوپر فراہم کرنا لیکن ایک کمپیکٹ ہائی لیول ماڈل کے ذریعے کارفرما ہونا ٹیسٹ بینچ پروگراموں پر انحصار کو کم کرنے کے لیے تخروپن کی تمام سطحوں پر اطلاق پروگرامنگ کی غلطیوں اور تفصیلات کی مختلف تشریحات کے مواقع کو ختم کرنا، خاص طور پر۔ آئی پی اور ایس او سی ٹیموں کے درمیان ہدایت فراہم کرنا کہ بعض کوریج پوائنٹس کا پتہ کیوں نہیں چلا۔ نئے ٹیسٹ بنانے کے لیے ڈیزائن ڈھانچے کے ذریعے کوریج پوائنٹس تک خودکار طور پر راستوں کو ٹریک کریں۔ اس بات کو یقینی بنانا کہ ڈیزائن کے مختلف پہلوؤں کی تصدیق ایک ہی ٹیسٹ سیٹ میں صرف ایک بار کی جائے۔ سسٹم کے مختلف ہارڈ ویئر اور سافٹ ویئر کی ترتیبات کے لیے خود بخود ٹیسٹ کو اسکیل کرنا۔ ایک ہی ٹول پر مبنی محدود بے ترتیب، ہدایت شدہ، گراف پر مبنی، استعمال کیس جیسے مختلف تصدیق کے طریقوں کے لیے سپورٹ۔ "انٹیلیجنٹ ویریفکیشن" موجودہ منطق تخروپن ٹیسٹ بینچوں کا استعمال کرتا ہے، اور خود بخود مندرجہ ذیل قسم کے ڈیزائن کوریج کو نشانہ بناتا ہے اور زیادہ سے زیادہ کرتا ہے: کوڈ کوریج برانچ کوریج ایکسپریشن کوریج فنکشنل کوریج اسیرشن کوریج کی تاریخ اعتماد حاصل کرنا کہ ڈیزائن فعال طور پر درست ہے زیادہ مشکل ہوتا جا رہا ہے۔ ان مسائل کا مقابلہ کرنے کے لیے، 1980 کی دہائی کے آخر میں فاسٹ منطق سمیلیٹر اور خصوصی ہارڈ ویئر کی تفصیل کی زبانیں جیسے ویرلوگ اور وی ایچ ڈی ایل مقبول ہوئیں۔ 1990 کی دہائی میں، تصدیق کے معیار اور وقت کو مزید بہتر بنانے کے لیے ہارڈ ویئر کی تصدیق کی زبانوں جیسے ویرا اور ای کے ساتھ ساتھ سسٹم ویرلوگ (2002 میں) کا استعمال کرتے ہوئے محدود بے ترتیب تخروپن کے طریقے ابھر کر سامنے آئے۔ ذہین تصدیق کے نقطہ نظر محدود بے ترتیب تخروپن طریقوں کی تکمیل کرتے ہیں، جو ٹیسٹ نسل کو ڈیزائن ڈھانچے کے بجائے بیرونی ان پٹ پر مبنی کرتے ہیں۔ انٹیلیجنٹ تصدیق کا مقصد تخروپن کے دوران ڈیزائن کے علم کو خود بخود استعمال کرنا ہے، جو کہ ڈیزائن کے سائز اور پیچیدگی میں اضافے کی وجہ سے گزشتہ دہائی کے دوران تیزی سے اہم ہو گیا ہے، اور انجینئرنگ ٹیم کے درمیان علیحدگی جس نے ایک ڈیزائن بنایا اور ٹیم جو اس کے درست آپریشن کی تصدیق کرتی ہے۔ ذہین تصدیق کے شعبے میں کافی تحقیق ہوئی ہے، اور اس تکنیک سے فائدہ اٹھانے والے تجارتی آلات ابھی ابھرنا شروع ہوئے ہیں۔ رسمی تصدیق فنکشنل تصدیق وینڈرز جو انٹیلجنٹ ویریفیکیشن لاجک ریفائنری، انکارپوریٹڈ پیش کرتے ہیں۔ مینٹر گرافکس سینوسس (نیوسم کا حصول) بریکر اسپرنگ سافٹ (سرٹیس کا حصول) والٹریکس سسٹمز فوٹ نوٹ حوالہ جات "مینٹر 'انٹیلجنٹ' ٹیسٹ بینچ جنریشن ٹول پیش کرتا ہے،" ایس ڈی سی سورس، فروری 18، 2008۔ "نوسیم انٹیلجنٹ تصدیق پر توجہ مرکوز کرتا ہے" ای ٹائمز، مئی 2008۔ "لفٹنگ دی فوگ آن انٹیلیجنٹ ویریفیکیشن"، ایس سی ڈی سورس، مئی 2008۔ الیکٹرانک سرکٹ کی تصدیق