Offshore Software Development Company, Pålitelige Software Programmering
110 visningerSoftware pålitelighet er en viktig fasett av programvare kvalitet. Det er definert som "sannsynligheten for svikt-drift av et dataprogram i et bestemt miljø for en bestemt tid"
Å forbedre programvaren pålitelighet kan brukes på ulike stadier av et program for utvikling, i tilfelle av ekte programvare. Disse fasene hovedsak omfatter: krav, design, programmering, testing og kjøring evaluering. Studiet av teoretisk programvare pålitelighet er overveiende opptatt av begrepet korrekthet, en matematisk feltet informatikk som er en outgrowth av språk og automata teori.
Krav
Et program kan ikke forventes å fungere som ønsket hvis utviklerne av programmet ikke, faktisk, vet programmets ønsket atferd i forveien, eller om de kan ikke minst finne ønsket atferd parallelt med utvikling, i tilstrekkelig detalj. Hva detaljnivået anses tilstrekkelig er hotly diskutert. Ideen om perfekt detalj er attraktivt, men det kan være upraktisk hvis ikke umulig, i praksis. Dette er fordi ønsket atferd tendens til å endre som mulig spekter av oppførselen bestemmes gjennom faktiske forsøk, eller mer nøyaktig, mislykkede forsøk på å få det til.
Hvorvidt et program ønsket atferd kan lykkes spesifisert på forhånd er en Moot dersom oppførselen kan ikke spesifiseres i det hele tatt, og dette er fokus for å formalize prosessen med å opprette krav til ny programvare-prosjekter. In situ med formalisering innsats er et forsøk på å bidra til å informere ikke-spesialister, særlig ikke-programmerere, som kommisjon programvare prosjekter uten tilstrekkelig kunnskap om hvilke dataprogrammer er faktisk i stand. Kommunisere denne kunnskapen gjøres vanskeligere av at det, som antydet ovenfor, selv programmerere kan ikke alltid vite på forhånd hva som er faktisk mulig for programvare i forkant av prøver.
Design
Mens kravene er ment å angi hva programmet skal gjøre, design menes minst på et høyt nivå, for å angi hvordan programmet skal gjøre det. Nytten av design er også stilt spørsmål ved noen, men de som ser formalize prosessen med å sikre stabiliteten ofte tilby gode software design prosesser som det mest betydelige midler for å oppnå det. Software design vanligvis innebærer bruk av mer abstrakt og generell metode for å angi de delene av programvaren og hva de gjør. Derfor kan det ses som en måte å bryte et stort program ned i mange mindre programmer, slik at de mindre brikkene sammen gjøre arbeidet av hele programmet.
Hensikter høyt nivå design er som følger. Det skiller det anses å være problemer med arkitektur, eller generelle program konsept og struktur, fra problemer av faktiske koding som løse problemer av faktiske data prosessering. Det gjelder flere begrensninger for utvikling ved å begrense omfanget av de mindre programvare-komponenter, og dermed - Det er å håpe - fjerne variabler som kan øke sannsynligheten for programmering feil. Det gir et program mal, inkludert spesifikasjon av grensesnitt, som kan deles av ulike grupper av utviklere som arbeider på ulike deler, slik at de kan vite på forhånd hvordan hver av deres bidrag vil sammen med de andre gruppene. Til slutt, og kanskje mest controversially det spesifiserer programmet uavhengig av gjennomføringen språk, og dermed fjerne språk-spesifikk biases og begrensninger som ellers ville krype inn i designen, kanskje uforvarende på en del av programmerer-designere.
Programmering
Historien til datamaskinen programmeringsspråk utvikling ofte kan best forstås i lys av forsøk på å mestre kompleksiteten av dataprogrammer, som ellers blir mer vanskelig å forstå i forhold (kanskje eksponentielt) til størrelsen på programmene. (En annen måte å se på utviklingen av programmeringsspråk er bare som en måte å få maskinen til å gjøre mer og mer av arbeidet, men dette kan være en annen måte å si det samme.) Mangel på forståelse av programmet " s overordnede strukturen og funksjonaliteten er en sikker måte å unngå å oppdage feil i programmet, og dermed bruk av bedre språk bør motsatt redusere antall feil ved at en bedre forståelse.
Forbedringer i språk tenderer til å gi trinnvis hva software design har forsøkt å gjøre i en falt razzia: betrakter programvare på stadig større grad av abstraksjon. Slike oppfinnelser som statement, sub-rutine, fil klasse, mal, bibliotek, komponent, og flere har lov inndelingen av et program deler skal være angitt med abstractions som lag, hierarkier og moduler som gir struktur på ulike granularities, slik at alle synspunkt programmets kode kan tenkes å være ryddig og forståelig.
I tillegg forbedringer i språk har aktivert mer nøyaktig kontroll over form og bruk av data elementer, kulminerte i abstrakt datatype. Disse datatypene kan spesifiseres til en veldig fin grad, inkludert hvordan og når de åpnes, og selv staten av data før og etter at den er åpnet.
Testing
Software testing, når det gjøres riktig, kan øke samlet programvare kvalitet conformance tester at produktet overholder kravene. Testing inkluderer, men er ikke begrenset til:
- Unit Testing
- Funksjonell testing
- Ytelsestesting
- Failover Testing
- Usability testing
En rekke smidige metoder bruker testing tidlig i utviklingen sykle for å sikre kvalitet i sine produkter. For eksempel har test-drevet utvikling praksis, der testene er skrevet før koden vil de teste, brukes i Extreme Programming å sikre kvaliteten.
Kjøretid
Kjøretid pålitelighet bestemmelser ligner på testene, men det går utover enkel bekreftelse av oppførselen til vurdering av egenskaper som ytelse og interoperabilitet med andre eller bestemte maskinvarekonfigurasjoner ...
Kilde: http://www.articlesbase
Relaterte Website Design artikler
Tags: Programvare Outsourcing
Denne komme inn var postet opp på Fredag, 7 november, 2008 9:07 am og er arkivert under Flash, Flex Design, Software Development, Software Outsourcing, webutvikling. Du kan følge alle svar å denne komme inn igjennom detRSS 2.0 feed. Du kan igjen en svaret, eller styrekule fra din egen sted.
