Abstrakt. I detta dokument föreslås en konceptuell ram för tillförlitlighetsbedömning av programvarukomponenter som omfattar testfallsutförande och utvärdering av resultat. Att fastställa en operativ profil och utvärdera resultaten är två svåra och viktiga problem som måste lösas inom en sådan ram. Det är svårt att fastställa en operativ profil, eftersom den kräver att man förutser den framtida användningen av komponenten. Ett förväntat resultat behövs för varje testfall för att utvärdera testresultatet och ett testorakel används för att generera dessa förväntade resultat. Ramverket kombinerar statistiska tester och test orakel som genomförs som självkontrollerande versioner av implementeringarna. Ramen illustreras med hjälp av två exempel som valts ut för att identifiera de frågor som måste tas upp för att tillhandahålla verktygsstöd till ramen.
Den metod som beskrivs i detta dokument är en viktig del av vårt ramverk för tillförlitlighetsbedömning av programvarukomponenter REF, som också innehåller testfallsutförande och utdatautvärdering.
A Framework for Reliability Assessment of Software Components
{'venue': 'CBSE', 'journal': None, 'mag_field_of_study': ['Computer Science']}