Представленная в настоящей статье проблематика является результатом обобщения опыта тестирования производительности распределенной системы и осмысления этого опыта в теоретическом аспекте. В статье предложены некоторые правила проектирования программного инструментария для проверки комплексной надежности информационной системы, которые полагаются основными. Сформулированы принципы программного конструирования испытательного стенда для оценки производительности и особенности использования инструментов нагрузочного тестирования в ситуациях появления системных и программных ошибок. Даются краткое описание моделей сценариев нагрузочного тестирования, математическое описание процесса тестирования работы информационной системы под критической нагрузкой в терминологии системного анализа и ссылки на обоснование моделей аппаратом теории случайных процессов и систем массового обслуживания. Приведена классификация информационных систем по критерию реакции на повышение нагрузки. Даны развернутое описание ошибок, которые диагностируются в ходе тестирования нагрузки, и классификация этих ошибок по различным критериям. Отмечено, что перспективным представляется использование линейной темпоральной логики c часами (Temporal Logicwith Clock, TLC). Применение инструментов нагрузочного тестирования, обладающих способностью одновременного запуска различных по составу последовательных тестов, позволяет гибко моделировать характерные ситуации, выделяя проблемные места. Высказываются предположения о методологическом подходе к формализации и моделированию процесса тестирования производительности в рамках логического моделирования с использованием специфических модальных алгоритмических логик.

The present article shows issue which is a result of summarizing the experience of testing the performance of adistributed system and comprehending this experience in a theoretical aspect. The article proposes some designing rules of software tools for testing the comprehensive reliability of an information system, as main problem. Article defines principles of programmatic design of the testing stand for evaluating performance. It presents features of using stress testing tools in contest of system and program errors. Article has a brief description of the model’s scenarios of stress testing, the mathematical description of the testing process of the information system under critical load by using terminology of system analyses and links for theory of random processes and theory of Queuing systems which are substantiate the model. The information systems classification is given by the criterion of response to increased load. A detailed description of the errors is given that are diagnosed during load testing and the classification of these errors according to various criteria. Assumptions are made about a methodological approach to formalizing and modelling the performance testing process in the framework of logical modelling by using specific modal algorithmic logics.