37 সেকেন্ড (তার কুমারী জলযাত্রা উপর প্রবর্তন পরে Ariane 5 রকেট বিভেদ ফ্লাইট 501 ) সাধারণভাবে এক হিসাবে উল্লেখ করা হয় ইতিহাসে সবচেয়ে ব্যয়বহুল সফ্টওয়্যার বাগ 1 :
ইউরোপীয় স্পেস এজেন্সিটি আরিয়েন 5 তৈরি করতে 10 বছর এবং 7 বিলিয়ন ডলার ব্যয় করেছে, এটি একটি বিশাল রকেট যা প্রতিটি লঞ্চের সাথে তিন জোড়া টন উপগ্রহকে এক কক্ষপথে ছুঁড়ে মারতে সক্ষম এবং বাণিজ্যিক মহাকাশ ব্যবসায়ের ক্ষেত্রে ইউরোপকে অপ্রতিরোধ্য অধিকার দেওয়ার লক্ষ্যে তৈরি হয়েছিল।
গত জুনে এই রকেটটি তার প্রথম ভ্রমণে এক মিনিটেরও কম সময়ে বিস্ফোরিত হতে হয়েছিল, ফরাসি গায়ানার ম্যানগ্রোভ জলাভূমিতে আগুনের ধ্বংসস্তূপ ছড়িয়ে দেওয়া, একটি ছোট কম্পিউটার প্রোগ্রাম যা একটি 64৪-বিট সংখ্যাকে ১ 16-বিট জায়গাতে স্টাফ করার চেষ্টা করেছিল।
একটি বাগ, একটি ক্রাশ। কম্পিউটার বিজ্ঞানের ইতিহাসে রেকর্ডকৃত সমস্ত অযত্ন লাইনগুলির মধ্যে, এইটি সবচেয়ে বিধ্বংসী দক্ষ হিসাবে দাঁড়াতে পারে। রকেটরি বিশেষজ্ঞদের সাথে সাক্ষাত্কার এবং মহাকাশ সংস্থার জন্য প্রস্তুত বিশ্লেষণ থেকে, গাণিতিক ত্রুটি থেকে সম্পূর্ণ ধ্বংসের একটি সুস্পষ্ট পথ ফুটে উঠেছে।
ফ্লাইটের 501 ব্যর্থতা এবং পরবর্তী তদন্তগুলি সুরক্ষা সমালোচনামূলক সিস্টেম এবং সফ্টওয়্যার পরীক্ষার গবেষণার জন্য অনুপ্রাণিত করেছিল?
আমি নিজেই বাগটির ব্যাখ্যা খুঁজছি না, তবে ত্রুটির historicalতিহাসিক প্রভাবের ব্যাখ্যার জন্য, গবেষণার দিক থেকে যা ব্যর্থতার তদন্ত (গুলি) থেকে সরাসরি অনুপ্রাণিত হয়েছিল বা সম্পর্কিত ছিল। উদাহরণস্বরূপ এই কাগজটি শেষ হয়েছে:
আমরা স্থির বিশ্লেষণ ব্যবহার করেছি:
- ভেরিয়েবলের সূচনা পরীক্ষা করুন,
- ভাগ করা ভেরিয়েবলগুলির জন্য সম্ভাব্য ডেটা অ্যাক্সেস দ্বন্দ্বগুলির সম্পূর্ণ তালিকা সরবরাহ করুন,
- অ্যাডা শব্দার্থবিদ্যা থেকে সম্ভাব্য রান টাইম ত্রুটিগুলি সম্পূর্ণরূপে তালিকাবদ্ধ করুন।
আমাদের জ্ঞানের মতে এটিই প্রথমবারের মতো বুলিয়ান ভিত্তিক এবং নন বুলিয়ান ভিত্তিক স্ট্যাটিক বিশ্লেষণ কৌশলগুলি শিল্প প্রোগ্রামগুলি যাচাই করার জন্য ব্যবহৃত হয়।
একইভাবে, এই কাগজ (পিডিএফ) নোট:
অ্যাবস্ট্রাক্ট ব্যাখ্যার ভিত্তিক স্ট্যাটিক প্রোগ্রাম বিশ্লেষণগুলি এরিয়েন 5 লঞ্চার এবং এআরডি এমবেডড এডিএ সফটওয়্যারটির স্থিতিশীল বিশ্লেষণের জন্য ব্যবহৃত হয়েছে। স্ট্যাটিক প্রোগ্রাম বিশ্লেষকের লক্ষ্য হল শোধক এবং fl ওটিং-পয়েন্ট ওভার fl ওউস, অ্যারে সূচি ত্রুটিগুলি, শূন্যের সাথে বিভাগ এবং সম্পর্কিত গাণিতিক ব্যতিক্রমগুলি, অবিচ্ছিন্ন ভেরিয়েবলগুলি, ডেটা রেস অন ডে-নাইটনেস, সম্ভাবনা, অসম্পূর্ণতা বা রান-টাইম ত্রুটির অ্যাক্সেসিবিলিটি the ভাগ করা ডেটা স্ট্রাকচার ইত্যাদি The বিশ্লেষকটি আরিয়েন 501 fl ight ight ত্রুটি স্বয়ংক্রিয়ভাবে আবিষ্কার করতে সক্ষম হয়েছিল। এম্বেড করা সুরক্ষা সমালোচনামূলক সফ্টওয়্যার (যেমন এভিওনিক সফটওয়্যার) এর স্থির বিশ্লেষণ অত্যন্ত আশাব্যঞ্জক ।
সফ্টওয়্যার পরীক্ষার পদ্ধতি এবং সরঞ্জামগুলিতে এই একক ইভেন্টটির কী প্রভাব পড়েছে তার একটি পূর্ণ বিবরণ আমি পছন্দ করব।
1 $ 7 বিলিয়ন ডলার চিত্রটি সম্ভবত এরিয়েন 5 প্রকল্পের মোট ব্যয়কে বোঝায়, উইকিপিডিয়া জানিয়েছে যে ব্যর্থতার ফলে $ 370 মিলিয়ন ডলারেরও বেশি লোকসান হয়েছে। এখনও বেশ ব্যয়বহুল ব্যর্থতা কিন্তু billion 7 বিলিয়ন চিত্রের কাছাকাছি কোথাও নেই।