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