Zobrazeno 1 - 7
of 7
pro vyhledávání: '"автоматическая генерация тестов"'
Autor:
I. A. Yakimov, A. S. Kuznetsov
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 5, Pp 227-238 (2018)
Software testing is a time consuming process. In general, software companies spend about 50% of development time on testing. On the other hand, lack of testing implies financial and other risks. In the case of systematic testing a suitable test suite
Externí odkaz:
https://doaj.org/article/cc092f389f344f35b2c26a6f16462f75
Autor:
I. A. Yakimov, A. S. Kuznetsov
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 5, Pp 227-238 (2018)
Software testing is a time consuming process. In general, software companies spend about 50% of development time on testing. On the other hand, lack of testing implies financial and other risks. In the case of systematic testing a suitable test suite
Аннотация—Предлагается использовать новую, более простую, интеллектуальную и математически строгую концепцию программирования ориен
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23cc29e3a717cfa3ec08a249739a4f72
Autor:
Andreyeva, T. A.
Sistems for automated correctness-checking can be used both at programming contests and in the teaching process. To make these systems useful for a wider circle of school and university teachers, it is necessary to automate not only the checking proc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3377::33a119f5bd70be5ebec236daf0125179
https://elar.rsvpu.ru/handle/123456789/25446
https://elar.rsvpu.ru/handle/123456789/25446
Publikováno v:
Вестник Нижегородского университета им. Н.И. Лобачевского.
Описывается опыт разработки программного комплекса для автоматической генерации тестовых заданий для студентов по курсу теории вероя
Publikováno v:
Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия «Приборостроение».
Рассмотрены вопросы разработки метода масштабирования алгоритмов, необходимого для проведения верификации программных систем, обеспе
Виконано аналіз структур даних і алгоритмів при виконанні операцій теорії множин над списками дефектів в дедуктивному методі моделюва
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3033::b2fa88608b4c23f55ea2e78a5cd53d7d
http://repository.kpi.kharkov.ua/handle/KhPI-Press/16620
http://repository.kpi.kharkov.ua/handle/KhPI-Press/16620