Offshore Software Development Company, Pålitlig programmering

110 visningar

Software pålitlighet är en viktig aspekt av programvara kvalitet. Det definieras som "sannolikheten för fel-drift av ett datorprogram i en viss miljö för en viss tid"

För att förbättra programvara tillförlitlighet kan tillämpas i olika skeden av ett program utveckling, när det gäller verklig programvara. Dessa faser huvudsakligen omfattar: krav, design, programmering, testning, och runtime utvärdering. Studien teoretiska program tillförlitlighet är främst berörs av begreppet korrekthet, en matematisk området datavetenskap som en utväxt av språk och automater teori.

Krav

Ett program kan inte förväntas fungera som önskat om utvecklarna av programmet inte i själva verket vet programmets önskat beteende i förväg, eller om de inte kan åtminstone fastställa dess önskade beteenden parallellt med utvecklingen i detalj. Vilken detaljnivå anses tillräcklig är omdebatterad. Tanken med perfekt detalj är attraktiv, men det kan vara opraktiskt, om inte rent av omöjligt i praktiken. Detta beror på den önskade beteenden tenderar att förändras som möjligt rad beteende bestäms genom faktiska försök, eller mer exakt, misslyckade försök att uppnå det.

Oavsett om ett program önskade beteenden kan framgångsrikt specificeras i förväg är ett omstritt om det inte kan anges på alla, och detta är i fokus för försöken att formalisera processen för att skapa för nya programvara projekt. In situ med formalisering satsning är ett försök att hjälpa till att informera icke-specialister, särskilt icke-programmerare, som kommissionen programvaruprojekt utan tillräckliga kunskaper om vad mjukvara är i själva verket kan. Förmedla denna kunskap är det svårare med det faktum att, som antyds ovan, även programmerare kan inte alltid veta i förväg vad som verkligen är möjligt för programvara i förväg för att försöka.

Design

Även om kraven är att specificera vad ett program ska göra, design är tänkt, åtminstone på en hög nivå, att specificera hur de ska göra det. Nyttan av design är också ifrågasatts av vissa, men de som ser att formalisera processen för att säkerställa tillförlitlighet ofta erbjuder bra programvara utforma processer som den mest betydande medel för att åstadkomma det. Software design vanligen innebär att man använder mer abstrakta och allmänna medel för vilka delar av programmet och vad de gör. Som sådan kan den ses som ett sätt att bryta ett stort program upp i många mindre program, så att de mindre bitar tillsammans göra arbetet i hela programmet.

Vid hög nivå utformning är följande. Den skiljer vad som anses vara problem för arkitektur, eller totalt program begrepp och struktur, från problem med faktiska kodning, vilket lösa faktiska databehandling. Det gäller ytterligare restriktioner för utvecklingen genom att minska omfattningen av de mindre programvarukomponenter och därigenom - förhoppningsvis - att ta bort variabler som kan öka sannolikheten för programmeringsfel. Det ger ett program mallen, inklusive en specificering av gränssnitt, som kan delas av olika grupper av utvecklare som arbetar med olika delar så att de kan veta på förhand hur var och en av deras bidrag kommer att samverka med de andra grupperna. Slutligen, och kanske mest kontroversiellt, det anger program oberoende av genomförandet eller ett språk, och därigenom undanröja språkrelaterade särskilda fördomar och begränsningar som annars skulle krypa in i mönstret, kanske omedvetet om den del av programmerare, designers.

Programmering

Historia datorprogrammering språkutveckling kan ofta bäst förstås i ljuset av försöken att bemästra komplexitet datorprogram, som annars blir svårare att förstå i förhållande (kanske exponentiellt) till storleken på programmen. (Ett annat sätt att se på utvecklingen av programmeringsspråk är helt enkelt som ett sätt att få datorn att göra mer och mer av arbetet, men detta kan vara ett annat sätt att säga samma sak.) Brist på förståelse av ett program " s övergripande struktur och funktion är ett säkert sätt att misslyckas med att upptäcka fel i programmet, och därmed användningen av bättre språk bör tvärtom minska antalet fel genom att möjliggöra en bättre förståelse.

Förbättringar av språk tenderar att ge inkrementellt vilken programvara design har försökt göra i ett svep: överväga programvaran i allt högre grad av abstraktion. Dessa uppfinningar som förklaring, delenheter rutin, fil, klass, mall, bibliotek, komponent och fler har möjlighet att ordna ett program delar som skall fastställas med hjälp av uttag såsom lager, hierarkier och moduler, som ger struktur på olika granularities, så att från varje synpunkt programmets kod kan föreställa sig att vara överskådligt och begripligt.

Dessutom förbättringar i språk har aktiverat mer exakt kontroll över form och användning av uppgifter, som kulminerar med abstrakt datatyp. Dessa datatyper kan specificeras till ett mycket bra mått, inklusive hur och när de öppnas, och även situationen för de uppgifter före och efter den är tillgänglig.

Testning

Provning av programvara, då göras på rätt sätt, kan öka programvarukvalitet av överensstämmelse genom att testa att produkten uppfyller kraven. Testning innefattar, men begränsas inte till:

Unit Testing
Provning
Resultattest
Failover Testande
Usability Testing

Ett antal lättrörliga metoder provning tidigt i utvecklingen cykeln för att säkerställa kvaliteten i sina produkter. Till exempel har test-driven utveckling praxis, där proven är skrivna före den kod de test, används i Extreme Programming att säkerställa kvalitet.

Körtid

Körtid tillförlitlighet bestämningar liknande test, men utöver enkel bekräftelse av beteende för bedömningen av kvaliteter såsom prestanda och kompatibilitet med annan kod eller särskilt maskinvarukonfigurationerna ...

Källa: http://www.articlesbase

Relaterat Webbplatsdesign Artiklar

Märken: Software Outsourcing

Den här intrade var postat på fredag den 7 november 2008 vid 9:07 och är arkiverat under Flash, Flex Design, Software Development, Software Outsourcing, Nätutveckling. Du kan följa någon svaren till denna post via RSS 2.0 feed. Du kan lämna ett svar, eller trackback från din egen webbplats.