-
1Conference
Θεματικοί όροι: ТЕСТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, МАШИННОЕ ОБУЧЕНИЕ
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://elar.urfu.ru/handle/10995/143807
-
2Academic Journal
Θεματικοί όροι: drift detection, DevOps, инженер тестовых сред, CI/CD, управление окружениями, идентичность среды, техническая учётная запись, инфраструктура как код, тестовый контур, межсетевое экранирование, стабильность ПО, тестовая инфраструктура, контроль конфигурации, автоматизация тестирования, воспроизводимость
-
3Academic Journal
Θεματικοί όροι: drift detection, DevOps, инженер тестовых сред, CI/CD, управление окружениями, идентичность среды, техническая учётная запись, инфраструктура как код, тестовый контур, межсетевое экранирование, стабильность ПО, тестовая инфраструктура, контроль конфигурации, автоматизация тестирования, воспроизводимость
-
4Academic Journal
Συγγραφείς: Рябов, Д. С., Ушанкова, М. Ю.
Πηγή: System Analysis in Science and Education; No. 3 (2025); 33-41 ; Системный анализ в науке и образовании; № 3 (2025); 33-41 ; 2071-9612
Θεματικοί όροι: автоматизация тестирования, XSD-схема, межведомственное взаимодействие, генерация тестовых данных, микросервис, testing automation, XSD schema, interdepartmental interaction, test data generation, microservices
Περιγραφή αρχείου: application/pdf
Relation: https://sanse.ru/index.php/sanse/article/view/679/638; https://sanse.ru/index.php/sanse/article/view/679
Διαθεσιμότητα: https://sanse.ru/index.php/sanse/article/view/679
-
5
-
6Academic Journal
Θεματικοί όροι: автоматизация тестирования, тестирование веб-ресурсов, доступность веб-контента, юзабилити
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://elib.belstu.by/handle/123456789/67760
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15Conference
Συγγραφείς: Гладких, К. И., Захаров, А. А., Gladkikh, K. I., Zakharov, A. A.
Θεματικοί όροι: конференции, информационная безопасность, кибербезопасность, большие языковые модели, анализ уязвимостей, поиск уязвимостей, автоматизация тестирования, conferences, information security, cybersecurity, large language models, LLM, vulnerability analysis, vulnerability search, test automation
Περιγραφή αρχείου: application/pdf
Relation: Математическое и информационное моделирование : материалы Всероссийской конференции молодых ученых. Вып. 23. — Тюмень, 2025
Διαθεσιμότητα: https://elib.utmn.ru/jspui/handle/ru-tsu/38263
-
16
-
17
-
18
-
19Academic Journal
Συγγραφείς: E. Y. Merzlyakova, E. V. Yanchenko, Е. Ю. Мерзлякова, Е. В. Янченко
Πηγή: The Herald of the Siberian State University of Telecommunications and Information Science; Том 17, № 1 (2023); 92-106 ; Вестник СибГУТИ; Том 17, № 1 (2023); 92-106 ; 1998-6920
Θεματικοί όροι: качество программных средств, verification, validation, program analysis, software lifecycle, testing automation, quality assessment, software verification methods, software development, software quality, верификация, валидация, анализ программ, жизненный цикл ПО, автоматизация тестирования, оценка качества, методы верификации ПО, разработка программ
Περιγραφή αρχείου: application/pdf
Relation: https://vestnik.sibsutis.ru/jour/article/view/158/713; Кулямин В. В. Методы верификации программного обеспечения. М.: Институт системного программирования, 2008. 111 с.; Семахин А. М. Методы верификации оценки качества программного обеспечения: учебное пособие. Курган: Курганский государственный университет, 2018. 150 с.; IEEE 1012-2004 Standard for Software Verification and Validation. IEEE, 2005.; ГОСТ 28806-90 «Качество программных средств. Термины и определения» / Межгосударственный стандарт / Государственный комитет СССР по вычислительной технике и информатике, 1992.; ISO/IEC JTC 1/ SC7 Systems and software engineering – Systems and software Quality Rquirements and Evaluation (SQuaRE) – Guide to SQuaRE – Part 2: Software and systems engineering Geneva, Switzerland: ISO, 2014.; Информационные технологии. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Требования к качеству готового к использованию программного продукта (RUSP) и инструкции по тестированию. Стандартинформ, 2019.; Информационные технологии. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Модели качества систем и программных продуктов. Стандартинформ, 2015.; IEEE 1028 Standard for Software Reviews. New York: IEEE, 1998.; Fagan M. E. Design and Code Inspections to Reduce Errors in Program Development // IBM Systems Journal. 1976. V. 15, № 3. P. 182–211.; Kazman R., Bass L., Abowd G., Webb M. SAAM: A Method for Analyzing the Properties of Software Architectures // Proc. 16th International Conference on Software Engineering, 1994. P. 81–90.; Plum Hall Inc [Электронный ресурс]. URL: http://www.plumhall.com/ (дата обращения: 31.01.2023).; LDRA [Электронный ресурс]. URL: https://ldra.com/ (дата обращения: 03.02.2023).; Jtest [Электронный ресурс]. URL: https://www.parasoft.com/ (дата обращения: 3.02.2023).; Шлее М. Qt 5.10. Профессиональное программирование на C++. БХВ-Петербург, 2018.; PVS-Studio – статический анализатор на страже качества, защищённости (SAST) и безопасности кода [Электронный ресурс]. URL: https://pvs-studio.com/ru/pvsstudio/ (дата обращения: 10.05.2022).; Камкин А. С. Введение в формальные методы верификации программ: учебное пособие. М.: МГУ им. М.В. Ломоносов, 2018.; AVISPA – Automated Validation of Internet Security Protocols and Applications [Электронный ресурс]. URL: https://www.avispa-project.org/ (дата обращения: 03.02.2023).; Бланше Б. Моделирование и проверка протоколов безопасности с помощью прикладного исчисления Pi и проверки // Основы и тенденции в области конфиденциальности и безопасности. Октябрь 2016. № 1 (1–2). С. 1–135.; Перевышина Е. А., Бабенко Л. К. Анализ стойкости к атакам криптографических протоколов с использованием формального верификатора SPIN // Известия ЮФУ. Технические науки. 2019. № 5 (207). С. 58–68.; Гурин Р. Е., Рудаков И. В., Ребриков А. В. Методы верификации программного обеспечения // Сетевое научное издание. Наука и образование. 2015. № 10. С. 235–251.; Пероцкая В. Н., Градусов Д. А. Основы тестирования программного обеспечения: учебное пособие. Владимир: Издательство ВЛГУ, 2017.; Топ 10 бесплатных инструментов для автоматизированного тестирования [Электронный ресурс]. URL: https://medium.com/nuances-of-programming/топ-10бесплатных-автоматизированных-инструментов-для-тестирования32e461a78298 (дата обращения: 03.02.2023).; Utting M., Pretschner A., Legeard B. A Taxonomy of Model-Based Testing. Technical Report, Department of Computer Science, The University of Waikato, New Zealand, 2006.; Delgado N., Gates A. Q., Roach S. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools // IEEE Transactions on Software Engineering. December 2004. V. 30, № 12. P. 859–872.; Broy M., Jonsson B., Katoen J.-P., Leucker M., Pretschner A. Model Based Testing of Reactive Systems. LNCS 3472, Springer, 2005.; Utting M., Legeard B. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2007.; Ambert F., Bouquet F., Chemin S., Guenaud S., Legeard B., Peureux F., Vacelet N., Utting M. BZ-TT: A tool-set for test generation from Z and B using constraint logic programming // Proc. FATES’2002, August 2002. P. 105–119.; Ammann P., Black P. E. Abstracting formal specifications to generate software tests via model checking // Proc. 18th IEEE Digital Avionics Systems Conference, October 1999.; Engel C., Hahnle R. Generating unit tests from formal proofs // Proc. TAP 2007. LNCS 4454, Springer-Verlag, 2007. P. 169–188.; Sen K., Agha G. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools // Proc. Computer Aided Verification, August 2006. P. 419–423.; Lee I., Kannan S., Kim M., Sokolsky O., Viswanathan M. Runtime Assurance Based On Formal Specifications // Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 1999. P. 279–287.; Havelund K., Rosu G. Monitoring Java Programs with Java PathExplorer // Electronic Notes in Theoretical Computer Science. January 2004. V. 55, № 2. P. 1–18.; Cavalli A., Gervy C., Prokopenko S. New approaches for passive testing using an Extended Finite State Machine specification // Information and Software Technology. Elsevier. September 2003. V. 45, № 12. P. 837–852.; Chen D., Wu J. Chi H. Passive testing on TCP // Proc. International Conference on Communication Technology (ICCT), April 2003. V. 1. P. 182–186.; Cheon Y., Leavens G. T. A runtime assertion checker for the Java Modeling Language (JML) // Proc. International Conference on Software Engineering Research and Practice (SERP’02), CSREA Press, June 2002. P. 322–328.; Schoeller B. Strengthening Eiffel Contracts using Models // Proc. Workshop on Formal Aspects of Component Software (FACS), September 2003. P. 143–158.; Barnett M., Schulte W. Runtime verification of .NET contracts // Journal of Systems and Software. March 2003. V. 65, № 3. P. 199–208.; Кларк Э. М., Гамбург О., Пелед Д. Верификация моделей программ: Model Checking: пер. с англ. / под ред. Р. Смелянского. М.: МЦНМО, 2002. 416 с.; Рудаков И. В. Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей // Вестник Московского государственного технического университета им. Н. Э. Баумана. Серия Приборостроение. 2016. № 4 (109). С. 49–64.; Черников Б. В. Управление качеством программного обеспечения: учебник. М.: Форум, 2012. 240 с.; Черников Б. В., Поклонов Б. Е. Оценка качества программного обеспечения: Практикум: учебное пособие. М.: ФОРУМ: ИНФРА-М, 2012. 400 с.; Сандлер К., Баджет Т., Майерс Г. Искусство тестирования программ. М.: Вильямс, 2015. 272 с.; https://vestnik.sibsutis.ru/jour/article/view/158
-
20Academic Journal
Συγγραφείς: T. R. Masalimov, S. F. Sayfullina, Т. Р. Масалимов, С. Ф. Сайфуллина
Πηγή: Business Strategies; Том 11, № 3 (2023); 68-76 ; Стратегии бизнеса; Том 11, № 3 (2023); 68-76 ; 2311-7184 ; 10.17747/2311-7184-2023-3
Θεματικοί όροι: возврат инвестиций, software test automation, software test automation efficiency, ROI, return of investment, автоматизация тестирования программного обеспечения, эффективность автоматизации тестирования
Περιγραφή αρχείου: application/pdf
Relation: https://www.strategybusiness.ru/jour/article/view/921/726; Царев Ю.В., Сильянова Е.Ф., Кисельников С.А. Особенности ручного и автоматизированного тестирования программного обеспечения // Вестник науки. 2021. № 6(39). С. 117–121.; Ayo A. Research on software testing and effectiveness of automation testing. URL: https://www.researchgate.net/publication/333203621_Research_on_software_testing_and_effectiveness_of_automation_testing.; Bindu Bhargavi S.M., Suma V. A survey of the software test methods and identification of critical success factors for automation // SN Computer Science. 2022. No 449. P. 1–9.; Garousi V., Mäntylä M. When and what to automate in software testing? A multi-vocal literature review // Information and Software Technology. 2016. No 76. P. 1–38.; Kanij T., Merkel R., Grundy J. A preliminary survey of factors affecting software testers // 23rd Australian software engineering conference. 2014.; Kumar D., Mishra K. The impacts of test automation on software’s cost, quality and time to market // Procedia Computer Science. 2016. No 79. P. 8–15.; Lindholm D. Economics of test automation – test case selection for automation. URL: https://liu.diva-portal.org/smash/get/diva2:1294193/FULLTEXT01.pdf.; Software and systems engineering – Software testing – Part 1: General concepts. URL: https://www.iso.org/obp/ui/#iso:std:iso-iec-ieee:29119:-1:ed-2:v1:en.; Toroi T., Raninen A., Vaatainen L. Identifying process improvement targets in test processes: A case study // IEEE International Conference on Software Maintenance. 2013.; Wiklund K., Eldh S., Sundmark D., Lundqvist K. Impediments for software test automation: A systematic literature review: Impediments for Software Test Automation // Software Testing Verification and Reliability. 2017. No 27(2).; https://www.strategybusiness.ru/jour/article/view/921