ФОРМАЛЬНЕ ТЕСТУВАННЯ ФУНКЦІЙ ДІЙСНОГО АРГУМЕНТУ

Автор(и)

DOI:

https://doi.org/10.32689/maup.it.2025.1.22

Ключові слова:

алгебраїчне проєктування тестів, RAISE Specification Language, функція дійсного аргументу

Анотація

У статті розглянуто алгебраїчний підхід до проєктування та тестування програмного забезпечення. Метою статті є застосування методів формального проєктування програмного забезпечення (ПЗ) на прикладі розробки функцій підрахунку довжини дуги меридіану. Методи формальної розробки ПЗ досі не набули широкого використання в практичній діяльності, але враховуючи формальну природу мов програмування, їх впровадження в математичні дослідження виглядає цілком обґрунтованим. Методи дослідження: під час дослідження використовуються базові положення методу формальної розробки RAISE, які дозволяють застосовувати формальну логіку. Зокрема, розглядається використання інструментів розробки програмного забезпечення від RAISE Method Group для специфікації функцій обчислення довжини дуги меридіана та визначення умов створення драйвера тестів для цих функцій на ранньому етапі программування. Специфікація умов для тестування формулюється у вигляді аксіом з використанням абстрактного аплікативного підходу. Наукова новизна дослідження полягає в тому, що мова формальних специфікацій RAISE Specification Language (RSL) та спеціалізована утиліта є достатньо зручними інструментами для повсякденної роботи маленьких груп наукових співробітників, які не мають спеціальних навичок в галузі формальної разработки ПЗ. Особливо цікавила область математичних досліджень, зокрема для розробки складних функцій дійсного аргументу. Окрім основної мети, було уточнено сім коефіцієнтів (C0, C2, C4, C6, D2, D4, D6) розкладання розглянутих функцій у ряд Маклорена, складено формули та виконано розрахунки для наступних двох коефіцієнтів (C8, D8). Запропоновано практичний прийом розробки узагальнених драйверів тесту, заснований на успадкування класу, що розробляється від муляжу (mock class) з використанням можливостей. NET, таких як класи, що розділяються (partial class). Загалом стаття спрямована на зменшення розриву між теоретичними перевагами методів формальної розробки та їх недостатньо широким застосуванням у практиці. Висновки: алгебраїчне проєктування та тестування базується на математичних принципах, що дозволяє: уникати двозначності і неоднозначності в описі функціональності; забезпечувати точність та однозначність у формулюванні вимог до програми; автоматизувати процес генерації тестових випадків та перевірки роботи, відповідно підвищувати надійність; виявляти і усувати помилки ще на стадії розробки та прискорити розробку ПЗ.

Посилання

Мейєр Б. Object-oriented software construction (2-е вид.). Санта-Барбара: ISE Inc, 2000. 1284 с.

Haxthausen A. Lecture Notes on The RAISE Development Method. Kongens Lyngby: DTU, 1999. 20 с.

Піскунов О. Г. Про відмінності між поняттями типу та класу. Вісник Київського національного університету імені Тараса Шевченка. Серія «Фізико-математичні науки», 2015, № 3, с. 106–114.

Cody W., Waite W. Software manual for the elementary functions. New Jersey: Prentice-Hall, 1980. 289 с.

Grassmann H. Arithmetik für höhere. Stettin: Verlag von Friedrich Nagel, 1861. 224 с.

Піскунов О. Г., Тупко Н. П., Топіха Н. В. Формальний погляд на тестування функцій дійсного аргументу. Сучасні методи, інформаційне, програмне та технічне забезпечення систем керування організаційно-технічними та технологічними комплексами: матеріали XI Міжнародної науково-технічної Internet-конференції, м. Київ, 27 лист. 2024 р. / НУХТ, 2024, с. 218–219.

Піскунов О., Тупко Н., Петренко І. Алгебраїчне проєктування програмного забезпечення. Інформаційні технології та суспільство, 2024, № 5 (11), с. 50–59.

Піскунов О. Г., Сіренко А. Г. Мови формальних специфікацій та документування методів класу. Штучний інтелект та інформаційні технології (AIAT-2024): матеріали першої міжнародної науково-практичної конференції, м. Київ, 3–4 червня 2024 р. / НУХТ, 2024, с. 340–342.

Parnas D. L. Really rethinking ’formal methods’. IEEE Computer Society, Computer, 2010, № 43, с. 28–34.

Serapinas В. Geodetic Foundations of Maps. URL: https://cutt.ly/8e9clPjJ (дата звернення: 10.01.2025).

Palikaris A., Tsoulos L., Paradissis D. New Meridian Arc Formulas for Sailing Calculations in Navigational GIS. URL: https://www.researchgate.net/publication/236611373 (дата звернення: 10.01.2025).

George C. RAISE Tool User Guide. UNU-IIST, 2008, 162 p. URL: https://raisetools.github.io/material/documentation/ug.pdf (дата звернення: 10.01.2025).

##submission.downloads##

Опубліковано

2025-05-28

Як цитувати

ПІСКУНОВ, О., ТУПКО, Н., ВАСИЛЬЄВ, О., & ТОПІХА, Н. (2025). ФОРМАЛЬНЕ ТЕСТУВАННЯ ФУНКЦІЙ ДІЙСНОГО АРГУМЕНТУ. Інформаційні технології та суспільство, (1 (16), 174-182. https://doi.org/10.32689/maup.it.2025.1.22

Статті цього автора (авторів), які найбільше читають