FORMAL TESTING OF REALVALUED FUNCTIONS

Authors

DOI:

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

Keywords:

algebraic test design, RAISE Specification Language, real-valued function

Abstract

The article discusses the algebraic approach to software design and testing. The aim of the study is to apply methods of formal software design to the development of functions for calculating the length of a meridian arc. Although formal software development methods have not yet been widely adopted in practical activities, their application in mathematical research seems reasonable due to the formal nature of programming languages. Research methods: the research utilizes the basic principles of the RAISE formal development method, which allows the use of formal logic. Specifically, the study explores the use of software development tools provided by the RAISE Method Group to specify functions for calculating the length of a meridian arc and to define conditions for creating a test driver for these functions at an early programming stage. The testing conditions are specified in the form of axioms using the abstract applicative approach. Scientific novelty the novelty of the study lies in demonstrating that the RAISE Specification Language (RSL) and specialized utilities are sufficiently convenient tools for small research teams that lack specialized skills in formal software development. The focus is on mathematical research, particularly on developing complex real-valued functions. In addition to the primary goal, seven coefficients (C0, C2, C4, C6, D2, D4, D6) of the Maclaurin series expansion for the considered functions were clarified. Formulas and calculations for the next two coefficients (C8, D8) were also performed. A practical method for developing generalized test drivers based on inheriting a class from a mock class was proposed, utilizing. NET features such as partial classes. Overall, the article aims to reduce the gap between the theoretical advantages of formal development methods and their insufficient practical application. Conclusions: algebraic design and testing are based on mathematical principles, enabling the following: avoiding ambiguity in functionality descriptions; ensuring precision and clarity in software requirements formulation; automating the generation of test cases and verification processes, thereby enhancing reliability; identifying and fixing errors at the development stage; and accelerating software development.

References

Мейєр Б. 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).

Published

2025-05-28

How to Cite

ПІСКУНОВ, О., ТУПКО, Н., ВАСИЛЬЄВ, О., & ТОПІХА, Н. (2025). FORMAL TESTING OF REALVALUED FUNCTIONS. Information Technology and Society, (1 (16), 174-182. https://doi.org/10.32689/maup.it.2025.1.22

Most read articles by the same author(s)