Tiszta teremi projektek szolgáltatójaként számos kezdeményezésben részt vettem, ahol a szoftver ellenőrzése kritikus szempont. A Cleanroom Development egy szigorú megközelítés, amely a hibák megelőzését, nem pedig a hibák eltávolítását hangsúlyozza, és a szoftver -ellenőrzés döntő szerepet játszik a szoftver minőségének és megbízhatóságának biztosításában ezekben a projektekben. Ebben a blogban elmélyülni fogom, hogyan hajtják végre a szoftver -ellenőrzést egy Cleanroom projektben.
A tiszta szoba projektek megértése
Mielőtt belemerülnénk a szoftver -ellenőrzésbe, elengedhetetlen annak megértése, hogy a Cleanroom projektek milyen módon járnak el. A Cleanroom módszertan egy olyan szoftverfejlesztési megközelítés, amelynek célja az alacsony minőségű szoftver előállítása, alacsony hibás sebességgel. A statisztikai minőség -ellenőrzésen és a formális módszereken alapul. A Cleanroom projektek általában olyan strukturált folyamatot foglalnak magukban, amely magában foglalja a követelmények specifikációját, a tervezést, a kódfejlesztést és az ellenőrzést.
ATiszta szoba kulcsrakész projektÁtfogó megoldást kínál, ahol a kezdeti tervezéstől a végleges végrehajtásig minden gondoskodik. Hasonlóképpen, egyHVAC / Cleanroom ProjektA tisztítószoba fűtési, szellőztetési és levegő -kondicionáló szempontjaira összpontosít, amelyek kulcsfontosságúak a szoftverfejlesztéshez és a teszteléshez szükséges környezeti feltételek fenntartásához. És összességében aTisztítószoba projektmagában foglalja az összes elemet, amely a szoftverfejlesztéshez ellenőrzött környezet megteremtéséhez szükséges.
A szoftver -ellenőrzés szerepe a tiszta szoba projektekben
A szoftver -ellenőrzés a Cleanroom projektekben nem csupán egy poszt -fejlesztési tevékenység; Az egész szoftverfejlesztési életciklusba integrálódik. A cél annak biztosítása, hogy a szoftver megfeleljen a meghatározott követelményeinek, és betartja a tervezési korlátokat. Az ellenőrzés elősegíti a hibák azonosítását és kiküszöbölését a fejlesztési folyamat elején, ami költségesebb - hatékonyabb, mint a későbbi rögzítés.
Ellenőrzési technikák a tiszta szoba projektekben
Hivatalos ellenőrzések
A hivatalos ellenőrzések az egyik elsődleges ellenőrzési technika a Cleanroom projektekben. Ezek az ellenőrzések magukban foglalják a szoftver tárgyak szisztematikus áttekintését, például a követelménydokumentumokat, a tervezési specifikációkat és a forráskódot. Szakértői csoport, beleértve a fejlesztőket, a tesztelőket és a domain szakembereket, részt vesz az ellenőrzési folyamatban.
Az ellenőrzési folyamat általában egy jól definiált protokollt követ. Először, az ellenőröket előre látják a szoftver tárgyával. Várják, hogy felülvizsgálják és elkészítik a lehetséges kérdések listáját. Az ellenőrzési ülésen a tárgy szerzője bemutatja azt, és az ellenőrök megvitatják és dokumentálják a hibákat vagy aggodalomra okot adó területeket.
A hivatalos ellenőrzések hatékonyak, mivel kihasználják a csapat kollektív ismereteit és tapasztalatait. A kérdések széles skáláját azonosíthatják, a kód logikai hibáitól kezdve a követelmények következetlenségéig. Ha ezeket a kérdéseket korán elkapja, a fejlesztési csapat elvégezheti a szükséges javításokat, mielőtt továbbmegy a projekt következő szakaszába.
Statisztikai tesztelés
A statisztikai tesztelés egy másik fontos ellenőrzési technika a tiszta szoba projektekben. A hagyományos tesztelési módszerekkel ellentétben, amelyek az összes lehetséges bemeneti kombináció kimerítő tesztelésére támaszkodnak, a statisztikai tesztelés mintavételi megközelítést alkalmaz. Kiválasztunk egy reprezentatív mintát a bemeneti térről, és a szoftvert ezzel a mintával teszteljük.
A minta kiválasztása a statisztikai alapelveken alapul. A cél annak biztosítása, hogy a minta reprezentatív legyen a teljes bemeneti térre, és hogy lefedi a szoftver összes kritikus területét. A statisztikai tesztelés eredményeinek elemzésével a fejlesztőcsoport becsülheti meg a szoftver hibás sűrűségét, és döntéseket hozhat annak kiadására való készségéről.
A statisztikai tesztelés különösen hasznos a tisztítószobás projektekben, mivel lehetővé teszi az erőforrások hatékonyabb felhasználását. Ahelyett, hogy nagy időt és erőfeszítést költene minden lehetséges hozzájárulás tesztelésére, a csapat egy gondosan kiválasztott mintára összpontosíthat. Ez a megközelítés azon a feltételezésen alapul, hogy ha a szoftver jól teljesít a mintán, akkor valószínűleg jól teljesít a teljes bemeneti téren.
Matematikai bizonyítékok
A tiszta szoba projektekben matematikai bizonyítékokat használnak a szoftver tervezésének és megvalósításának helyességének ellenőrzésére. A matematikai bizonyítékok szigorú és hivatalos módszert kínálnak annak bizonyítására, hogy a szoftver megfelel a meghatározott követelményeinek.
Például a tervezési szakaszban a fejlesztők matematikai modelleket használhatnak annak bizonyítására, hogy a szoftver architektúrája helyes, és képes kezelni az összes várt bemeneti forgatókönyvet. A megvalósítási szakaszban a fejlesztők formális módszereket használhatnak annak bizonyítására, hogy a kód mentes bizonyos típusú hibáktól, például puffer túlcsordulásoktól vagy versenyfeltételektől.
A matematikai bizonyítékok hatékony ellenőrzési technikát jelentenek, ám magas szintű szakértelemre van szükség a matematika és a formális módszerek területén. Helyes használat esetén azonban nagyfokú bizalmat nyújthatnak a szoftver helyességében.
Az ellenőrzési folyamat egy tisztítószobás projektben
Követelmények ellenőrzése
A tiszta szoba projekt ellenőrzési folyamata a követelmények ellenőrzésével kezdődik. A követelménydokumentum a szoftverfejlesztési projekt alapja, és elengedhetetlen annak biztosítása, hogy teljes, következetes és egyértelmű legyen.
A követelmények ellenőrzése során a fejlesztési csoport felülvizsgálja a követelménydokumentumot a lehetséges kérdések azonosítására. Ez magában foglalhatja a hiányzó követelmények, az ütköző követelmények vagy a nem tesztelhető követelmények ellenőrzését. A csapat olyan technikákat is használhat, mint a hivatalos ellenőrzések és a matematikai modellezés a követelmények ellenőrzésére.
Ha bármilyen problémát azonosítanak a követelmények ellenőrzése során, akkor a követelmények dokumentumát frissítik és igazolják, amíg az nem felel meg a szükséges szabványoknak. Ez biztosítja, hogy a szoftverfejlesztési projekt szilárd alapon induljon.
Tervezési ellenőrzés
A követelmények ellenőrzése után a következő lépés a tervezés ellenőrzése. A tervezési dokumentum leírja, hogy a szoftvert hogyan fogják felépíteni, és hogyan felel meg a követelményeknek. A tervezési ellenőrzés magában foglalja a tervezési dokumentum áttekintését annak biztosítása érdekében, hogy helyes, teljes és összhangban áll -e a követelményekkel.
A fejlesztőcsoport olyan technikákat használhat, mint a formális ellenőrzések, a matematikai bizonyítékok és a szimuláció a terv ellenőrzésére. Például használhatják a szimulációt a szoftvertervezés teljesítményének tesztelésére különböző körülmények között. Ha valamilyen problémát azonosítanak a tervezés ellenőrzése során, akkor a formatervezést felülvizsgálják és igazolják.
Kód -ellenőrzés
A kód ellenőrzése a Cleanroom projekt ellenőrzési folyamatának utolsó szakasza. A kód ellenőrzésének célja annak biztosítása, hogy a forráskód helyes, hatékony és betartja a tervezési előírásokat.
A fejlesztési csoport technikák kombinációját használja a kód ellenőrzéséhez, ideértve a hivatalos ellenőrzéseket, a statisztikai tesztelést és a kód -áttekintéseket. A kód -áttekintések során a fejlesztők soronként vizsgálják meg a forráskód sort, hogy azonosítsák a lehetséges hibákat vagy területeket a fejlesztési területeken. A statisztikai tesztelést a kód tesztelésére használják a bemeneti tér reprezentatív mintájával szemben.
Ha bármilyen problémát azonosítanak a kód ellenőrzése során, akkor a kódot módosítják és újra igazolják, amíg az nem felel meg a szükséges szabványoknak. Ez biztosítja, hogy a szoftver kiváló minőségű és készen álljon a telepítésre.
Következtetés
A szoftver -ellenőrzés a tiszta szoba projektek kritikus szempontja. A formális ellenőrzések, a statisztikai tesztelés és a matematikai bizonyítékok kombinációjának felhasználásával a fejlesztőcsoport biztosíthatja, hogy a szoftver megfelel a meghatározott követelményeinek és magas színvonalú. Az ellenőrzési folyamat integrálódik a teljes szoftverfejlesztési életciklusba, a követelmények specifikációjától a kód megvalósításáig.
Ha érdekli a Tiszta terem projektje, vagy bármilyen kérdése van a szoftver ellenőrzésével kapcsolatban az ilyen projektekben, arra buzdítom, hogy forduljon hozzánk egy részletes megbeszéléshez. Megvan a szakértelem és tapasztalatunk, hogy átfogó megoldást biztosítson Önnek, amely megfelel az Ön egyedi igényeinek.
Referenciák
- Yourdon, E. (1992). Modern strukturált elemzés. YourDon Press.
- Parnas, DL (1972). A rendszerek modulokra történő bomlásához használandó kritériumokról. Az ACM kommunikációja, 15 (12), 1053 - 1058.
- Mills, HD, Dyer, M., és Linger, RC (1987). Tisztítószoba szoftverfejlesztés. IEEE szoftver, 4 (5), 19 - 29.