- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
- Об издании
- Редколлегия
- Рецензирование
- Политика издательства
- Для авторов
- Последние выпуски
- Текущий выпуск
- Выпуск в подготовке
- Контакты
Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Автоматическое определение выполнимости наборов формул для операций сравнения.
С.В. Зеленов, С.А. Зеленова.
Аннотация
В статье излагается алгоритм автоматического определения реализуемости данного набора формул-сравнений. Алгоритм применяется в инструментах, реализующих технологию UniTESK. Его использование позволяет снизить трудозатраты на разработку спецификаций и повысить точность подсчета достигнутого тестового покрытия.
Издание
Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 109-118.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. . Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 109-118. .
Полный текст статьи в формате pdf Вернуться к содержанию тома