جامد تصدیق کیا ہے؟ - ٹیکپوپیڈیا سے تعریف

تعریف - جامد تصدیق کا کیا مطلب ہے؟

جامد تصدیق کمپیوٹر کوڈ کا تجزیہ ہے تاکہ یہ یقینی بنایا جاسکے کہ پروگرام کو چلائے بغیر کوڈنگ کے معیاری طریقوں پر عمل کیا گیا ہے۔ ماخذ کوڈ کے کچھ ورژن پر تجزیہ کیا جاتا ہے اور پروگرامرز کو نئے کوڈ کو ڈیبگ کرنے اور مرتب کوڈ میں ممکنہ غلطیوں کا پتہ لگانے کا ایک طریقہ فراہم کرتا ہے۔

ٹیکوپیڈیا جامد تصدیق کی وضاحت کرتا ہے

سافٹ ویئر میں حفاظتی تنقیدی کمپیوٹر سسٹم کے لئے جامد توثیق بڑے پیمانے پر استعمال ہوتی ہے۔ جامد تصدیق میں استعمال ہونے والی کلیدی ٹیکنالوجیز مستحکم وقت تجزیہ اور مساوات کی جانچ ہوتی ہیں۔ جامد توثیق کے بہاؤ میں وقت اور فعال توثیق الگ ہوجاتے ہیں اور متوازی چلتے ہیں۔ جامد وقت تجزیہ ٹائمنگ چیک مہیا کرتا ہے ، جبکہ مساوات کی جانچ پڑتال اسی سرکٹ کے دو ورژن کی عملی مساوات کی تصدیق کرتی ہے جیسا کہ اسکین چین کو دوبارہ ترتیب دینا ، روٹنگ اور پلیسمینٹ جیسے مختلف تبدیلیوں کے ذریعے ڈیزائن ترازو۔

جامد توثیق کی عمل آوری کی کچھ تکنیکیں ڈیٹا فلو تجزیہ ، ماڈل جانچ ، تجریدی ترجمانی اور دعوی استعمال ہیں۔

عام طور پر مستحکم توثیق کے ل used استعمال ہونے والے ٹولز میں سونار ، یاسکا ، کاپی / پیسٹ ڈیٹیکٹر ، اسٹائلکپ ، ایف ایکس کوپ ، بلاسٹ ، بجنا ، لنٹ اور چیک اسٹائل شامل ہیں۔