hrvatski

Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa

U disertaciji su opisani postupci specifikacije i provjere ispravnosti specifikacije telekomunikacijskih procesa s posebnim naglaskom na formalnim metodama. Osnovni cilj formalnih metoda je pomoć inženjerima pri konstrukciji pouzdanijih sustava. Provjera specifikacije uključuje validaciju i verifikaciju. Neformalno se može reći: validacija je pokazivanje da su dobro postavljeni zahtjevi a verifikacija da je sustav izgrađen u skladu sa zahtjevima. Verifikacijske metode svrstane su u dvije grupe koje koriste dokazivanje teorema ili provjeru modela. Posebno su istaknute integracije različitih pristupa verifikaciji s naglaskom na učinkovitost provjere specifikacijske ispravnosti. Postupci provjere ispravnosti specifikacije te njihov preslik u odgovarajuće pomagalo kao sastavnice inteligentne razvojne okoline za razvoj telekomunikacijskog softvera predloženi su u obliku reprezentativnog laboratorijskog modela. Prikazani su modeli i metode transpozicije iz domene znanja o telekomunikacijskim procesima u jezični prostor te kriteriji izbora tipa jezika koji premošćuje relaciju između znanja i procesa temeljem ponuđene tehnologije. Niti jedna od poznatih metoda ne zadovoljava sve potrebe te je istraživanje formalnih specifikacijskih jezika koji bi se upotrebljavali u području programskog inženjeringa još uvijek značajno područje aktivnog istraživanja. Jedno od predloženih rješenja je integriranje dokazivača teorema opće namjene sa specifičnim tehnikama provjere modela. Formalne tehnike mogu osigurati ispravno provođenje međukoraka dizajna ali i dalje ostaje problem ispravnog postavljanja specifikacije na najvišem nivou.

telekomunikacije; specifikacija; verifikacija; procesi; softver; razvojna okolina

nije evidentirano