সুচিপত্র:
সংজ্ঞা - স্ট্যাটিক যাচাইয়ের অর্থ কী?
স্ট্যাটিক যাচাইকরণটি প্রোগ্রামটি চালনা না করেই স্ট্যান্ডার্ড কোডিং অনুশীলনগুলি মেনে চলেছে কিনা তা নিশ্চিত করার জন্য কম্পিউটার কোডের একটি বিশ্লেষণ। উত্স কোডের কয়েকটি সংস্করণে একটি বিশ্লেষণ করা হয় এবং প্রোগ্রামারদের জন্য নতুন কোড ডিবাগ করার এবং সংকলিত কোডে সম্ভাব্য ত্রুটিগুলি সনাক্ত করার একটি উপায় সরবরাহ করে।
টেকোপিডিয়া স্ট্যাটিক যাচাইয়ের ব্যাখ্যা দেয়
সুরক্ষা-সমালোচনামূলক কম্পিউটার সিস্টেমগুলির জন্য সফটওয়্যারগুলিতে স্থিতিশীল যাচাই ব্যাপকভাবে ব্যবহৃত হয়। স্ট্যাটিক যাচাইকরণে ব্যবহৃত মূল প্রযুক্তিগুলি হ'ল স্থির সময় বিশ্লেষণ এবং সমতুল্য পরীক্ষা করা। স্থির যাচাইকরণ প্রবাহের সময় এবং কার্যকরী যাচাইকরণ পৃথক হয়ে সমান্তরালে চালিত হয়। স্ট্যাটিক টাইমিং বিশ্লেষণ টাইমিং চেক সরবরাহ করে, সমতা পরীক্ষা করে একই সার্কিটের দুটি সংস্করণের ক্রিয়ামূলক সমতুল্যতা যাচাই করে স্ক্যান চেইন পুনর্নির্মাণ, রাউটিং এবং স্থান নির্ধারণের মতো বিভিন্ন রূপান্তরের মাধ্যমে নকশাগুলি আঁশাগুলি।
স্ট্যাটিক যাচাইয়ের কয়েকটি বাস্তবায়ন কৌশল হ'ল ডেটা ফ্লো বিশ্লেষণ, মডেল চেকিং, বিমূর্ত ব্যাখ্যা এবং দৃ usage় ব্যবহার।
স্ট্যাটিক যাচাইকরণের জন্য সাধারণত ব্যবহৃত সরঞ্জামগুলির মধ্যে রয়েছে সোনার, ইয়াসকা, অনুলিপি / পেস্ট সনাক্তকারী, স্টাইলোকপ, এফএক্সকপ, ব্লাস্ট, ঝনক, লিঙ্ক এবং চেকস্টাইল।
