дсистемами); контроль виконання системою автоматизуються функцій; перевірка відповідності системи вимогам користувачів, і коректності документації, виконання програми в суворій відповідності з інструкціями.
Існують дві стратегії при проектуванні тестів: тестування по відношенню до специфікаціям (документації), не піклуючись про текст програми, і тестування по відношенню до тексту програми, не піклуючись про специфікації. Розумний компроміс лежить десь посередині, зміщуючись в ту чи іншу сторону в залежності від функцій, виконуваних конкретним модулем, комплексом або підсистемою.
Якість підготовки вихідних даних для проведення тестування серйозно впливає на ефективність процесу в цілому і включає в себе:
. Технічне завдання.
. Опис системи.
. Керівництво користувача.
. Оригінальний текст.
. Правила побудови (стандарти) програм та інтерфейсів.
. Критерії якості тестування.
. Еталонні значення вихідних і результуючих даних.
. Виділені ресурси, які визначаються доступними фінансовими засобами.
Однак, вичерпне тестування всіх гілок алгоритму будь-якої програми для всіх варіантів вхідних даних практично нездійсненно. Отже, тривалість етапу тестування є питанням суто тимчасовим. Враховуючи, що реальні ресурси будь-якого проекту обмежені бюджетом і тимчасовим показником, можна стверджувати, що мистецтво тестування полягає у відборі тестів з максимальною віддачею.
Помилки в програмах і даних можуть проявитися на будь-якій стадії тестування, а також у період експлуатації системи. Зареєстровані й оброблені відомості повинні використовуватися для виявлення відхилень від вимог замовника або технічного завдання. Для вирішення цього завдання використовується система управління проектно версіями програмних компонент, база документування тестів, результатів тестування та виконаних коригувань програм. Засоби накопичення повідомлень про відмови, помилки, пропозиціях на зміни, виконаних корегування і характеристиках версій є основною для управління розвитком і супроводом комплексу програмного забезпечення і складаються з журналів:
Пропонованих змін.
Знайдених дефектів.
Затверджених коригувань.
реалізувала змін.
користувальницькихїх версій.
У даній главі аналізуються основні причини та ознаки помилок, вводяться основні параметри і показники надійності програмного забезпечення. Також розглянуто методи прогнозування програмних відмов і тестування програм з метою підвищення надійності. Для оцінки надійності програмного забезпечення використовуються спеціальні моделі на підставу параметрів та показників наведених вище.
2. Аналіз моделей оцінки програмної надійності
Існуючі математичні моделі повинні оцінювати характеристики помилок у програмах і прогнозувати їх надійність при експлуатації. Моделі мають імовірнісний характер, і достовірність прогнозів залежить від точності вихідних даних і глибини прогнозування за часом.
Ці математичні моделі призначені для оцінки:
1. Показників надійності комплексу програм у процесі на...
