Statisticheskoe testirowanie w chistom pomeschenii Programmnaq inzheneriq

Metod razrabotki programmnogo obespecheniq w chistom pomeschenii obespechiwaet wysochajshee kachestwo pri razrabotke programmnogo obespecheniq. V ätoj knige opisywaetsq wremq, cel', ispol'zowanie i metod primeneniq programmnoj inzhenerii "chistoj komnaty" dlq sozdaniq kachestwennogo programmnogo obespecheniq. Cleanroom software - äto teoreticheski obosnowannyj, orientirowannyj na komandu process razrabotki ochen' kachestwennogo programmnogo obespecheniq pod statisticheskim kontrolem kachestwa. Cleanroom sochetaet formal'nye metody specifikacii i proektirowaniq struktury qschika na osnowe ob#ektow, funkcional'no-teoreticheskoj prowerki korrektnosti i statisticheskogo testirowaniq ispol'zowaniq dlq sertifikacii kachestwa. Jetalonnaq model' cleanroom wyrazhaetsq w wide nabora iz 14 processow, kotorye sostawlqüt praktiku razrabotki programmnogo obespecheniq cleanroom. Jeti processy obrazuüt wseob#emlüschee rukowodstwo dlq proektow "chistyh komnat" po uprawleniü programmnymi proektami i ih ispolneniü, ocenke i sowershenstwowaniü processow, a takzhe peredache i wnedreniü tehnologij. Takzhe obsuzhdaetsq tema statisticheskogo testirowaniq i ego swqz' s analizom kriptowalüt. Test mozhet byt' polezen w kachestwe perwogo shaga w opredelenii togo, podhodit li generator dlq konkretnogo kriptograficheskogo prilozheniq.