Trends and Innovations in Teaching Software Verification and Validation at Universities in Leading Technology Countries

Abstract

The article examines the main trends and innovations in teaching software verification and validation at universities in leading technology countries. The purpose of the study is to conduct a theoretical analysis of trends and innovations in teaching software verification and validation (V&V) at universities in leading technology countries, as well as to substantiate recommendations for improving relevant educational programs in Ukrainian higher education institutions for training specialists in technological and vocational education with a specialization in computer science. Methods. The study employs a set of theoretical methods of scientific cognition: analysis, synthesis, comparison, generalization, and a systematic approach to investigate the peculiarities of V&V teaching at higher education institutions in the USA, Japan, South Korea, Germany, England, and Ukraine. Results. It was established that leading technology countries are characterized by a high level of integration of international standards (ISTQB, ECUK, ISO/IEC 25010), project-based learning, practical training in cooperation with industry, and the use of artificial intelligence as a didactic tool. The Ukrainian V&V teaching model demonstrates high flexibility in implementing innovative methods, but requires systematic implementation of standardized approaches, expansion of the practical component, and deepening of international academic cooperation. Conclusions. Recommendations are proposed for modernizing curricula by involving the best international practices, implementing an interdisciplinary approach, integrating artificial intelligence tools, and developing partnerships with IT companies to enhance the competitiveness of graduates in the global labor market.