logo

Programvarekravspesifikasjoner

Produksjonen av kravene stadiet av programvareutviklingsprosessen er Programvarekravspesifikasjoner (SRS) (også kalt a kravdokument ). Denne rapporten legger et grunnlag for programvareutviklingsaktiviteter og bygges opp når hele krav er fremkalt og analysert. SRS er en formell rapport, som fungerer som en representasjon av programvare som gjør det mulig for kundene å vurdere om den (SRS) er i henhold til deres krav. Den omfatter også brukerkrav for et system samt detaljerte spesifikasjoner av systemkravene.

SRS er en spesifikasjon for et spesifikt programvareprodukt, program eller sett med applikasjoner som utfører bestemte funksjoner i et spesifikt miljø. Den tjener flere mål avhengig av hvem som skriver den. For det første kan SRS skrives av klienten til et system. For det andre kan SRS skrives av en utvikler av systemet. De to metodene skaper helt forskjellige situasjoner og etablerer ulike formål for dokumentet. Det første tilfellet, SRS, brukes til å definere behov og forventninger til brukerne. Den andre saken, SRS, er skrevet for ulike formål og fungerer som et kontraktsdokument mellom kunde og utbygger.

Kjennetegn på god SRS

Programvarekravspesifikasjoner

Følgende er funksjonene til et godt SRS-dokument:

1. Riktighet: Brukergjennomgang brukes for å gi nøyaktigheten til kravene angitt i SRS. SRS sies å være perfekt hvis det dekker alle behov som virkelig forventes av systemet.

2. Fullstendighet: SRS er komplett hvis, og bare hvis, det inkluderer følgende elementer:

(1). Alle essensielle krav, enten de er knyttet til funksjonalitet, ytelse, design, begrensninger, attributter eller eksterne grensesnitt.

java hvordan konvertere streng til int

(2). Definisjon av deres svar av programvaren til alle realiserbare klasser av inputdata i alle tilgjengelige kategorier av situasjoner.

Merk: Det er viktig å spesifisere svarene på både gyldige og ugyldige verdier.

(3). Fullstendige etiketter og referanser til alle figurer, tabeller og diagrammer i SRS og definisjoner av alle termer og måleenheter.

3. Konsistens: SRS er konsistent hvis, og bare hvis, ingen delsett av individuelle krav beskrevet i konflikten. Det er tre typer mulige konflikter i SRS:

(1). De spesifiserte egenskapene til virkelige objekter kan komme i konflikt. For eksempel,

(a) Formatet til en utdatarapport kan beskrives i ett krav som tabell, men i et annet som tekstlig.

(b) En betingelse kan angi at alle lys skal være grønne mens en annen sier at alle lys skal være blå.

(2). Det kan være en rimelig eller tidsmessig konflikt mellom de to angitte handlingene. For eksempel,

(a) Ett krav kan bestemme at programmet vil legge til to innganger, og et annet kan bestemme at programmet vil multiplisere dem.

(b) En betingelse kan angi at 'A' alltid må følge 'B', mens en annen krever at 'A og B' oppstår samtidig.

(3). To eller flere krav kan definere det samme virkelige objektet, men bruker forskjellige termer for det objektet. For eksempel kan et programs forespørsel om brukerinndata kalles en 'prompt' i ett krav og en 'cue' i et annet. Bruk av standard terminologi og beskrivelser fremmer konsistens.

4. Entydighet: SRS er entydig når hvert faste krav kun har én tolkning. Dette antyder at hvert element er unikt tolket. I tilfelle det er en metode som brukes med flere definisjoner, bør kravrapporten bestemme implikasjonene i SRS slik at den er klar og enkel å forstå.

5. Rangering for viktighet og stabilitet: SRS er rangert for viktighet og stabilitet hvis hvert krav i den har en identifikator som indikerer enten betydningen eller stabiliteten til det aktuelle kravet.

Vanligvis er ikke alle krav like viktige. Noen forutsetninger kan være avgjørende, spesielt for livskritiske applikasjoner, mens andre kan være ønskelige. Hvert element bør identifiseres for å gjøre disse forskjellene klare og eksplisitte. En annen måte å rangere krav på er å skille klasser av varer som essensielle, betingede og valgfrie.

6. Modifiserbarhet: SRS bør gjøres så modifiserbart som sannsynlig og bør være i stand til raskt å oppnå endringer i systemet til en viss grad. Endringer bør være perfekt indeksert og kryssreferanser.

7. Verifiserbarhet: SRS er riktig når de spesifiserte kravene kan verifiseres med et kostnadseffektivt system for å sjekke om den endelige programvaren oppfyller disse kravene. Kravene verifiseres ved hjelp av anmeldelser.

8. Sporbarhet: SRS kan spores hvis opprinnelsen til hvert av kravene er klar og hvis det gjør det lettere å referere til hver tilstand i fremtidig utviklings- eller forbedringsdokumentasjon.

Det finnes to typer sporbarhet:

java multithreading

1. Sporbarhet bakover: Dette avhenger av at hvert krav eksplisitt refererer til kilden i tidligere dokumenter.

2. Sporbarhet fremover: Dette avhenger av at hvert element i SRS har et unikt navn eller referansenummer.

Sporbarheten til SRS er spesielt viktig når programvareproduktet går inn i drifts- og vedlikeholdsfasen. Ettersom koden og designdokumentet endres, er det nødvendig å kunne fastslå det komplette settet med krav som kan være berørt av disse modifikasjonene.

9. Designuavhengighet: Det bør være et alternativ for å velge mellom flere designalternativer for det endelige systemet. Mer spesifikt bør SRS ikke inneholde noen implementeringsdetaljer.

10. Testbarhet: En SRS bør skrives i en slik metode at det er enkelt å generere testcases og testplaner fra rapporten.

11. Forståelig av kunden: En sluttbruker kan være en ekspert på hans/hennes eksplisitte domene, men er kanskje ikke opplært i informatikk. Derfor bør formålet med formelle notasjoner og symboler unngås i så stor grad som mulig. Språket skal holdes enkelt og tydelig.

12. Riktig abstraksjonsnivå: Hvis SRS er skrevet for kravstadiet, bør detaljene forklares eksplisitt. Mens, for en mulighetsstudie, kan færre analyser brukes. Derfor endres abstraksjonsnivået i henhold til målet med SRS.

Egenskaper til et godt SRS-dokument

De essensielle egenskapene til et godt SRS-dokument er følgende:

Konsis: SRS-rapporten skal være kortfattet og samtidig entydig, konsistent og fullstendig. Utførlige og irrelevante beskrivelser reduserer lesbarheten og øker også feilmulighetene.

Strukturert: Det skal være godt strukturert. Et godt strukturert dokument er enkelt å forstå og endre. I praksis gjennomgår SRS-dokumentet flere revisjoner for å møte brukerkravene. Ofte utvikler brukerkrav seg over en periode. Derfor, for å gjøre endringene i SRS-dokumentet enkle, er det viktig å gjøre rapporten godt strukturert.

sjakal vs ulv

Black-box-visning: Den skal kun definere hva systemet skal gjøre og avstå fra å angi hvordan disse skal gjøres. Dette betyr at SRS-dokumentet skal definere den eksterne oppførselen til systemet og ikke diskutere implementeringsspørsmålene. SRS-rapporten bør se på systemet som skal utvikles som en svart boks og skal definere den eksternt synlige oppførselen til systemet. Av denne grunn er SRS-rapporten også kjent som black-box-spesifikasjonen til et system.

Konseptuell integritet: Den skal vise konseptuell integritet slik at leseren bare kan forstå den. Respons på uønskede hendelser: Den skal karakterisere akseptable reaksjoner på uønskede hendelser. Disse kalles systemrespons på eksepsjonelle forhold.

Verifiserbar: Alle krav til systemet, som dokumentert i SRS-dokumentet, skal være korrekte. Dette betyr at det skal være mulig å ta stilling til om krav er oppfylt i en gjennomføring.