Bevezetés a modern programtesztelésbe

Szerző

Várkonyi Zsolt

Lektor

Lőcs Gyula

Budapest

'Várkonyi Zsolt: Bevezetés a modern programtesztelésbe ' összes példány

Kiadó:	Műszaki Könyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1979
Kötés típusa:	Fűzött kemény papírkötés
Oldalszám:	214 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-10-2464-4
Megjegyzés:	Melléklettel. 14 fekete-fehér ábrával illusztrált. Tankönyvi szám: 60798.

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

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

Fülszöveg

Az elmúlt húsz év alatt a programozás rendkívüli mértékben fejlődött. Különösen felgyorsult ez a fejlődés a hetvenes évek elejétől kezdve, amikor a harmadik generációs számítógépek fokozatosan felváltották a második generációs gépeket, megjelentek a valós idejű (real time), időosztásos (time sharing) üzemű gépek, a multiprogramozás már majdnem minden nagyobb gépen az alapvető szolgáltatások közé tartozik, ugrásszerűen megnő a software-termékek kínálata.
Az előállító cégek többsége a piacra dobott számítógépet általában csak az operációs rendszerekkel, a fordítóprogramokkal és a gép folyamatos üzeméhez szükséges egyéb software-rel (zömmel mérnöki tesztprogramokkal) együtt tudják ellátni. A legnagyobb cégek viszont különböző felhasználási területekre specializálódnak és komplex felhasználói programrendszerekkel is jelentkeznek a piacon. A számítógépeket előállító cégek mellett megjelentek a software-házak. Ezek (valamint különböző egyetemi, ipari kutatóintézetek) igyekeznek betölteni... Tovább

Tartalom

Előszó	7
Bevezetés	11
Alapfogalmak	19
A modern programelőállítás fázisai	19
A programtesztelés alapfogalmai	26
A programtesztelés gépi, program- és személyi feltételei	35
A programtesztelés módszerei	39
Bevezető	39
Tesztelés a tervezési fázisban	41
Tesztelés a kódolási fázisban	55
Tesztelés a modul belövési fázisában	63
Tesztelés az összeépítési fázisban	67
A rendszer helyes működésének ellenőrzése. Rendszerpróba	70
Tesztelés a garanciális időszakban	77
A programtesztelés automatizált eszközei	81
Tesztprogramcsomagok	82
Tesztágygenerátorok	84
Tesztadat-generátorok	88
Programtranszformálók	89
A tesztelést segítő szimulációs eszközök	92
A tesztelést vezérlő és a tesztelés hatásosságát ellenőrző eszközök	93
Programhiba-keresés	99
Klasszikus hibakeresési eljárások	101
Modern hibakeresési eljárás	103
Tesztelhető programok tervezése	105
Tesztelést könnyítő specifikációk készítése	106
Tesztelési segédeszközök tervezése a tervezési fázisban	108
A tesztelhető programok szerkezete	110
A programhelyesség bizonyítása	113
A program performanciájának (hatékonyságának) vizsgálata	119
A performanciamérés céljai	121
Az új software kiválasztása	123
A hatékonyság vizsgálata software-csere céljából	124
Speciális célú teljesítménymérések	127
Szemelvények konkrét programrendszerek szisztematikus ellenőrzéséből (tesztpéldák)	129
Az R10-MASS fordítóprogram	130
Az R10-COBOL fordítóprogram	145
Az R10-MADAM adatkezelő program	148
Az operációs rendszerek tulajdonságainak ellenőrzése	152
Függelékek	157
A. függelék. Példa a szisztematikus modulteszt végrehajtására az R10-en, a STEM segítségével	157
B. függelék. Az A. függelék példája összeépítés után	190
C. függelék. Áttekintés az R10 assembly szintű programozásához szükséges ismeretekről	205
D. függelék. Áttekintés a MADAM rendszerről	211
Irodalomjegyzék	213