Cleanroom Software Engineering

Cleanroom Software Engineering (методологія «чистої кімнати») — процес розробки програмного забезпечення, призначений для створення програмного забезпечення із сертифікованим рівнем надійності. [1]

Cleanroom був спочатку розроблений Харланом Міллзом і кількома його колегами, у тому числі Аланом Хевнером з IBM. Основний принцип cleanroom полягає в тому, що попередження дефектів краще, ніж їх усунення. Назва Cleanroomчиста кімната») узято з електронної промисловості — так називаються приміщення з високим ступенем захисту від забруднень, що дозволяють запобігти появі дефектів у процесі виробництва напівпровідників. Вперше процес був застосований у середині-кінці 80-их років.

Основні принципи

  • Розробка програмного забезпечення ґрунтується на формальних методах.
  • Інкрементальна реалізація в рамках статистичного контролю якості.
  • Статистичне тестування.
  • Формальна верифікація.

Примітки

  1. Cleanroom Software Engineering Reference. resources.sei.cmu.edu. Процитовано 28 вересня 2016.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.