Разработка программного обеспечения для чистых помещений

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

• 1 Основные принципы
• 2 Ссылки
• 3 Дополнительная литература
• 4 Внешние ссылки

Основные принципы процесса чистых помещений:

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

Поддержка программных инструментов на основе некоторого математического формализма включает проверка моделей, алгебры процессов и сети Петри. Это могло бы быть одним из таких средств определения и проектирования программного продукта. Проверка того, что проект правильно реализует спецификацию, выполняется через групповой анализ, часто с поддержкой программных инструментов.

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

Разработка чистых помещений использует итеративный подход, в котором продукт разрабатывается поэтапно, постепенно увеличивая реализованную функциональность. Качество каждого приращения оценивается по заранее установленным стандартам, чтобы убедиться, что процесс разработки проходит приемлемо. Несоблюдение стандартов качества приводит к прекращению тестирования для текущего приращения и возврату к этапу проектирования.

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

Тестирование программного обеспечения в чистом помещении проводится как статистический эксперимент. На основе формальной спецификации выбирается и тестируется репрезентативное подмножество программных траекторий ввода / вывода. Затем этот образец статистически анализируется для получения оценки надежности программного обеспечения и уровня достоверности этой оценки.

• Stavely, Allan (1999). К программированию без дефектов. Аддисон-Уэсли.
• Стейси Дж. Проуэлл, Кармен Дж. Траммелл, Ричард К. Лингер и Джесси Х. Пур (1999). Разработка программного обеспечения для чистых помещений: технологии и процессы. Аддисон-Уэсли.
• Джесси Х. Пур и Кармен Дж. Траммелл (1996). Разработка программного обеспечения для чистых помещений: читатель. NCC Blackwell.

• Введение

.