| Таблица | Карточка | RUSMARC | |
|
|
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Целью магистерской диссертации является разработка подхода к проверке корректности использования протокола программных библиотек, основная идея которого состоит в сравнении формальных спецификаций программных библиотек с трассами выполнения программы, полученными средствами динамического анализа. Результатом сравнения является список найденных нарушений спецификаций программных библиотек в анализируемой программе. Разработанный подход был реализован в виде прототипа системы для анализа Java-программ. Система включает в себя инструмент автоматизированной проверки корректности использования протоколов библиотек и графический редактор спецификаций.
Права на использование объекта хранения
| Место доступа | Группа пользователей | Действие | ||||
|---|---|---|---|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
||||
| Внешние организации №2 | Все |
|
||||
| Внешние организации №1 | Все | |||||
| Интернет | Авторизованные пользователи СПбПУ |
|
||||
| Интернет | Авторизованные пользователи (не СПбПУ, №2) |
|
||||
| Интернет | Авторизованные пользователи (не СПбПУ, №1) | |||||
|
Интернет | Анонимные пользователи |
Оглавление
- titulnik (2) (2)
- Диплом_для_библиотеки
Статистика использования
|
|
Количество обращений: 133
За последние 30 дней: 0 Подробная статистика |