ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013
4
Поскольку для разработки метода был выбран динамический под-
ход, входными данными для метода служат анализируемое приложе-
ние и набор тестовых данных. Результатом работы метода являются
сведения об обнаруженных ошибках (рис. 2). Для работы метода важ-
ны следующие моменты, которые можно отследить только внутри яд-
ра операционной системы: изменения состояния сокетов, изменения
состояния потока и возникающие в системе блокировки. На основании
этих данных можно обнаруживать возникающие ошибки.
Рис. 2. Схема работы рассматриваемого метода
При выполнении функции чтения сокет может находиться в трех
состояниях: «Нет данных», «Ожидание чтения», «Заблокирован до
чтения» (рис. 3). В момент создания сокет находится в состоянии
«Нет данных». Переходы между состояниями и условия для их осу-
ществления показаны в табл. 1.
Рис. 3. Состояния сокета с точки зрения созданного метода
1,2,3 5,6,7,8,9,10,11,12,13,14,...15