Módszeres programozás: A programkészítés technológiája

Szerző

Szlávi Péter

Szerkesztő

Budapest

'Szlávi Péter: Módszeres programozás: A programkészítés technológiája ' összes példány

Kiadó:	ELTE TTK Informatikai Tanszékcsoport
Kiadás helye:	Budapest
Kiadás éve:	2000
Kötés típusa:	Tűzött kötés
Oldalszám:	102 oldal
Sorozatcím:	Mikrológia
Kötetszám:	21
Nyelv:	Magyar
Méret:	20 cm x 15 cm
ISBN:
Megjegyzés:	5. kiadás. Megjelent 200 példányban.

Értesítőt kérek a kiadóról

Értesítőt kérek a sorozatról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Fülszöveg

Módszeres programozás: A programkészítés technológiája
E kötet első fejezetében az algoritmus és a kód kapcsolatával foglalkozunk. Egyik részében megadjuk a szokásos algoritmikus struktúrák Pascal és ELAN nyelvre való kódolási szabályait. A következő kettőben pedig konkrét programozási nyelv megkötése nélkül foglalkozunk olyan technikai problémák megoldásával, amelyek kódoláskor lépnek fel.
A program helyességével kapcsolatos fogalmak rövid áttekintése után, a harmadik fejezetben a statikus és dinamikus tesztelési módszereket vesszük sorra.
A hibakeresésről szóló fejezet hibakeresési módszereket és eszközöket ismertet, két kapcsolódó témakörrel (a fejezet első és utolsó rész) kiegészítve - ezek a hibajelenségek, valamint a kezdő programozók által gyakran elkövetett hibák felsorolását tartalmazzák.

Tartalom

I. Programok kódolása 5
1. Kódolási szabályok 6
2. Programtranszformációk 11
3. Kódolási technikák 17
II. A program helyessége 29
III. Tesztelés 32
1. Statikus tesztelési módszerék 34
1.1. Kódellenőrzés 34
1.2. Formai ellenőrzés, kereszthivatkozási táblázatok 34
1.3. Tartalmi ellenőrzés, ellentmondás keresés 35
2. Dinamikus tesztelési módszerek 38
2.1. Fekete doboz módszerek 39
2.1.1. Ekvivalenciaosztályok módszere 39
2.1.2. Határeset vizsgálat módszere 41
2.2. Fehér doboz módszerek 42
2.2.1. Kipróbálási stratégiák 42
2.2.2. Tesztesetgeneráló módszerek 44
2.3. Speciális tesztek 49
IV. Hibakeresés és javítás 49
1. Hibajelenségek 51
2. Hibakeresési módszerek 52
2.1. Indukciós módszer 52
2.2. Dedukciós módszer 52
2.3. Visszalépéses technika 53
2.4. Teszteléssel segített hibakeresés 54
3. Hibakeresési eszközök 54
4. Tipikus hibák 57
V. Programok lokális hatékonysága 61
1. A végrehajtási idő csökkentése 61
1.1. Elvi tanácsok 61
1.2. Programtranszformációk 64
1.2.1. Összetett feltételek szétválasztása 64
1.2.2. Elágazások felesleges feltételeinek elhagyása 65
1.2.3. Elágazások összevonása 65
1.2.4. Ciklusok összevonása 65
1.2.5. Ciklustól független utasítások kiemelése 66
1.3. A programozási nyelv szerepe 67
2. A helyfoglalás csökkentése 70
2.1. Elvi tanácsok 71
2.2. Programtranszformációk 71
2.2.1. Elágazásból utasítások kiemelése 71
2.2.2. Elágazások felesleges feltételeinek elhagyása 72
2.2.3. Elágazások összevonása 72
2.2.4. Ciklusok összevonása 72
2.3. A programozási nyelv szerepe 73
VI. A hatékonyság mérése 77
1. A mérés tárgya 77
1.1. Végrehajtási idő 77
1.2. Helyfoglalás 79
2. A mérés módszere 80
2.1. Végrehajtási idő 80
2.2. Helyfoglalás 82
3. A mérés eszközei 82
3.1. Végrehajtási idő 82
3.2. Helyfoglalás 83
VII. Hordozhatóság 84
1. A hordozhatóság definiálója 84
2. A gépfüggőség okozói 85
3. Hordozható programok tervezése 87
Irodalomjegyzék 89
Függelékek:
A. Hibakeresés Turbo Pascal-ban 90
B. Hibakeresés Turbo PROLOG-ban 99
C. Hibakeresés ELAN-ban 101

Témakörök

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem