om omfattande fältfelsdata för Tandems GUARDIAN-operativsystem, diskuteras i detta dokument utvärdering av tillförlitligheten av operativ programvara. Programvarufel som beaktas är större defekter som resulterar i processorfel och åberopar säkerhetskopieringsprocesser för att ta över. Papperet kategoriserar de underliggande orsakerna till programfel och utvärderar effektiviteten av processpar teknik för att tolerera programfel. En modell för att beskriva effekterna av programvarufel på tillförlitligheten hos ett övergripande system föreslås. Modellen används för att utvärdera betydelsen av nyckelfaktorer som avgör programvarans tillförlitlighet och för att identifiera områden för imProvement. En analys av data visar att cirka 77% av processorfel som ursprungligen anses på grund av programvara bekräftas som programvaruproblem. Analysen visar att användningen av processpar för att ge kontrollpointing och omstart (ursprungligen avsedd för att tolerera hårdvarufel) gör att systemet tolererar cirka 75% av rapporterade programvarufel som resulterar i processorfel. Den lösa kopplingen mellan processorer, vilket resulterar i att säkerhetskopieringsutförandet (processortillståndet och händelsesekvensen) skiljer sig från det ursprungliga utförandet, är en viktig orsak till den uppmätta feltoleransen för programvara. Över två tredjedelar (72 %) av de uppmätta programfelen är upprepningar av tidigare rapporterade fel. Modellering, baserat på data, visar att förutom att minska antalet programvarufel, programvara beroendeabifity kan förbättras genom att minska återfallsfrekvensen. , felkategorisering, feltolerans för programvara, upprepning, programvarutillförlitlighet, driftsfas, Tandem GUARDIAN System. användning av de feldata som samlats in under utvecklingsfasen Manuskript som mottagits
System tillförlitlighet analyseras i detalj från synen på programvara fel i REF.
Software dependability in the Tandem GUARDIAN system
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}