Cleanroom Software Engineering: различия между версиями

'''Cleanroom Software Engineering''' (методология "«чистой комнаты"») - — процесс разработки программного обеспечения, предназначенный для создания программного обеспечения с сертифицируемым уровнем надежности. Cleanroom был первоначально разработан Харланом Миллзом и несколькими его коллегами, в том числе [[Хевнер, Алан|Аланом Хевнером]] из [[IBM]]. Основной принцип cleanroom состоит в том, что предупреждение дефектов лучше, чем их устранение. Название ''Cleanroom'' ("«''чистая комната''"») взято из электронной промышленности - — так называются помещения с высокой степенью защиты от загрязнений, позволяющие предотвратить появление дефектов в процессе производства полупроводников. Впервые процесс был применен в середине-конце 80-х годов.

* Разработка программного обеспечения основывается на формальных методах.

* Инкрементальная реализации в рамках статистического контроля качества

* Статистическое тестирование