ماڈل پر مبنی امتحان ایک ایسا طریقہ ہے جو ٹیسٹ مقدمات کی ساخت اور ساخت کے لیے رسمی ماڈل استعمال کرتا ہے اس میں نظامِ سیرت کی واضح نمائندگی اور درستی فراہم کرنے میں مدد دی جاتی ہے۔یہ طریقہ وسیع پیمانے پر سافٹ ویئر ترقی میں استعمال کیا جاتا ہے تاکہ قابل اعتماد اور درستی کو یقینی بنایا جا سکے۔

ماڈل-باس امتحان کیا ہے؟

ماڈل پر مبنی امتحان میں ایسے تصوراتی ماڈل بنانا شامل ہے جو کسی نظام کے متوقع رویے کو بیان کرتے ہیں۔یہ ماڈل خود کار طور پر ٹیسٹ کیسوں کی بنیاد کے طور پر کام کرتے ہیں۔ مقصد حقیقی نظام اور اس کے تفاعل کے درمیان میں ڈسکس کی شناخت کرنا ہے۔

فورمل کی کارکردگی کے فوائد

فورمل طریقے نظام کے نظام کے تعین کے لیے ایک جامع فریم ورک فراہم کرتے ہیں ۔ وہ مکمل طور پر ماڈلنگ کرنے کے قابل ہوتے ہیں ، جس سے ایبٹ آباد اور غلطیوں کو کم کیا جاتا ہے ۔

ماڈل-بیس ٹیسٹ میں قدم رکھتے ہیں۔

  • نظام کا ایک رسمی نمونہ تیار کرنا۔
  • ماڈل سے جینیریٹ ٹیسٹ کیس.
  • اصل نظام پر تجزیہ کرنے والے امتحانات۔
  • ماڈل کے متوقع رویے پر غور کریں.