প্রশ্ন ট্যাগ «formal-methods»

সিভিল ইঞ্জিনিয়ারিংয়ের সাথে সফটওয়্যার ইঞ্জিনিয়ারিংয়ের তুলনা করে আমি অন্যরকম চিন্তাভাবনা অবলম্বন করে অবাক হয়েছিলাম: যে কোনও সিভিল ইঞ্জিনিয়ার জানেন যে আপনি বাগানে একটি ছোট্ট কুঁড়িঘর তৈরি করতে চাইলে আপনি কেবলমাত্র উপকরণগুলি পেতে পারেন এবং এটি তৈরি করতে যেতে পারেন তবে আপনি যদি নির্মাণ করতে চান তবে একটি 10 ​​তলা বাড়ি …

63 programming-practices  theory  formal-methods 

আপনি যদি প্রোগ্রামিংয়ের জন্য প্রথাগত পদ্ধতি (এফএম) ব্যবহার সম্পর্কে প্রশিক্ষণ প্রাপ্ত হন : আপনি এটি কতটা দরকারী খুঁজে পেয়েছেন? আপনার এফএম প্রশিক্ষণ কী জড়িত (যেমন একটি কোর্স, একটি বই)? আপনি কোন এফএম সরঞ্জামগুলি ব্যবহার করেন? এফএম ব্যবহার না করার সাথে তুলনা করে গতি / গুণমানের কী সুবিধা রয়েছে? আপনি এফএম …

17 code-quality  formal-methods 

বন্ধ । এই প্রশ্নটি মতামত ভিত্তিক । এটি বর্তমানে উত্তর গ্রহণ করছে না। এই প্রশ্নটি উন্নত করতে চান? প্রশ্নটি আপডেট করুন যাতে পোস্টটি সম্পাদনা করে সত্য এবং উদ্ধৃতি দিয়ে উত্তর দেওয়া যায় । 2 বছর আগে বন্ধ । কোনও অ্যাপ্লিকেশনটির কোড নির্দিষ্ট করতে, প্রমাণ করতে ও উত্পন্ন করতে আনুষ্ঠানিক পদ্ধতিগুলি …

14 development-process  code-quality  formal-methods 

গুগলিং "সফ্টওয়্যার টেস্টিং থিয়োরি" মনে হয় কেবল শব্দটির নরম অর্থে তত্ত্ব প্রদান করেছে; আমি গাণিতিক, তথ্য তাত্ত্বিক বা অন্য কোনও বৈজ্ঞানিক ক্ষেত্রের অর্থে একটি তত্ত্ব হিসাবে শ্রেণিবদ্ধ হবে এমন কোনও কিছুই খুঁজে পাইনি। আমি যা খুঁজছি সেটি হ'ল যা পরীক্ষণটি কীভাবে প্রথাগত হয়, ব্যবহৃত ধারণাগুলি, পরীক্ষার কেস কী, কোনও কিছুর …

12 testing  math  theory  formal-methods  information-theory 

আমি বর্তমানে বৃহত্তর কোডবেসের একটি অংশকে রিফেক্টর করছি যা কোনও ইউনিট পরীক্ষা ছাড়াই। আমি অবিশ্বাস্য কোডটি কোডটি রিফ্যাক্টর করার চেষ্টা করেছি, অর্থাৎ কোডটি কী করছে এবং কী কী পরিবর্তনগুলি এর অর্থ পরিবর্তন করে না তা অনুমান করার চেষ্টা করে, তবে সাফল্য ছাড়াই: এটি এলোমেলোভাবে কোডবেসের চারপাশে সমস্ত বৈশিষ্ট্যগুলি ভেঙে দেয়। …

10 unit-testing  refactoring  legacy  formal-methods