Programozási módszertan

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2021. december 30-án felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .

A szoftverfejlesztési módszertan a szoftver életciklusának különböző szakaszaiban alkalmazott, közös filozófiai megközelítésű módszerek összessége [1] .

Mindegyik módszertant a következő [2] jellemzi :

Egy adott esetben, amikor a módszertant a programozási (tervezési) szakaszban alkalmazzák, általában programozási paradigmának nevezik [2] .

Eredet

A módszertanok háromféleképpen követhetők nyomon. Először is, gyakorlati tapasztalatok kifejezői lehetnek. Másodszor, a módszerek a négy algoritmusmodell egyikéből származhatnak: absztrakt Turing-gép (imperatív programozás), Hilbert és Ackerman rekurzív függvények (strukturált programozás), Church lambda-kalkulus (funkcionális programozás), normál Markov-algoritmusok (logikai programozás) [3] [4 ] ] . Harmadszor, a módszertanok a modellező nyelv három struktúrájának egyikének a programozási nyelv szerkezetére való leképezésével magyarázhatók [5] . Az alkotórészek lehetnek adatstruktúra , vezérlőstruktúra és logika . A kilenc leképezés mindegyike meghatároz egy módszertant vagy egy meglehetősen komoly programozási módszert. Például a logikai-logikai leképezés a logikai programozás alapja [4] .

Osztályozás

Mag szerint

Ha a módszertant úgy közelítjük meg, hogy az algoritmus leírási módszerének megfelelő magja ( eng.  core ) és további jellemzői is vannak , a következő öt fő módszertani mag különböztethető meg [6] :

Látható, hogy ezek a módszertanok a navigációs (lépésről lépésre történő végrehajtás vezérlésétől) a specifikációig (az eredmény követelményeinek meghatározása) terjedő skálán mozognak [6] .

Topológiailag specifikus

A specifitás (topológiai specifitás) a módszerek kiválasztásának módja a módszertan magjának finomítására. Egy adott topológia minőségi kritériuma lehet a szoftverfejlesztés összköltsége. A fejlesztési költségek pedig egyebek mellett a kulcsfontosságú nyelvi absztrakcióktól függenek: adatabsztrakciótól, vezérlőabsztrakciótól és modularitástól. Például egy imperatív módszertanban ragaszkodhatunk a strukturált programozás módszereihez , ami a nyelvi absztrakciók szempontjából előnyösebb topológiát ad. Az eredmény egy strukturált programozási módszertan [7] .

Megvalósítás-specifikus

A hardver architektúra szerint a megvalósítás lehet központosított vagy párhuzamos. Például az (imperatív) párhuzamos programozás módszertana, a logikai párhuzamos programozás módszertana [8] .

Ezenkívül a módszertan lehet hibrid is. Például a funkcionális és logikai programozás leggyakoribb keveréke [8] .

Kutatások folynak a programozási módszertanok egységesítéséről is.

Következtetés

A programozási nyelvek ugyan támogathatnak bizonyos módszertanokat, de ez nem jelenti azt, hogy egy adott nyelvet egyáltalán ne lehetne használni olyan módszertannal, amely nem őshonos, hanem csak azt, hogy több erőfeszítésre és erőforrásra lesz szükség [2] .

A programozási módszerek különböznek a különböző jellemzőkkel rendelkező problémák megoldásának teljes költségében (tudományos számítások, pénzügyi problémák, valós idejű rendszerek stb.). A feladatok nagysága és a készülő szoftver hatékonysága is fontos tényező a programozási módszertan megválasztásában [9] .

Jegyzetek

  1. ↑ Odincov, 2004 , p. 73.
  2. ↑ 1 2 3 Odintsov, 2004 , p. 74.
  3. ↑ Logika és számítógép. Az érvelés modellezése és a programok helyességének ellenőrzése. M., Science, 1990
  4. ↑ 1 2 Odintsov, 2004 , p. 76.
  5. ↑ Tuzov V. A. A tudásábrázolás nyelvei. L., Leningrádi Állami Egyetem, 1990
  6. ↑ 1 2 Odintsov, 2004 , p. 78.
  7. ↑ Odincov, 2004 , p. 78-79.
  8. ↑ 1 2 Odintsov, 2004 , p. 79.
  9. ↑ Odincov, 2004 , p. 75.

Irodalom