Декомпозиція вхідних даних у задачах генерування модульних тестів
Для дослідження можливостей декомпозиції вхідних даних у задачах генерування модульних тестів застосовано методи ізолювання, структурне та функціональне моделювання. Проаналізовано наявні методи та виділено основні стратегії, які застосовуються системами символьного виконання. Описано їх переваги та...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ukrainian National Forestry University
2022-08-01
|
| Series: | Науковий вісник НЛТУ України |
| Subjects: | |
| Online Access: | https://nv.nltu.edu.ua/index.php/journal/article/view/2440 |
| _version_ | 1811162314918854656 |
|---|---|
| author | Р. П. Базилевич А. В. Франко |
| author_facet | Р. П. Базилевич А. В. Франко |
| author_sort | Р. П. Базилевич |
| collection | DOAJ |
| description | Для дослідження можливостей декомпозиції вхідних даних у задачах генерування модульних тестів застосовано методи ізолювання, структурне та функціональне моделювання. Проаналізовано наявні методи та виділено основні стратегії, які застосовуються системами символьного виконання. Описано їх переваги та недоліки. Запропоновано нові методи кластеризації вхідних даних для генерування модульних тестів. Визначено основні кроки для створення моделі кластеризації вхідних даних з використанням засобів символьного виконання. Обґрунтовано застосування коду як основного джерела даних для кластеризації. Охарактеризовано об'єкти, що містяться у вхідних даних або пов'язані з ними та є потенційними сутностями для кластеризації. Визначено функцію як множину операторів мови програмування, одиницею декомпозиції коду програми для генерування модульних тестів. Охарактеризовано її властивості за мірою придатності кількісних і якісних характеристик для створення функції подібності. Обґрунтовано вибір зв'язків з іншими функціями та звертань до даних за межами локальної області видимості функції як основних параметрів кластеризації. Визначено користувацькі типи даних, які використовуються для визначення параметрів і значення, що повертається, як можливі другорядні параметри кластеризації. Сформульовано задачу кластеризації на підставі обраних характеристик для вхідних даних, що використовуються для генерування тестів. Запропоновано методи обчислення міри близькості між окремими функціями, а також між функцією та кластером. Описано практичні методи для обчислення характеристик та сутностей з вхідних даних. Запропоновано подальші дослідження з метою визначення оптимальних значень коефіцієнтів для запропонованої моделі кластеризації та функції розпізнавання для перевірки близькості кластерів до відомих шаблонів, що створить додаткові можливості для генерування тестів.
|
| first_indexed | 2024-04-10T06:29:05Z |
| format | Article |
| id | doaj.art-fbe617dd899545b5bc97594379b64224 |
| institution | Directory Open Access Journal |
| issn | 1994-7836 2519-2477 |
| language | English |
| last_indexed | 2024-04-10T06:29:05Z |
| publishDate | 2022-08-01 |
| publisher | Ukrainian National Forestry University |
| record_format | Article |
| series | Науковий вісник НЛТУ України |
| spelling | doaj.art-fbe617dd899545b5bc97594379b642242023-03-01T18:30:20ZengUkrainian National Forestry UniversityНауковий вісник НЛТУ України1994-78362519-24772022-08-0132410.36930/40320412Декомпозиція вхідних даних у задачах генерування модульних тестівР. П. Базилевич0А. В. Франко1Національний університет "Львівська політехніка", м. ЛьвівНаціональний університет "Львівська політехніка", м. ЛьвівДля дослідження можливостей декомпозиції вхідних даних у задачах генерування модульних тестів застосовано методи ізолювання, структурне та функціональне моделювання. Проаналізовано наявні методи та виділено основні стратегії, які застосовуються системами символьного виконання. Описано їх переваги та недоліки. Запропоновано нові методи кластеризації вхідних даних для генерування модульних тестів. Визначено основні кроки для створення моделі кластеризації вхідних даних з використанням засобів символьного виконання. Обґрунтовано застосування коду як основного джерела даних для кластеризації. Охарактеризовано об'єкти, що містяться у вхідних даних або пов'язані з ними та є потенційними сутностями для кластеризації. Визначено функцію як множину операторів мови програмування, одиницею декомпозиції коду програми для генерування модульних тестів. Охарактеризовано її властивості за мірою придатності кількісних і якісних характеристик для створення функції подібності. Обґрунтовано вибір зв'язків з іншими функціями та звертань до даних за межами локальної області видимості функції як основних параметрів кластеризації. Визначено користувацькі типи даних, які використовуються для визначення параметрів і значення, що повертається, як можливі другорядні параметри кластеризації. Сформульовано задачу кластеризації на підставі обраних характеристик для вхідних даних, що використовуються для генерування тестів. Запропоновано методи обчислення міри близькості між окремими функціями, а також між функцією та кластером. Описано практичні методи для обчислення характеристик та сутностей з вхідних даних. Запропоновано подальші дослідження з метою визначення оптимальних значень коефіцієнтів для запропонованої моделі кластеризації та функції розпізнавання для перевірки близькості кластерів до відомих шаблонів, що створить додаткові можливості для генерування тестів. https://nv.nltu.edu.ua/index.php/journal/article/view/2440модульне тестуваннясимвольне виконаннякластеризація програмного забезпеченнягенерування тестівфункція подібності |
| spellingShingle | Р. П. Базилевич А. В. Франко Декомпозиція вхідних даних у задачах генерування модульних тестів Науковий вісник НЛТУ України модульне тестування символьне виконання кластеризація програмного забезпечення генерування тестів функція подібності |
| title | Декомпозиція вхідних даних у задачах генерування модульних тестів |
| title_full | Декомпозиція вхідних даних у задачах генерування модульних тестів |
| title_fullStr | Декомпозиція вхідних даних у задачах генерування модульних тестів |
| title_full_unstemmed | Декомпозиція вхідних даних у задачах генерування модульних тестів |
| title_short | Декомпозиція вхідних даних у задачах генерування модульних тестів |
| title_sort | декомпозиція вхідних даних у задачах генерування модульних тестів |
| topic | модульне тестування символьне виконання кластеризація програмного забезпечення генерування тестів функція подібності |
| url | https://nv.nltu.edu.ua/index.php/journal/article/view/2440 |
| work_keys_str_mv | AT rpbazilevič dekompozicíâvhídnihdanihuzadačahgeneruvannâmodulʹnihtestív AT avfranko dekompozicíâvhídnihdanihuzadačahgeneruvannâmodulʹnihtestív |