Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
38Rozdział2
Procesywytwarzaniaoprogramowania
przekształceńmatematycznychwceluzachowaniapoprawności.Procesyprzekształ-
ceńformalnych,takiejakwykorzystującemetodęB[Abrial,2005,2010],sągłównie
wykorzystywaneprzywytwarzaniusystemówoprogramowania,któremająnaj-
ostrzejszewymaganiabezpieczeństwa,niezawodnościlubzabezpieczeń.Formal-
nepodejścieupraszczatworzenieprzypadkówwymagańzabezpieczeń.Pozwalato
zademonstrowaćklientomlubinstytucjomregulacyjnym,żesystemrzeczywiście
spełniawymaganiabezpieczeństwa.Zewzględujednaknawysokiekosztybudowa-
niaformalnejspecyfikacjimodeltenjestrzadkostosowanyzwyjątkieminżynierii
systemówkrytycznych.
20102Modelprzyrostowy
Modelwytwarzaniaprzyrostowegojestopartynapomyślezbudowaniawstępnejim-
plementacji,uzyskaniainformacjizwrotnychodużytkownikówizinnychźródeł,po
czymrozwijanieoprogramowaniaprzezwielewersji,ażzostanieutworzonywyma-
ganysystem(rys.2.2).Czynnościzwiązanezespecyfikacją,tworzeniemiwalidacją
sąraczejsplecionezesobąniżrozdzielone,zszybkimprzekazywanieminformacji
zwrotnychmiędzynimi.
Równoczesneczynności
Rysunek2020Modelprzyrostowy
Szkicowyopis
Specyfikacja
Tworzenie
Walidacja
pośrednie
Wersje
wstępna
finalna
Wersja
Wersja
Wytwarzanieprzyrostowewjakiejśformiejestnajczęściejspotykanympodej-
ściemwytwarzaniasystemówużytkowychioprogramowanianasprzedaż.Podej-
ścietomożebyćplanowanealbozwinne,ajeszczeczęściejstanowipołączenietych
wariantów.Wpodejściuplanowanymkolejneprzyrostysystemusąidentyfikowane
zgóry;wprzypadkuprzyjęciapodejściazwinnegoidentyfikowanesątylkowczesne
przyrosty,abudowaniepóźniejszychzależyodpostępówipriorytetówklienta.
Przyrostowewytwarzanieoprogramowania,stanowiącefundamentalnączęść
zwinnychmetodykwytwarzania,sprawdzasięlepiejodpodejściakaskadowegodla
takichsystemów,którychwymaganiaprawdopodobnieulegnązmianiewtrakcie
procesuwytwarzania.Przypadektendotyczywiększościsystemówbiznesowych
ioprogramowanianasprzedaż.Wytwarzanieprzyrostoweodzwierciedlasposoby,
