एरियन 5 रॉकेट 37 सेकंड के विघटन के बाद उसकी पहली यात्रा पर उड़ान ( 501 उड़ान ) को आमतौर पर इतिहास के सबसे महंगे सॉफ्टवेयर बग में से एक के रूप में जाना जाता है। 1 :
एरियन 5 का उत्पादन करने के लिए यूरोपीय अंतरिक्ष एजेंसी को 10 साल और $ 7 बिलियन का समय लगा, एक विशाल रॉकेट जो प्रत्येक प्रक्षेपण के साथ तीन-टन के उपग्रहों की एक जोड़ी को चोट पहुंचाने में सक्षम था और यूरोप को वाणिज्यिक अंतरिक्ष व्यवसाय में भारी वर्चस्व देने का इरादा रखता था।
यह सब पिछले जून में अपनी पहली यात्रा में एक मिनट से भी कम समय तक रॉकेट में विस्फोट करने के लिए लिया गया था, फ्रेंच गुयाना के मैंग्रोव दलदलों के पार उग्र मलबे को बिखेरना, एक छोटा कंप्यूटर प्रोग्राम था जो 64-बिट संख्या को 16-बिट स्पेस में सामान करने की कोशिश कर रहा था।
एक बग, एक दुर्घटना। कंप्यूटर विज्ञान के इतिहास में दर्ज कोड की सभी लापरवाह लाइनों में से, यह सबसे विनाशकारी रूप में कुशल हो सकता है। रॉकेटरी विशेषज्ञों के साथ साक्षात्कार और अंतरिक्ष एजेंसी के लिए तैयार किए गए विश्लेषण से, अंकगणितीय त्रुटि से कुल विनाश का एक स्पष्ट मार्ग उभरता है।
फ्लाइट की 501 विफलता और उसके बाद की जांच में कौन से बड़े बदलाव सुरक्षा महत्वपूर्ण प्रणालियों और सॉफ्टवेयर परीक्षण के अनुसंधान के लिए प्रेरित करते हैं?
मैं स्वयं बग के स्पष्टीकरण की तलाश नहीं कर रहा हूं, लेकिन बग के ऐतिहासिक प्रभाव के स्पष्टीकरण के लिए, अनुसंधान के संदर्भ में जो कि असफलता की जांच (ओं) से सीधे जुड़े थे या उनसे संबंधित थे। उदाहरण के लिए यह पेपर समाप्त होता है:
हमने स्थैतिक विश्लेषण का उपयोग किया है:
- चर के आरंभीकरण की जाँच करें,
- साझा चर के लिए संभावित डेटा एक्सेस टकराव की विस्तृत सूची प्रदान करें,
- एडा शब्दार्थ से संभावित रन टाइम त्रुटियों को सूचीबद्ध करें।
हमारे ज्ञान के लिए यह पहली बार बूलियन-आधारित और गैर-बूलियन-आधारित स्थैतिक विश्लेषण तकनीकों का उपयोग औद्योगिक कार्यक्रमों को मान्य करने के लिए किया जाता है।
इसी तरह, यह कागज (पीडीएफ) नोट:
सार व्याख्या आधारित स्थैतिक कार्यक्रम विश्लेषण एरियन 5 लांचर और एआरडी के एम्बेडेड एडीए सॉफ्टवेयर के स्थैतिक विश्लेषण के लिए उपयोग किया गया है। स्टेटिक प्रोग्राम एनालाइज़र का लक्ष्य डे, नाइटिटी, क्षमता, असंभवता या रन-टाइम त्रुटियों की अशुद्धि जैसे स्केलर और ating ओटिंग-पॉइंट ओवर, ओव्स, एरे इंडेक्स एरर्स, शून्य और संबंधित अंकगणितीय अपवादों के विभाजन, अनइंस्टाल्यूटेड वैरिएबल्स की स्वचालित पहचान करना है। साझा डेटा संरचनाएं, आदि। विश्लेषक स्वतः एरियन 501। ight त्रुटि की खोज करने में सक्षम था। एम्बेडेड सुरक्षा महत्वपूर्ण सॉफ़्टवेयर (जैसे एवियोनिक सॉफ़्टवेयर) का स्थैतिक विश्लेषण बहुत आशाजनक है ।
मुझे इस एकल घटना के सॉफ़्टवेयर परीक्षण दृष्टिकोण और उपकरणों पर पड़ने वाले प्रभाव की पूरी तरह से व्याख्या करना अच्छा लगेगा।
1 $ 7 बिलियन का आंकड़ा संभवतः एरियन 5 परियोजना की कुल लागत को संदर्भित करता है, विकिपीडिया रिपोर्ट करता है कि विफलता के कारण 370 मिलियन डॉलर से अधिक का नुकसान हुआ। अभी भी एक काफी महंगी विफलता है लेकिन कहीं भी $ 7 बिलियन के आंकड़े के पास नहीं है।