Specifikci Kvetelmnyei Tmr legyen egyrtelm precz jl formalizlt

Specifikáció Követelményei: Tömör legyen, egyértelmű, precíz, jól formalizált, szemléletes, érthető n n Meg kell adni a program bemenő adatait és azok értelmezési tartományát. Meg kell adni a kimenő adatunkat, azaz mit szeretnék kiszámítani, megtudni a program segítségével, és ennek is ez értelmezési tartományát. Az előfeltételben adjuk meg a bemenő adatokra vonatkozó feltételeinket. Az utófeltételben pedig leírjuk, hogyan tudjuk kiszámolni a kért adatot, adatokat. Hogyan tudjuk megoldani a feladatot. Specifikáció

Példák specifikáció készítésére 1. Példa: Tudjuk egy autóról, hogy mennyi idő alatt mekkora utat tett meg. Mekkora az autó sebessége? Az autó max 300 km/h sebességgel haladhat! Specifikáció: Bemenet: s, t R, (s az autó által megtett út, t az idő) Kimenet: v R (v az autó sebessége) Előfeltétel: 0<s/t<300 km/h és s>0 és t>0 (feltételek a bemenő adatokra) Utófeltétel: v=s/t (sebesség kiszámítása, képlettel) Specifikáció

Példák specifikáció készítésére 2. példa: Adott három szám: Alkotnak- e háromszöget! Specifikáció: Bemenet: a, b, c R+, Kimenet: haromszoge L Előfeltétel: ‑ (Ha a bemenő adatoknál nem adom meg, hogy pozitív valós lehet, hanem csak hogy valós, akkor ide kell írni, hogy a, b, c >0) Utófeltétel: haromszoge=(a+b>c és a+c>b és b+c>a) {itt írom le minek kell ahhoz teljesülni, hogy az adott három szám háromszöget alkosson} Specifikáció

Példák specifikáció készítésére 3. példa: Három természetes számot páronként összeadtam. Az eredmények: 75, 89, 100. Specifikáció: Bemenet: osszeg 1=75, osszeg 2=89, osszeg 3=100 {itt most a bemenő adataim konkrét értékek voltak} Kimenet: a, b, c N Előfeltétel: ‑ Utófeltétel: a+b=75 és a+c=89 és b+c=100 Specifikáció

Példák specifikáció készítésére 4. példa: Adjuk meg n ember közül a legmagasabbat! Specifikáció: Bemenet: n N (az emberek száma), x Hn (n elemű H halmaz, ebben vannak felsorolva a magasságok) Kimenet: sorsz N (jelen esetben adjuk meg a legmagasabb ember sorszámát a tömbben, de lehet a legmagasabb ember magasságértéke, vagy a neve, attól függ, hogy van megadva a tömb) Előfeltétel: ‑ Utófeltétel: sorsz 1. . n (azaz sorsz értéke 1 és n között kell legyen) és i 1. . n x(sorsz)>x(i) {azaz az x tömbben a sorsz-adik elemnél minden más tömbbeli elem kisebb} Specifikáció