MINIMUM PROGRAM GRAPH COVERAGE ALGORITHM

Main Article Content

M. M. Aripov

Abstract

Structural methods for program testing are described, such as branch testing, program verification, symbolic testing, and generating structural tests. An algorithm for the minimum coverage of the program graph based on the packing adjacency matrix and a specific example of the minimum coverage of the program graph are given.

Article Details

How to Cite
M. M. Aripov. (2022). MINIMUM PROGRAM GRAPH COVERAGE ALGORITHM. Galaxy International Interdisciplinary Research Journal, 10(12), 318–322. Retrieved from https://internationaljournals.co.in/index.php/giirj/article/view/3037
Section
Articles

References

Iyudu K.A., Aripov M.M. Automating the generation of paths for testingprograms written in Fortran. Programming, 1986, No. 7.

Iyudu K.A., Aripov M.M. Testing a program based on the minimum coverage of its graph. Control systems and machines, 1985, No. 6.

Iyudu K.A., Aripov M.M. Automation of structural testing of programs. Republican conference. Reliability and quality of software. Abstracts of reports. Lvov, January 29-31, 1985

Fundamentals creating the algebra science and algoritms / M.M.Aripov, R.N.Normatov, I.M.Siddikov, U.Oripova // Solid state technology. 2020. Vol.63.No. 5. 6103-6111.

Simon C., Ntafos S., Louis Hakimi. On structured digrafs and program testing. IEEE Trans. On Computers, vol. C-30, № 1, January 1981.

Shukhratovich, Shirinov Feruzjon. "The Field of Computer Graphics and Its Importance, Role and Place in The Information Society." Texas Journal of Multidisciplinary Studies 4 (2022): 86-88.

Tokhirovna, Khakimova Yoqutkhon. "Stages Of Implementation Of Distance Learning In Higher Education." Texas Journal of Philology, Culture and History 1 (2021): 38-39.

Хонбобоев, Хакимжон Октамович, Мубина Хакимжоновна Икромова, and Мухаммад-Анасхон Хакимжонович Икромов. "Ta’limda axbоrоt texnоlоgiyalarni qollashning oziga xоs xususiyatlari." Молодой ученый 3-1 (2016): 21-22.

Хонбобоев, Хакимжон Октамович, Фозилжон Усибхонович Полатов, and Мухаммад-Анасхон Хакимжонович Икромов. "Tasviriy san’atni oqitishda interfaоl metоdlardan fоydalanish." Молодой ученый 3-1 (2016): 22-23.

Khaidarova, S. "Sql-expressions That Manage Transactions." JournalNX: 307-310.

Siddiqov, I. M. "THE IMPORTANCE OF USING THE ACT IN THE PROCESS OF DEVELOPMENT OF PRESCHOOL CHILDREN." Экономика и социум 5-1 (2021): 458-461.

Muydinovich, Rasulov Inom. "The Role of Digital Technologies in Growing Secondary School Students to the Profession." Eurasian Scientific Herald 6 (2022): 137-142.

Muydinovich, Rasulov Inom. "The Role of Digital Technologies in Growing Secondary School Students to the Profession." Eurasian Scientific Herald 6 (2022): 137-142.

Normatov, R. N., M. M. Aripov, and I. M. Siddikov. "Some issues of analysis structural complex systems." International Journal on Orange Technologies 3.2 (2021): 59-62.

Juraev, M. M. (2022). Prospects for the development of professional training of students of professional educational institutions using electronic educational resources in the environment of digital transformation. Academicia Globe: Inderscience Research, 3(10), 158-162.

Toshpulatov, Raximjon I. "MODERN METHODS AND TENDENCIES IN TEACHING INFORMATION TECHNOLOGY." International Journal of Pedagogics 2.09 (2022): 43-46.

Йулдошев, Уткир, and Уктамжон Жуманкузиев. "Определение ведущих педагогических закономерностей и основополагающих принципов формирования информационной культуры детей школьного возраста." Общество и инновации 2.5/S (2021): 68-76.

Marufovich, Aripov Masud, and Shirinov Feruzjon Shuxratovich. "BO ‘LAJAK INFORMATIKA FANI O ‘QITUVCHILARINING GRAFIK AXBOROTLAR BILAN ISHLASH KOMPETENSIYASINI RIVOJLANTIRISH." TA'LIM VA RIVOJLANISH TAHLILI ONLAYN ILMIY JURNALI 2.1 (2022): 183-187.

Siddikov, I. M., and Sheraliev O. Sh. "ABOUT ONE INNOVATION METHOD OF LOCALIZATION OF INDEPENDENT DIGITAL DEVICES." E-Conference Globe. 2021.

Shirinov F., Mamasoliyev A. A GENERAL DESCRIPTION OF THE HARDWARE AND SOFTWARE ENVIRONMENT USED TO ORGANIZE COMPUTER-BASED LEARNING PROCESSES //Euro-Asia Conferences. – 2021. – Т. 3. – №. 1. – С. 63-65.

Normatov, R. N., M. M. Aripov, and I. M. Siddikov. "Analysis Method of Structural-complex System Indicators by Decomposition Into Subsystems." JournalNX 7.04 (2021): 68-71.

Marufovich, Aripov Masud, and Shirinov Feruzjon Shuxratovich. "BO ‘LAJAK INFORMATIKA FANI O ‘QITUVCHILARINING GRAFIK AXBOROTLAR BILAN ISHLASH KOMPETENSIYASINI RIVOJLANTIRISH." TA'LIM VA RIVOJLANISH TAHLILI ONLAYN ILMIY JURNALI 2.1 (2022): 183-187.