Head of the Development Department
руководитель отдела разработок
Program testing is important to audit the quality of the program and its compliance with the initial specifications, reliability requirements, functionality, fullness of the complex, etc. Recently taking into account the compliance of the software product with consumer and market conditions is also relevant. This requires new approaches and methods, tools and technologies for verifying and testing programs in real code and real operation mode. The aim of the work is system analysis of the debugging and testing process. Using general system methods (analysis-synthesis, composition-decomposition, modeling, etc.), mathematical modeling the following results were obtained: 1) an analysis of goals, types, methods of testing was carried out; 2) classification of methods; 3) with certain initial hypotheses regarding the distribution of errors in the software system, a mathematical model for estimating the number of errors (vulnerabilities) in the software system, their dynamics using the apparatus of classes of ordinary differential equations "with saturation" was built and investigated. There are presented variants for development of problem statements (hypotheses), models, algorithms for identification of models for improvement of evidence and coverage of a wider class of test situations. Research results can be used for practical audit, control of the testing process.
Тестирование программ актуально для аудита качества программы и его соответствия исходным спецификациям, требованиям надежности, функциональности, полноты комплектности программного продукта и др. В последнее время актуален и учет соответствия программного продукта потребительским и рыночным условиям. Это требует новых подходов и методов, инструментов и технологий верификации и тестирования программ в реальном коде и реальном режиме эксплуатации. Цель работы – системный анализ процесса отладки, тестирования. С помощью общих системных методов (анализ-синтез, композиция-декомпозиция, моделирование и др.), математического моделирования получены следующие результаты: 1) проведен анализ целей, типов, методов тестирования; 2) проведена классификация методов; 3) при определенных исходных гипотезах относительно распределения ошибок в программном комплексе построена и исследована математическая модель оценивания количества ошибок (уязвимостей) в программной системе, их динамики с использованием аппарата классов обыкновенных дифференциальных уравнений «с насыщением». Предложены варианты развития постановок задач (гипотез), моделей, алгоритмов идентификации моделей для улучшения доказательности и охвата более широкого класса тестовых ситуаций. Результаты исследований можно использовать для практического аудита, управления процессом тестирования.