Softwarové inženýrství v čisté místnosti - Cleanroom software engineering

Technika čistých prostor software proces je proces vývoje softwaru určen pro potravinářský software s certifikovatelného úrovní spolehlivosti . Proces čisté místnosti původně vyvinul Harlan Mills a několik jeho kolegů včetně Alana Hevnera z IBM . Proces čistého prostoru se zaměřuje na prevenci defektů, nikoli na odstraňování defektů. Název „čistá místnost“ byl zvolen tak, aby evokoval čisté prostory používané v elektronickém průmyslu, aby se zabránilo zavádění vad při výrobě polovodičů . Proces v čisté místnosti se poprvé uplatnil v polovině až koncem 80. let minulého století. Demonstrační projekty v armádě začaly na počátku 90. let minulého století. Nedávné práce na procesu čisté místnosti zkoumaly fúzi čisté místnosti s možnostmi automatizovaného ověřování poskytovanými specifikacemi vyjádřenými v CSP .

Ústřední principy

Základní principy procesu čisté místnosti jsou

Vývoj softwaru na základě formálních metod

Podpora softwarových nástrojů založená na nějakém matematickém formalismu zahrnuje kontrolu modelu , procesní algebry a Petriho sítě . Box Struktura metoda by mohla být jedna z takových prostředků k zadání a návrh softwarového produktu. Ověření, že návrh správně implementuje specifikaci, se provádí pomocí týmové kontroly, často s podporou softwarových nástrojů.

Inkrementální implementace pod statistickou kontrolou kvality

Vývoj čisté místnosti využívá iterativní přístup, při kterém je produkt vyvíjen v krocích, které postupně zvyšují implementovanou funkcionalitu. Kvalita každého přírůstku se měří podle předem stanovených standardů, aby se ověřilo, že vývojový proces probíhá přijatelně. Nesplnění standardů kvality má za následek ukončení testování aktuálního přírůstku a návrat do fáze návrhu.

Statisticky spolehlivé testování

Testování softwaru v procesu čisté místnosti se provádí jako statistický experiment. Na základě formální specifikace je vybrána a testována reprezentativní podmnožina vstupních/výstupních trajektorií softwaru. Tento vzorek je poté statisticky analyzován, aby se vytvořil odhad spolehlivosti softwaru a úroveň spolehlivosti v tomto odhadu.

Reference

Další čtení

• Stavely, Allan (1999). Směrem k programování nulových vad . Addison-Wesley.
• Stacy J. Prowell a Carmen J. Trammell a Richard C. Linger a Jesse H. Poore (1999). Softwarové inženýrství v čisté místnosti: Technologie a proces . Addison-Wesley.
• Jesse H. Poore a Carmen J. Trammell (1996). Softwarové inženýrství v čisté místnosti: čtečka . NCC Blackwell.

externí odkazy

• Úvod