Пошук академічних текстів

Інформація × Реєстраційний номер 0299U000622, 0196U015899 , Науково-дослідна робота Назва роботи Розробка моделей та методів підвищення і оцінки достовірності високоцілісного програмного забезпечення Назва етапу роботи Керівник роботи Мороз Г.Б., Дата реєстрації 30-03-2001 Організація виконавець Інститут програмних систем Опис етапу В роботі отримані такі основні результати: 1) визначено кількісні міри ефективності методів тестування програмних засобів та досліджено зв'язок між ними; 2) проведено порівняльний аналіз тестування підобластей і розподіленого тестування з випадковим тестуванням відносно Р-міри та Е-міри детектабільності; 3) досліджено найкращі та найгірші випадки тестування підобластей і розподіленого тестування відносно різних мір детектабільності; 4) описана нова кількісна міра якості програмного забезпечення, яка названа трастабільністю та запропоновано моделі і методи її оцінки 5) розв’язані пряма та обернена задачі оптимізації стратегий тестування відносно критеріїв трастабільності та вартості. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити