Инженерия стерильного цеха (CrSe)

Инженерия стерильного цехаилиСтерильно-цеховая инженерия ПО(СцИП,CrSE, Cleanroom SE – Cleanroom Software Engineering) – подход формальной разработки, предложенный сотрудником фирмыIBMХ. Миллзом, в его разработке приняли участие и некоторые другие сотрудники фирмы.

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

Разработка программной системы (ПС) в виде стерильного цеха требует использования следующих особенностей – правил стерильного цеха: 1. Разработчики могут и должны производить ПО, которое почти свободно от ошибок уже перед выполнением тестирования;2. Целью тестирования является измерение качества, а не его обеспечение. Для учёта этих особенностей в такой разработке ПС необходимо использовать формальные методы. СцИП как раз и является развитием подходаIIDна основе применения формальных методов.

С середины 1980‑х гг. подход СцИП использовался подразделением FSDфирмыIBMв рамках проектов военного назначения. В 1987 г. Х. Миллз, М. Дайер и Р. Лингер опубликовали статью «Инженерия стерильного цеха». После этого подход стали использовать и для коммерческих критически важных проектов.

СцИП обладает следующими особенностями в ряде областей разработки.

В области командной разработкисчитается, что команда проекта должна быть небольшой (обычно 6 ‑ 8 человек) и работать в рамках определённой дисциплины для обеспечения разумного контроля над продвижением проекта. Предусматривается парный обзор (peer review) индивидуальной работы, но без вытеснения творческой деятельности отдельного члена команды. Как только будет разработана архитектура ПС и определены интерфейсы между компонентами этой системы, разработку компонентов можно выполнять индивидуально. Индивидуальные результаты считаются рабочими проектами и подвергаются командному обзору. Для крупных проектов после разработки архитектуры используется множество небольших команд для параллельной разработки отдельных подсистем ПС.

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

В области существующих организационных практикСцИП позволяет применять сложившиеся у разработчиков методики и практики, если они не противоречат принципам подхода. Переход к СцИП может происходить постепенно путём отработки принципов и методов подхода на небольшом некритическом проекте (пилотном проекте) и их приспособлении к принятой организации труда.