Принципи масивного виявлення помилок

Розбивкою за темами

1. Програмне забезпечення як промислова продукція.

Види програмного забезпечення (прикладне, системне, інструментальне) та його користувачі. Життєвий цикл програмного забезпечення. Особливість програмного забезпечення як промислової продукції та причини його складності.

Види програмного забезпечення

1.2. Особливість програмного забезпечення як промислової продукції

1.3. Причини складності програмного забезпечення

1.4. Життєвий цикл програмного забезпечення в найпростішому вигляді

1.5.Основна відмінність між теоретичною та фактичною каскадними моделями життєвого циклу.

1.6. Види моделей життєвого циклу програмного забезпечення

1.7.Які елементи складають життєвий цикл в міжнародних стандартах.

1.8. Що є ресурсами в розробці ПЗ в міжнародних стандартах.

2. Надійність програмного забезпечення

Визначення надійності ПЗ. Причини помилок. Основні принципи проектування надійного програмного забезпечення.

2.1. Визначення надійності ПЗ

2.2.Чи означає відповідність специфікаціям відсутність помилок в ПЗ?

Основна причина помилок в ПЗ.

2.4. Основні підходи до забезпечення надійності.

2.5. Які групи методів включає попередження помилок?

Принципи масивного виявлення помилок.

2.7.Типові перевірки даних.

2.8.Якими групами методів забезпечується стійкість ПЗ.

2.9. Правила ізоляції помилок.

2.10.Правила ізоляції несправностей.