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

Эта статья о методологии разработки программного обеспечения. Для получения информации о методе предотвращения нарушения авторских прав см. Дизайн чистой комнаты.
Разработка программного обеспечения
Активность ядер
Парадигмы и модели
Методологии и рамки
Вспомогательные дисциплины
Практики
инструменты
Стандарты и свод знаний
Глоссарии
Контуры

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

Центральные принципы

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

Разработка программного обеспечения на основе формальные методы
Поддержка программных инструментов на основе некоторых математический формализм включает в себя проверка модели, алгебры процессов, и Сети Петри. В Метод структуры коробки может быть одним из таких средств определения и проектирования программного продукта.[4] Проверка того, что проект правильно реализует спецификацию, выполняется через групповой анализ, часто с поддержкой программного обеспечения.
Поэтапное внедрение в рамках статистический контроль качества
Разработка чистых помещений использует итеративный подход, при котором продукт развивается поэтапно, постепенно увеличивая реализованную функциональность. Качество каждого приращения оценивается по заранее установленным стандартам, чтобы убедиться, что процесс разработки проходит приемлемо. Несоблюдение стандартов качества приводит к прекращению тестирования для текущего приращения и возврату к фазе проектирования.
Статистически верный тестирование
Тестирование программного обеспечения в чистом помещении проводится как статистический эксперимент. На основе формальной спецификации выбирается и тестируется репрезентативное подмножество программных траекторий ввода / вывода. Затем этот образец подвергается статистическому анализу для получения оценки надежности программного обеспечения и уровня уверенности в этой оценке.

Рекомендации

  1. ^ Миллс, Х.; М. Дайер; Р. Лингер (сентябрь 1987 г.). "Разработка программного обеспечения для чистых помещений" (PDF). Программное обеспечение IEEE. 4 (5): 19–25. Дои:10.1109 / MS.1987.231413. S2CID  383170.
  2. ^ Форман, Джон (2005). «Справочник по разработке программного обеспечения для чистых помещений». Дорожная карта программных технологий. Институт программной инженерии (SEI). Получено 2006-04-27.
  3. ^ Гай Х. Бродфут и П. Дж. Хопкрофт (2005). «Внедрение формальных методов в промышленность с использованием чистых помещений и CSP». Электронный журнал "Выделенные системы". S2CID  14066854. Цитировать журнал требует | журнал = (помощь)
  4. ^ Лингер, Р. (апрель 1994 г.). «Модель процесса чистых помещений». Программное обеспечение IEEE. 11 (2): 50–58. CiteSeerX  10.1.1.130.8642. Дои:10.1109/52.268956. S2CID  206447346.

дальнейшее чтение

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

внешняя ссылка