আমি ওয়ার্ড এ কোডার্স পড়ছি , এবং এটিতে আক্রমণকারীদের সম্পর্কে অনেক কথা আছে। যতদূর আমি এটি বুঝতে পেরেছি, আক্রমণকারী হ'ল শর্ত যা অভিব্যক্তির আগে এবং পরে উভয়ই ধারণ করে। আমি অন্য লজিক কোর্সটি যদি সঠিকভাবে মনে করি তবে তারা লুপটি সঠিক তা প্রমাণ করতে দরকারী things
আমার বিবরণটি সঠিক, বা আমি কিছু মিস করেছি? আপনি কি কখনও তাদের প্রোগ্রামে ব্যবহার করেছেন? এবং যদি তা হয় তবে তাদের কীভাবে উপকার হবে?
en.wikedia.org/wiki/Ivvariant_( কম্পিউটার_সায়েন্স)
—
রবার্ট হার্ভে
@ রবার্ট হার্ভে: হ্যাঁ, আমি আসলে এটি পড়েছি। তবে আমার কাছে মনে হয় যে আক্রমণকারীরা কেবল তখনই কার্যকর যখন আপনি কিছু প্রমাণ করার চেষ্টা করছেন। এটি কি সঠিক (কোনও পাং উদ্দেশ্য নয়)?
—
গ্যাবলিন
এটাই আমার বোঝাপড়া; আপনি যখন নিজের প্রোগ্রামটির বিষয়ে সঠিকতা প্রমাণ করার জন্য যুক্তি করার চেষ্টা করছেন।
—
রবার্ট হার্ভে
@ ইউজার 9094: একটি দৃser়তা হ'ল একটি ঘোষণা যা রানটাইমের কোনও নির্দিষ্ট সময়ে সত্য এবং কোডটিতে প্রতিনিধিত্ব করা হয়। আক্রমণকারী হ'ল একটি বিবৃতি (একজন আশা করি সুপ্রতিষ্ঠিত) যা যখনই প্রয়োগ হয় সর্বদা সত্য হবে এবং কোডটিতে নিজেই প্রতিনিধিত্ব করা হয় না।
—
ডেভিড থর্নলি
আক্রমণকারীরা প্রকৃতপক্ষে নির্ভুলতা প্রমাণের জন্য দরকারী, তবে তারা কেবল সেই ক্ষেত্রেই সীমাবদ্ধ নয়। এগুলি ডিফেন্সিভ-প্রোগ্রামিং এবং ডিবাগিংয়ের সময়ও কার্যকর। তারা কেবল আপনার কোডটি সঠিক প্রমাণ করতে সহায়তা করে না, তারা কোড সম্পর্কে যুক্তি দেখায় এবং বাগগুলির উত্সের কাছাকাছি অবস্থান খুঁজে পেতে সহায়তা করে।
—
45 তে অদ্ভুত ভাবনা