Вісники та науково-технічні збірники, журнали

Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12

Browse

Has files: YesSubject: search.filters.subject.software testing process

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Variables state-based software usage model
    (Commission of Motorization and Energetics in Agriculture, 2014) Fedasyuk, D.; Yakovyna, V.; Serdyuk, P.; Nytrebych, O.
    This article describes a new mathematical software usage model, which includes the effect of the set of global and external variables values for further analysis of multi-test scenarios to improve the effectiveness of the testing software. This model is represented as a graph of transitions and a set of variables with respective sets of equivalence classes. The proposed approach is particularly relevant for computational algorithms with complex logic.
  • Thumbnail Image
    Item
    Критерій достатності процесу тестування програмного забезпечення
    (Видавництво Львівської політехніки, 2010) Яковина, В.; Сенів, М.; Чабанюк, Я.; Федасюк, Д.; Хімка, У.
    Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах. Здійснено формалізацію критерію достатності процесу тестування програмного забезпечення на основі запропонованої моделі. The new mathematical model for software reliability with dynamic index of software project size has been developed. The comparative analysis of existing and proposed models using real test examples has been carried out. The criterion of software testing process sufficiency has been formulated on the basis of developed model.