Cleanroom Software Engineering
Cleanroom Software Engineering (методологія «чистої кімнати») — процес розробки програмного забезпечення, призначений для створення програмного забезпечення із сертифікованим рівнем надійності. [1]
Cleanroom був спочатку розроблений Харланом Міллзом і кількома його колегами, у тому числі Аланом Хевнером з IBM. Основний принцип cleanroom полягає в тому, що попередження дефектів краще, ніж їх усунення. Назва Cleanroom («чиста кімната») узято з електронної промисловості — так називаються приміщення з високим ступенем захисту від забруднень, що дозволяють запобігти появі дефектів у процесі виробництва напівпровідників. Вперше процес був застосований у середині-кінці 80-их років.
Основні принципи
- Розробка програмного забезпечення ґрунтується на формальних методах.
- Інкрементальна реалізація в рамках статистичного контролю якості.
- Статистичне тестування.
- Формальна верифікація.
Примітки
- ↑ Cleanroom Software Engineering Reference. resources.sei.cmu.edu. Архів оригіналу за 1 жовтня 2016. Процитовано 28 вересня 2016.
- п
- о
- р
- Гнучка розробка
- Аспектно-орієнтоване програмування
- Об'єктно-орієнтоване програмування
- Проблемно-орієнтоване програмування
- Онтології
- Сервісно-орієнтована архітектура
- Життєвий цикл
- Розробка застосунків для мобільних пристроїв
Моделі розробки |
|
---|---|
Інші моделі |
|
Мови моделювання |
- Кент Бек
- Граді Буч
- Фред Брукс
- Баррі Бом
- Пітер Чен
- Ворд Каннінгем
- Уле-Юган Дал
- Едсгер Дейкстра
- Том ДеМарко
- Мартін Фаулер
- Тоні Гоар
- Воттс Гамфрі[en]
- Майкл Джексон[en]
- Івар Ялмар Якобсон
- Джеймс Мартін[en]
- Бертран Меєр
- Девід Парнас[en]
- Вінстон Ройс[en]
- Джеймс Рамбо
- Ніклаус Вірт
- Едвард Юрдон
- Віктор Базілі[en]