Metamorphic testing
میٹامورفک ٹیسٹنگ (ایم ٹی) ایک پراپرٹی پر مبنی سافٹ ویئر ٹیسٹنگ تکنیک ہے، جو ٹیسٹ اوریکل کے مسئلے اور ٹیسٹ کیس جنریشن کے مسئلے کو حل کرنے کے لیے ایک موثر نقطہ نظر ہو سکتا ہے۔ ٹیسٹ اوریکل کا مسئلہ منتخب ٹیسٹ کے معاملات کے متوقع نتائج کا تعین کرنے یا اس بات کا تعین کرنے میں دشواری ہے کہ آیا اصل نتائج متوقع نتائج سے متفق ہیں یا نہیں۔ میٹامورفک ریلیشنز (ایم آر) سافٹ ویئر کی مطلوبہ فعالیت کی ضروری خصوصیات ہیں، اور اس میں سافٹ ویئر کی متعدد کارروائیاں شامل ہونی چاہئیں۔ مثال کے طور پر، ایک ایسے پروگرام پر غور کریں جو 100 اہم اعداد پر درست sin x کو لاگو کرتا ہے ؛ سائن افعال کے لیے ایک تغیراتی تعلق "sin (π−x) = sin x" ہے۔ اس طرح، اگرچہ مطلوبہ درستگی کے مطابق ماخذ ٹیسٹ کیس x1 = 1.234 کے لیے sin x1 کی متوقع قیمت معلوم نہیں ہے، لیکن ایک فالو اپ ٹیسٹ کیس x2 = π − 1.234 بنایا جا سکتا ہے۔ ہم اس بات کی تصدیق کر سکتے ہیں کہ آیا سورس ٹیسٹ کیس اور فالو اپ ٹیسٹ کیس سے ٹیسٹ کے تحت پروگرام کے ذریعہ تیار کردہ اصل نتائج زیر بحث ایم آر کے مطابق ہیں۔ کوئی بھی عدم مطابقت (راؤنڈنگ کی غلطیوں کو مدنظر رکھنے کے بعد) پروگرام کی ناکامی کی نشاندہی کرتی ہے، جو عمل درآمد میں غلطی کی وجہ سے ہے۔ ایم آر عددی ان پٹ یا مساوات کے تعلقات والے پروگراموں تک محدود نہیں ہیں۔ مثال کے طور پر، بکنگ ویب سائٹ کی جانچ کرتے وقت، سڈنی، آسٹریلیا میں رہائش کے لیے ایک ویب سرچ 1,671 نتائج فراہم کرتی ہے ؛ کیا اس تلاش کے نتائج درست اور مکمل ہیں؟ یہ ایک ٹیسٹ اوریکل کا مسئلہ ہے۔ بدلتے ہوئے تعلق کی بنیاد پر، ہم قیمت کی حد یا اسٹار ریٹنگ کو فلٹر کر سکتے ہیں اور تلاش کو دوبارہ لاگو کر سکتے ہیں ؛ اسے پچھلے نتائج کا ایک ذیلی سیٹ واپس کرنا چاہیے۔ اس توقع کی خلاف ورزی بھی اسی طرح نظام کی ناکامی کو ظاہر کرے گی۔ میٹامورفک ٹیسٹنگ کی ایجاد ٹی وائی نے کی تھی۔ 1998 میں تکنیکی رپورٹ میں چن۔ اس کے بعد سے، 150 سے زیادہ بین الاقوامی محققین اور پریکٹیشنرز نے اس تکنیک کو حقیقی زندگی کی ایپلی کیشنز پر لاگو کیا ہے۔ کچھ مثالوں میں ویب سروسز، کمپیوٹر گرافکس، سرایت شدہ نظام، تخروپن اور ماڈلنگ، مشین لرننگ، فیصلہ سپورٹ، بائیو انفارمیٹکس، اجزاء، عددی تجزیہ، اور مرتب شامل ہیں۔ ایم ٹی کے شعبے کا پہلا بڑا سروے 2016 میں کیا گیا تھا۔ اس کے بعد 2018 میں ایک اور بڑا سروے ہوا، جس میں چیلنجوں اور مواقع کو اجاگر کیا گیا اور عام غلط فہمیوں کو واضح کیا گیا۔ اگرچہ ایم ٹی کو ابتدائی طور پر سافٹ ویئر کی تصدیق کی تکنیک کے طور پر تجویز کیا گیا تھا، لیکن بعد میں اسے ایک نمونے کے طور پر تیار کیا گیا جس میں تصدیق، توثیق، اور سافٹ ویئر کے معیار کی تشخیص کی دیگر اقسام شامل ہیں۔ ایم ٹی کو آزادانہ طور پر لاگو کیا جا سکتا ہے، اور اسے دیگر جامد اور متحرک سافٹ ویئر تجزیہ کی تکنیکوں جیسے ثابت کرنے اور ڈیبگنگ کے ساتھ بھی جوڑا جا سکتا ہے۔ اگست 2018 میں، گوگل نے گرافکس فز حاصل کیا، جو امپیریل کالج لندن کا ایک اسٹارٹ اپ ہے، تاکہ اینڈرائیڈ اسمارٹ فونز کے گرافکس ڈیوائس ڈرائیوروں پر میٹامورفک ٹیسٹنگ کا اطلاق کیا جا سکے۔ حوالہ جات بیرونی روابط سافٹ ویئر کی جانچ