С.М. Старолетов, Е.Н. Крючкова Тестирование распределенных приложений на основе построения моделей Сегодня рынок программного обеспечения постепенно переходит от программ ных систем, выполняющихся на одном настольном компьютере, к распределенным системам, работающим на нескольких устройствах через локальную сеть организа ции или глобальную сеть Интернет. <...> 1 в качестве при мера показана схема сегодняшнего типово го приложения по замыслу Sun Microsys tems, которое включает серверную часть, тонкие клиенты через браузер, настольный клиент и ПО для мобильных устройств. дукта необходимо его обязательное тести рование в процессе разработки, перед за пуском в продажу и внедрением. <...> Тестирование—самая популярная мето дика повышения качества, подкрепленная многими исследованиями и богатым опы том разработки коммерческих приложений. <...> ЛабораторияИспытание технологий Регрессивным тестированием назы вают повторное выполнение тестов, на правленное на обнаружение дефектов в программе, уже прошедшей этот набор тестов. <...> Кроме того, приложение может содер жать несколько экземпляров как клиентов, так и серверов, и может случиться, что сис тема при небольшом числе клиентов рабо тает нормально, а при большом — дает серьезные сбои или очень медленно реаги рует на действия пользователей. <...> Microsoft Spec Explorer Группа Semantic Platforms Test Group ком пании Microsoft Corporation в 1999 году [3], а затем Foundations of Software Engineering из Microsoft Research [4, 5, 6, 7, 8] c 2003 го да серьезно прорабатывают вопросы тес тированияПОна основе моделей. <...> В резуль тате был создан продукт Spec Explorer, ко торый используется в данной корпорации для тестирования компонентов среды . <...> В разработках группы используется тео рия машин абстрактных состояний (ASM— Abstract State Mashines), разработанная профессором университета Мичиган Юри ем Гуревичем (ныне — научный сотрудник 125 С.М. Старолетов, Е. Н. Крючкова Microsoft Research, Редмонд, штат Вашинг тон). <...> Для тестируемой системы <...>