Mennyire használnak a programozók specifikációt és hogy néz ki egy?

Én V-modellben szerinti fejlesztéssel dolgozok multinacionális cégnél, és a munka 90%-a dokumentáció. Ennek része mindenféle specifikáció is, amit validálni és verifikálni kell a folyamatban adott pontokon, és mindegyiknek külön tesztje van. Szóval mi nagyonis használjuk a specifikációkat kötelezően.

Hogyan néz ki a specifikáció? Különböző szinteken különböző követelményeket fogalmazunk meg, amelyeket némi kommenttel és előszóval egy dokumentumba rakunk. Ez a dokumentum, ami legalább 30-40 oldal, tartalmaz általános részeket, fogalomjegyzéket, a követelményeket,...

Meglehetősen életszerű.

Ahol ilyen nem készül, azt a céget jobb is elfelejteni.

A speckó egyébként kb. úgy néz ki, mint egy félig megírt program.

Definiálva van a program user oldali igénye, fejlesztő oldali szerkezete, modularitása. Előre meg vannak határozva az alkalmazott struktúrák, interfészek. Az adatbeviteli mezők, formok még meg is vannak rajzolva a jobb helyeken.

Az első komoly speckó, amivel találkoztam, ~ 1300 db A4-es oldalt tett ki, négy könyvbe volt lefűzve és ezt másodmagammal meg is valósítottam, bő hét hónap alatt.

Ez nagyban fejlesztési model függő. A tradicionális vízesés vagy V modellt követő helyen részletes szoftverkövetelményeket írnak, majd megtervezik a szoftverarchitektúrát: komponenseket, interfaceeket stb.

Ahol agilis modelt követnek ott ezt általában jóval lazábban kezelik. Ilyen helyeken gyakran alkalmaznak test driven developmentet esetleg behavior developmentet.

@3: "Ahol agilis modelt követnek ott ezt általában jóval lazábban kezelik. Ilyen helyeken gyakran alkalmaznak test driven developmentet esetleg behavior developmentet."

Pontosan. A mostanában divatos agilis fejlesztésnél nem fektetnek túlzott erőforrást a specifikáció kidolgozására, ehelyett a fejlesztők és a megrendelő folyamatos interakcióban áll, a fejlesztésben elért haladást folyamatosan megbeszélik, és ha kell, igazítanak a célokon. Így a termék a megrendelő igényeit jobban kiszolgáló szoftver lesz.

Ha a specifikáció 100%-ban megoldható, akkor ez a fejlesztési metodológia természetesen kevéssé alkalmas pl. beágyazott rendszerek. De az esetek többségében, pláne, ha nem professzionális felhasználóknak készül a szoftver, akkor a részletre kiterjedő specifikáció elvből nem is lehetséges.

A user követelmény nem formális, hanem informális.

Formális specifikáció alatt a ténylegesen logikai formulákkal leírt specifikációt értem.