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

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

История [ править ]

Процесс чистых помещений первоначально был разработан Харланом Миллсом и несколькими его коллегами, включая Алана Хевнера из IBM . ^[1]

Технология чистых помещений впервые использовалась в середине-конце 1980-х годов. Демонстрационные проекты в вооруженных силах начались в начале 1990-х годов. ^[2] В недавней работе над процессом чистых помещений рассматривалось объединение чистых помещений с возможностями автоматической проверки, обеспечиваемыми спецификациями, выраженными в CSP . ^[3]

Философия [ править ]

В процессе чистых помещений основное внимание уделяется предотвращению дефектов, а не их устранению. Название «чистое помещение» было выбрано, чтобы напомнить о чистых помещениях , используемых в электронной промышленности для предотвращения появления дефектов при производстве полупроводников .

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

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

Разработка программного обеспечения на основе формальных методов: Поддержка программных инструментов, основанная на некотором математическом формализме, включает проверку моделей , алгебры процессов и сети Петри . Метод коробочной структуры может быть одним из таких средств определения и проектирования программного продукта. ^[4] Проверка того, что проект правильно реализует спецификацию, осуществляется посредством групповой проверки, часто с поддержкой программных инструментов.

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

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

Ссылки [ править ]

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

Дальнейшее чтение [ править ]

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

Внешние ссылки [ править ]

Введение

[1] Миллс, Х. ; М. Дайер; Р. Лингер (сентябрь 1987 г.). «Разработка программного обеспечения для чистых помещений» (PDF) . Программное обеспечение IEEE . 4 (5): 19–25. дои : 10.1109/MS.1987.231413 . S2CID 383170 .

[2] Форман, Джон (2005). «Справочник по разработке программного обеспечения для чистых помещений» . Дорожная карта программных технологий . Институт программной инженерии (SEI) . Проверено 27 апреля 2006 г.

[3] Гай Х. Бродфут и Пи Джей Хопкрофт (2005). «Внедрение формальных методов в промышленность с использованием Cleanroom и CSP». Электронный журнал «Специализированные системы». S2CID 14066854 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[4] Лингер, Р. (апрель 1994 г.). «Модель процесса чистого помещения». Программное обеспечение IEEE . 11 (2): 50–58. CiteSeerX 10.1.1.130.8642 . дои : 10.1109/52.268956 . S2CID 206447346 .

[1]

[2]

[3]

[4]