|
Abstract:
|
Formaalit kuvaustekniikat (Formal Description Techniques, FDTs) auttavat hallitsemaan yhä monimutkaisempien tietoliikennesovellusten kehitystyötä. Formaaleja kuvaustekniikoita tukevien työkalujen avulla voidaan määrittely-, suunnittelu-, toteutus- ja testausvaihe tehdä korkeammalla abstraktiotasolla. Suunnittelijan on helpompi hahmottaa ohjelmiston kokonaisuus, kun kaikista ohjelmiston yksityiskohdista ei tarvitse välittää. SDL (Specification and Description Language) on formaali määrittely- ja kuvauskieli, jota käytetään toiminnan määrittelyyn sekä toteutuksen yksityiskohtaiseen kuvaamiseen. Formaali kuvaus edesauttaa virheiden havaitsemista aikaisessa vaiheessa, jolloin niiden korjaaminen on helpompaa. Toimintaa voidaan simuloida erilaisten työkalujen avulla. Kuvauksesta voidaan automaattisesti generoida ohjelmointikielinen esitys, joten dokumentointi ja toteutus ovat sidottuja toisiinsa. Kuvausta ja automaattista generointia muuttamalla voidaan pienellä vaivalla kokeilla eri toteutusvaihtoehtoja. Formaalien kuvaustekniikoiden käyttäminen aiheuttaa muutoksia perinteiseen ohjelmistokehitysprosessiin. /Kir10 |