Dezvoltare formala

Dezvoltare formala

Strategie de dezvoltare software bazata pe transformarea formala (matematica) a unei specificatii formale intr-un program executabil.

Cerintele sistemului sunt exprimate sub forma unei specificatii formale

Transformarea inlocuieste etapele de design, implementare si testare unitara din modelelul cascada

Transformarea este alcatuitata dintr-o secventa de rafinari succesive a caror corectitudine este demonstrata matematic

Validarea implementarii se face prin demonstratii

Folosita in metoda Cleanroom, dezvoltata de IBM

Probleme:

Este nevoie de personal specializat si training

Este dificil de specificat formal unele aspecte ale sistemului, precum interfata cu utilizatorul

Aplicabilitate:

Sisteme safety-critical