Разработка программного обеспечения для чистых помещений
-
Процесс разработки программного обеспечения для чистых помещений
- Процесс разработки ПО для создания сертифицированного надежного ПО
- Основан на формальных методах, поэтапном внедрении и статистическом тестировании
-
История и философия
- Разработан Харланом Миллсом и коллегами из IBM в середине-конце 1980-х
- Применен в вооруженных силах в начале 1990-х
- Совмещение с автоматизированной проверкой по спецификациям CSP
-
Философия и принципы
- Фокус на предотвращении дефектов, а не на их устранении
- Название «чистая комната» отражает чистоту в электронной промышленности
-
Основные принципы
- Рекомендации по дальнейшему чтению и внешние ссылки в конце статьи