Offshore Software Development Company, Reliable Software Programmering

110 visninger

Software pålidelighed er en vigtig facet af software kvalitet. Det er defineret som "sandsynligheden for fiasko-fri drift af et edb-program i et bestemt miljø for en bestemt tid"

At forbedre software pålidelighed kan anvendes på forskellige stadier af et program udvikling, i tilfælde af reelle software. Disse faser hovedsagelig omfatter: krav, design, programmering, test og runtime evaluering. Undersøgelsen af de teoretiske software pålidelighed er overvejende beskæftiger sig med begrebet korrekthed, en matematisk området datalogi, som er en outgrowth af sprog og automata teori.

Krav

Et program kan ikke forventes at fungere som ønsket, hvis udviklerne af programmet ikke i virkeligheden, ved programmets ønskede adfærd i forvejen, eller hvis de ikke kan i det mindste bestemme dets ønskede adfærd parallelt med udvikling, der er tilstrækkelig detaljeret. Hvilken detaljeringsgrad, anses for tilstrækkelig er varmt debatteret. Tanken om perfekte detalje er attraktivt, men det kan være upraktisk, hvis der faktisk ikke er umuligt i praksis. Dette skyldes, at den ønskede adfærd tendens til at ændre, da de mulige vifte af adfærd bestemmes gennem faktiske forsøg, eller mere præcist, mislykkede forsøg på at nå det.

Om et program's ønskede adfærd kan blive angivet på forhånd kan diskuteres, hvis adfærd kan ikke angives på alle, og dette er i fokus for forsøg på at formalisere processen hen imod kravene til nye software-projekter. In situ med formaliseres indsats er et forsøg på at hjælpe med at informere ikke-specialister, især ikke-programmører, som Kommissionen software projekter uden tilstrækkelig viden om, hvad computer-software er i stand. Kommunikere denne viden er gjort vanskeligere af, at der som antydet ovenfor, selv programmører kan ikke altid på forhånd ved, hvad der rent faktisk muligt for software i forvejen for at forsøge.

Design

Mens krav har til formål at præcisere, hvad et program skal gøre, design der menes, i det mindste på et højt niveau, til at angive, hvordan programmet skal gøre det. Nytten af design er også spørgsmålstegn ved nogle, men dem, der ser at formalisere processen for at sikre pålidelighed ofte tilbyder god software design processer som den mest betydelige midler til at gennemføre det. Software design normalt indebærer brug af mere abstrakt og generel hjælp af hvilke dele af softwaren, og hvad de gør. Som sådan kan det ses som en måde at bryde et stort program ned i mange små programmer, således at de mindre stykker sammen gøre arbejdet i hele programmet.

Med henblik på højt niveau design er som følger. Det adskiller, hvad der anses for at være problemer for arkitektur, eller samlet program koncept og struktur, fra problemerne med den faktiske kodning, der løser problemer af de faktiske data forarbejdning. Det gælder yderligere begrænsninger til udviklingsprocessen ved at indsnævre anvendelsesområdet for de mindre software-komponenter, og dermed - håber man - fjerne variabler, som kan øge sandsynligheden for programmering fejl. Det giver et program skabelon, herunder specifikation af grænseflader, som kan deles af forskellige teams af udviklere arbejder på forskellige dele, således at de kan vide på forhånd, hvordan hver af deres bidrag vil knytte sig til de andre hold. Endelig, og måske mest kontroversielt, det angiver programmet uafhængigt af gennemførelsen eller de sprog, og derved fjerne sprog-specifikke afvigelser og begrænsninger, der ellers ville krybe ind i design, måske uden at vide om den del af programmør-designere.

Programmering

Historie computer programmeringssprog udvikling ofte kan bedst forstås i lyset af forsøg på at håndtere de komplekse edb-programmer, som ellers bliver mere vanskeligt at forstå i forhold (måske eksponentielt) til størrelsen af de programmer. (En anden måde at anskue udviklingen i programmerings sprog er simpelthen som en måde at få computeren til at gøre mere og mere af arbejdet, men dette kan være en anden måde for at sige det samme.) Manglende forståelse af et program " s overordnede struktur og funktionalitet er en sikker vej til at mislykkes at opdage fejl i programmet, og dermed brugen af bedre sprog bør omvendt reducere antallet af fejl ved at give en bedre forståelse.

Forbedringer i sprog er tilbøjelige til at give trinvist hvilken software design, har forsøgt at gøre med ét slag: overveje software i stadig større grad af abstraktion. Sådanne opfindelser som redegørelse, sub-rutine, fil, klassen, skabelon, bibliotek, komponent og flere har gjort det muligt at arrangere et program's dele skal specificeres ved hjælp af abstraktioner såsom lag, hierarkier og moduler, som giver struktur på forskellige granularities, således at der fra ethvert synspunkt programmets kode kan forestille sig at være overskuelig og forståelig.

Hertil kommer, at forbedringer i sprog har aktiveret mere nøjagtig kontrol over den form og anvendelse af data elementer, som kulminerede i den abstrakte datatype. Disse data typer kan angives til en meget fin vis, herunder hvordan og hvornår de er åbnet, og selv det data før og efter det er adgang til.

Testning

Software testning, når dette er korrekt, kan øge de samlede software kvalitet conformance ved at teste, at produktet opfylder dets krav. Testning omfatter, men er ikke begrænset til:

Unit Testing
Funktionskontrol
Individproever
Failover Testning
Usability Testing

En række af agile metoder bruge test tidligt i udviklingen cyklus for at sikre kvalitet i deres produkter. For eksempel er test-drevet udvikling praksis, hvor test er skrevet før den kode, vil de test, der bruges i Extreme Programming for at sikre kvaliteten.

Længde

Længde pålidelighed bestemmelser svarer til test, men går videre end blot en bekræftelse af adfærd til evalueringen af kvaliteter som og-interoperabilitet med andre kode eller særlig hardware konfigurationer ...

Kilde: http://www.articlesbase

Relaterede Website Design Artikler

Tags: Software Outsourcing

Denne løsning var sendt oven på Fredag, November 7th, 2008 9:07 og er gemt under Flash, Flex Design, Software Development, Software Outsourcing, Web Development. Du kan følge alle svar til denne post via RSS 2.0 feed. Du kan efterlade et svar, eller styrekugle fra dit eget websted.