logo

Programvarukravspecifikationer

Produktionen av kravstadiet i mjukvaruutvecklingsprocessen är Programvarukravsspecifikationer (SRS) (även kallad a kravdokument ). Denna rapport lägger en grund för programvaruutvecklingsaktiviteter och bygger upp när hela krav framkallas och analyseras. SRS är en formell rapport, som fungerar som en representation av programvara som gör det möjligt för kunderna att granska om den (SRS) är enligt deras krav. Den omfattar också användarkrav för ett system samt detaljerade specifikationer av systemkraven.

SRS är en specifikation för en specifik mjukvaruprodukt, program eller uppsättning applikationer som utför särskilda funktioner i en specifik miljö. Den tjänar flera mål beroende på vem som skriver den. Först kan SRS skrivas av klienten till ett system. För det andra kan SRS skrivas av en utvecklare av systemet. De två metoderna skapar helt olika situationer och skapar helt olika syften för dokumentet. Det första fallet, SRS, används för att definiera användarnas behov och förväntningar. Det andra fallet, SRS, är skrivet för olika ändamål och fungerar som ett avtalsdokument mellan kund och utvecklare.

Egenskaper för bra SRS

Programvarukravspecifikationer

Följande är funktionerna i ett bra SRS-dokument:

1. Rätthet: Användargranskning används för att ge riktigheten av kraven som anges i SRS. SRS sägs vara perfekt om det täcker alla behov som verkligen förväntas av systemet.

2. Fullständighet: SRS är komplett om, och endast om, det innehåller följande element:

(1). Alla väsentliga krav, oavsett om de rör funktionalitet, prestanda, design, begränsningar, attribut eller externa gränssnitt.

analysera sträng till int

(2). Definition av deras svar av programvaran på alla realiserbara klasser av indata i alla tillgängliga kategorier av situationer.

Obs: Det är viktigt att ange svaren på både giltiga och ogiltiga värden.

(3). Fullständiga etiketter och referenser till alla figurer, tabeller och diagram i SRS och definitioner av alla termer och måttenheter.

3. Konsistens: SRS är konsekvent om, och endast om, ingen delmängd av individuella krav som beskrivs i dess konflikt. Det finns tre typer av möjliga konflikter i SRS:

(1). De angivna egenskaperna för verkliga objekt kan komma i konflikt. Till exempel,

(a) Formatet för en utdatarapport kan i ett krav beskrivas som tabell men i ett annat som text.

(b) Ett villkor kan ange att alla lampor ska vara gröna medan ett annat anger att alla lampor ska vara blå.

(2). Det kan finnas en rimlig eller tidsmässig konflikt mellan de två angivna åtgärderna. Till exempel,

(a) Ett krav kan bestämma att programmet kommer att lägga till två ingångar, och ett annat kan bestämma att programmet kommer att multiplicera dem.

(b) Ett villkor kan ange att 'A' alltid måste följa 'B', medan andra kräver att 'A och B' förekommer samtidigt.

(3). Två eller flera krav kan definiera samma verkliga objekt men använder olika termer för det objektet. Till exempel kan ett programs begäran om användarinmatning kallas en 'prompt' i ett krav och en 'cue' i ett annat. Användningen av standardterminologi och beskrivningar främjar konsekvens.

4. Entydighet: SRS är entydigt när varje fast krav endast har en tolkning. Detta tyder på att varje element tolkas unikt. Om det finns en metod som används med flera definitioner bör kravrapporten fastställa konsekvenserna i SRS så att den är tydlig och enkel att förstå.

5. Rangordning för betydelse och stabilitet: SRS rankas för betydelse och stabilitet om varje krav i den har en identifierare för att indikera antingen signifikansen eller stabiliteten av det specifika kravet.

Vanligtvis är alla krav inte lika viktiga. Vissa förutsättningar kan vara väsentliga, särskilt för livskritiska tillämpningar, medan andra kan vara önskvärda. Varje element bör identifieras för att göra dessa skillnader tydliga och tydliga. Ett annat sätt att rangordna krav är att särskilja klasser av objekt som väsentliga, villkorade och valfria.

6. Modifierbarhet: SRS bör göras så modifierbart som troligt och bör snabbt kunna erhålla ändringar i systemet i viss utsträckning. Ändringar bör vara perfekt indexerade och korsreferens.

7. Verifierbarhet: SRS är korrekt när de angivna kraven kan verifieras med ett kostnadseffektivt system för att kontrollera om den slutliga mjukvaran uppfyller dessa krav. Kraven verifieras med hjälp av recensioner.

8. Spårbarhet: SRS är spårbart om ursprunget till vart och ett av kraven är tydligt och om det underlättar hänvisningen till varje tillstånd i framtida utvecklings- eller förbättringsdokumentation.

Det finns två typer av spårbarhet:

gimp export som jpg

1. Spårbarhet bakåt: Detta beror på att varje krav uttryckligen hänvisar till sin källa i tidigare dokument.

2. Spårbarhet framåt: Detta beror på att varje element i SRS har ett unikt namn eller referensnummer.

Spårbarheten framåt av SRS är särskilt avgörande när mjukvaruprodukten går in i drift- och underhållsfasen. När kod och designdokument ändras är det nödvändigt att kunna fastställa den fullständiga uppsättningen av krav som kan beröras av dessa ändringar.

9. Designoberoende: Det bör finnas ett alternativ att välja mellan flera designalternativ för det slutliga systemet. Mer specifikt bör SRS inte innehålla några genomförandedetaljer.

10. Testbarhet: En SRS bör skrivas på en sådan metod att det är enkelt att generera testfall och testplaner från rapporten.

11. Kunden förstår: En slutanvändare kan vara en expert på hans/hennes explicita domän men kanske inte är utbildad i datavetenskap. Därför bör syftet med formella notationer och symboler undvikas i alltför stor utsträckning som möjligt. Språket ska hållas enkelt och tydligt.

12. Rätt abstraktionsnivå: Om SRS är skrivet för kravstadiet, bör detaljerna förklaras explicit. För en förstudie kan färre analyser användas. Därför ändras abstraktionsnivån i enlighet med syftet med SRS.

Egenskaper för ett bra SRS-dokument

De väsentliga egenskaperna hos ett bra SRS-dokument är följande:

Koncis: SRS-rapporten ska vara kortfattad och samtidigt entydig, konsekvent och komplett. Omfattande och irrelevanta beskrivningar minskar läsbarheten och ökar även felmöjligheterna.

Strukturerad: Det ska vara välstrukturerat. Ett välstrukturerat dokument är enkelt att förstå och ändra. I praktiken genomgår SRS-dokumentet flera revisioner för att klara användarens krav. Ofta utvecklas användarkraven över en tidsperiod. För att göra ändringarna av SRS-dokumentet lätta är det därför viktigt att göra rapporten välstrukturerad.

centos vs rhel

Black-box-vy: Den ska bara definiera vad systemet ska göra och avstå från att ange hur dessa ska göras. Detta innebär att SRS-dokumentet ska definiera systemets externa beteende och inte diskutera implementeringsfrågorna. SRS-rapporten ska se systemet som ska utvecklas som en svart låda och ska definiera systemets externt synliga beteende. Av denna anledning är SRS-rapporten också känd som black-box-specifikationen för ett system.

Konceptuell integritet: Den ska visa begreppsmässig integritet så att läsaren bara kan förstå den. Respons på oönskade händelser: Det ska karakterisera acceptabla svar på oönskade händelser. Dessa kallas systemrespons på exceptionella förhållanden.

Verifierbar: Alla krav på systemet, som dokumenterats i SRS-dokumentet, ska vara korrekta. Det innebär att det ska vara möjligt att avgöra om krav har uppfyllts vid ett genomförande.