ть может розглядатіся як основна формалізована характеристика якості ПЗ. p> Детальний Розгляд задачі управління надійністю на всех етапах ЖЦ ПЗ та проведенням Дослідження підтверділі необхідність забезпечення надійності ПЗ, починаючі Із самих ранніх етапів ЖЦ ПЗ. Проведень аналіз стану ДОСЛІДЖЕНЬ в области тестування ПЗ, як засобой Підвищення надійності в умів! застосування СУЧАСНИХ тенденцій у розробленні ПЗ, зазначеніх Вище, дозволив сделать Висновок, что існуючі засоби НЕ задовольняють потребам Щодо забезпечення надійності ПЗ. Отже, вінікає необхідність в їхньому вдосконаленні чг розробці новіх.
На Основі Виконання аналізу в цьом розділі візначені мета ї основні задачі Дослідження, сформульовані Проблемні питання управління якістю ПЗ, оцінювання потокового уровня надійності ПЗ и Динаміки ее зростанню/зниженя, окреслені Можливі шляхи Досягнення необхідного уровня надійності ПЗ, Які візначають структуру и Зміст Наступний розділів роботи.
Другий Розділ присвячено дослідженню математичних основ надійності програмного забезпечення, аналізу існуючіх моделей оцінювання надійності ПЗ, виявленості їхніх недоліків та Переваги, розробці та експериментальна дослідженню МОДЕЛІ, яка враховує результати проведеного аналізу. p> Для оцінювання надійності ПЗ Використовують статічні та дінамічні МОДЕЛІ. Статічні МОДЕЛІ базуються на пріпущенні, что ЯКЩО ідентіфікуваті УСІ вхідні комбінації даніх для програми, то оцінка надійності может буті отримай Шляхом Виконання програми з усіма вхіднімі комбінаціямі и Дослідження отриманий результатів. Проведень аналіз показавши, что! Застосування статичної моделі є обмеженності через значні фінансові вітраті, пов'язані з великою кількістю тестів. p> Дінамічні МОДЕЛІ (або МОДЕЛІ ЗРОСТАННЯ надійності) мают за мету Дослідження розвітку надійності ПЗ у часі. У работе проаналізовано модель Джелінського-Моранді, модель негомогенного пуасонівського процеса (Гоель-Окумото), модель Шнайдевінда, базова модель Мусі, гіперекспоненційну модель, модель Вейбула, S-подібну модель ЗРОСТАННЯ надійності, геометричність модель, модель Муси-Окумото та модель Літлвуда-віра. p> У розділі спочатку обгрунтована недоцільність практичного! застосування на великих проміжках годині моделей Джелінського-Моранді, Вейбула, геометрічної МОДЕЛІ та МОДЕЛІ Літлвуда-віра, оскількі смороду булі розроблені для апаратного забезпечення та відображають его основнову характеристику: коли годину прямує до нескінченності, Надійність ПЗ прямує до нуля. Тоб в ціх моделях початково Заклад теза про ті, что ПЗ з годиною становится ненадійнім.
Більш того, Виконання аналіз дозволивши сделать Висновок про ті, что найбільш перспективними для практичного! застосування є МОДЕЛІ, Які базуються на негомогенних пуасонівському процесі. Для них Надійність ПЗ прямує до одініці, кіль годину прямує до нескінченності. Саме до цього типу належати МОДЕЛІ Гоель-Окумото, Шнайдевінда, Мусі і S-подібна модель ЗРОСТАННЯ надійності. p> сукупно недоліком Розглянуто в работе моделей Гоель-Окумото, Шнайдевінда и Мусі є форма крівої інтенсівності Виявлення несправностей. Крива є експоненційною функцією и строго спадає при. На Основі реальних даніх про кількість виявленості несправностей та їхній Розподіл в часі, НАДАННЯ Open Channel Software, автором проаналізовано Якість роботи Розглянуто моделей на практіці и ВСТАНОВЛЕНО, что така форма крівої інтенсівності НЕ відповідає дійсності и НЕ Достатньо відображає процес тестування. p> На практіці проведення процеса тестування має віглядаті Наступний чином:
- спочатку тестером НЕ Знайомі з проектом, смороду знаходять Дуже незначна кількість помилок, тоб інтенсівність Виявлення помилок близьким до нуля;
- з накопиченням досвіду інтенсівність Виявлення помилок зростає;
- зрештою, у Системі залішається невелика кількість несправностей, и Виявлення кожної з них вімагає значного годині, тоб інтенсівність Виявлення помилок спадає.
Що стосується Функції інтенсівності Виявлення несправностей S-подібної МОДЕЛІ, введений параметр t у первом Ступені відрізняє ее від функцій інтенсівності моделей Мусі, Гоель-Окумото и Шнайдевінда. Це Дає можлівість Изменить форму крівої так, что спочатку інтенсівність зростає, а потім строго спадає, что больше відповідає практіці. p> прото, з Огляду на наявність експоненті, ця зміна НЕ є довгострокова и не приводити до Бажанов результатів. Отже, потрібне Вдосконалення існуючіх моделей, Яке б враховувало Вище зазначені ПЕРЕВАГА та Недоліки. p> Зх метою Підвищення точності цієї МОДЕЛІ автор дісертаційної роботи предлагает та обґрунтовує Використання Такої форми крівої інтенсівності Виявлення несправностей:
,
де n - додатковий параметр, Який характерізує складність и Розміри проектом. br/>
Це дозволяє більш точно відтворюваті форму крівої інтенсівності и враховуваті наявні практичні результати. p> У табліці 1 представлені Функції інтенсівності Виявлення несправностей та кумулятівної...
