دورية أكاديمية

Mathematical criteria for testing the logical control programs for technological equipment

التفاصيل البيبلوغرافية
العنوان: Mathematical criteria for testing the logical control programs for technological equipment
المؤلفون: Nezhmetdinov Ramil, Putintseva Elena, Abdullaeva Dilnavoz, Bafoev Dusmurod
المصدر: E3S Web of Conferences, Vol 390, p 03006 (2023)
بيانات النشر: EDP Sciences, 2023.
سنة النشر: 2023
المجموعة: LCC:Environmental sciences
مصطلحات موضوعية: Environmental sciences, GE1-350
الوصف: The article covers examination of mathematical criteria that allow considering the process of testing the logical control systems at the stage of developing a control program as completed. Two mathematical approaches for detecting errors in software, i.e. the criterion for the intensity of error detection and the criterion for a given value of mean time to failure have been considered. An example of the calculation of mathematical criteria for a real task, i.e. testing the logical control program of the turret block of the electrical automation system of a machining center of oblique layout with CNC has been given. A variant of calculating the required test time to achieve the required value of time to failure has been given. It has been concluded that in order to increase the efficiency of testing, its acceleration and reduce the cost of testing, both for manual and automated testing methods, it is necessary to use methods and tools that allow eliminating the influence of the shortcomings of traditional approaches to testing.
نوع الوثيقة: article
وصف الملف: electronic resource
اللغة: English
French
تدمد: 2267-1242
Relation: https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/27/e3sconf_agritechviii2023_03006.pdf; https://doaj.org/toc/2267-1242
DOI: 10.1051/e3sconf/202339003006
URL الوصول: https://doaj.org/article/304bbf181d094912a87eb9bf99b372c4
رقم الأكسشن: edsdoj.304bbf181d094912a87eb9bf99b372c4
قاعدة البيانات: Directory of Open Access Journals
الوصف
تدمد:22671242
DOI:10.1051/e3sconf/202339003006