Метод проверки линеаризуемости многопоточных Java программ

В статье описывается новый метод Sapsan. Он предназначен для функционального тестирования Java программ, предоставляющих программный интерфейс (API), процедуры (операции) которого можно вызывать из нескольких потоков одновременно. Метод Sapsan позволяет проверять одно из распространенных требований...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Author:	В.С. Мутилин
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2009-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_16_2009/isp_16_2009_89/

Similar Items

Паттерны проектирования тестовых сценариев.
by: В.С. Мутилин
Published: (2006-01-01)

Многопоточное тестирование программных интерфейсов.
by: В.С. Мутилин
Published: (2008-01-01)

Тестирование компонентов, взаимодействующих посредством удаленного вызова методов.
by: В.С. Мутилин
Published: (2007-01-01)

Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью.
by: В.П. Иванников, et al.
Published: (2004-01-01)

Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ.
by: В.С. Несов, et al.
Published: (2006-01-01)

МАТРИЧНИЙ МЕТОД ПРИ МОДЕЛЮВАННІ ЗАДАЧ ЕКОНОМІКИ
by: В.С. Усатий, et al.
Published: (2017-05-01)

Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java.
by: С.С. Гайсарян, et al.
Published: (2006-01-01)

Виртуальный интерактивный тренажер «Проверки противогаза»
by: Людмила Ивановна Буякевич, et al.
Published: (2023-08-01)

Генерация тестов для модулей проверки статической семантики в компиляторах.
by: М.В. Архипова
Published: (2004-01-01)

Метод формалізації даних при вирішенні задач розпізнавання повітряних об'єктів
by: О.І. Тимочко, et al.
Published: (2020-06-01)

О некоторых задачах анализа и трансформации программ.
by: С.С. Гайсарян, et al.
Published: (2004-01-01)

Анализ запутывающих преобразований программ.
by: А.В. Чернов
Published: (2002-01-01)

Защита программ от дизассемблирования.
by: С.И. Алейников, et al.
Published: (2006-01-01)

Метод аналитического исследования автоволновых процессов в слабопроводящих и проводящих жидкостях
by: Коваленко, С.А., et al.
Published: (2025-04-01)

Метод формування інформаційного середовища навчання диспетчерів управління повітряним рухом в процесі тренажерної підготовки
by: Сторчак В.С., et al.
Published: (2019-05-01)

Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов.
by: К. А. Власов, et al.
Published: (2007-01-01)

Генерация тестовых программ для микропроцессоров.
by: А.С. Камкин
Published: (2008-01-01)

Библиотека интерфейсов и классов, расширяющих язык Java средствами разработки параллельных программ в модели SPMD.
by: А.И. Аветисян, et al.
Published: (2001-01-01)

Об одном методе маскировки программ.
by: А.В. Чернов
Published: (2004-01-01)

О РЕАЛИЗАЦИИ УСТРОЙСТВ ПРОВЕРКИ СИММЕТРИЧНОСТИ БУЛЕВЫХ ФУНКЦИЙ
Published: (2018-11-01)

Метод прихованої передачі інформації в системах з Orthogonal frequency division multiplexing (OFDM) модуляцією
by: К.С. Васюта, et al.
Published: (2021-05-01)

Необходимость и предпосылки создания генераторов программ
by: В. Погожельскис
Published: (1984-12-01)

О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью.
by: В.А. Захаров, et al.
Published: (2006-01-01)

Объектные модели высокого уровня для разработки эффективных программ с параллелизмом по данным.
by: О.И. Самоваров, et al.
Published: (2001-01-01)

Формальные спецификации в технологиях обратной инженерии и верификации программ.
by: И.Б. Бурдонов, et al.
Published: (2000-01-01)

ПРАВО НАЛОГОВЫХ ОРГАНОВ НА ПРИОСТАНОВЛЕНИЕ ВЫЕЗДНОЙ НАЛОГОВОЙ ПРОВЕРКИ
Published: (2024-02-01)

Особенности предварительной проверки и расследования присвоения и растраты
Published: (2010-12-01)

Генерация тестовых программ для подсистемы управления памятью микропроцессора
by: Д.Н. Воробьев, et al.
Published: (2009-01-01)

Иерархическая модель автоматных программ
Published: (2006-05-01)

Иерархическая модель автоматных программ
Published: (2006-01-01)

Метод подання поверхневої структури повідомлень на обмеженій природній мові взаємодії операторів з автоматизованою системою управління повітряним рухом
by: Литвиненко М.І., et al.
Published: (2018-06-01)

Метод міжоб’єктової навігації БПЛА на основі комплексної обробки інформації від класичних та альтернативних систем навігації
by: В.С. Фустій, et al.
Published: (2021-11-01)

Параметры проверки и контроля качества онлайн-опроса с использованием параданных
by: Nadezhda V. KORYTNIKOVA
Published: (2018-07-01)

Метод розрахунку балансу тріадних фарб
by: Н. В. Занько, et al.
Published: (2008-06-01)

Культурный шок как источник трансформации смысловой сферы участников международных программ
by: С. Э. Ковалев
Published: (2019-11-01)

Культурный шок как источник трансформации смысловой сферы участников международных программ
by: С. Э. Ковалев
Published: (2019-11-01)

Компиляция программ для современных архитектур
by: А. Белеванцев, et al.
Published: (2009-01-01)

Средства анализа параллельных SPMD программ.
by: П.Н. Яковенко
Published: (2002-01-01)

Архитектурный подход к защите программ.
by: Николай Вяххи, et al.
Published: (2006-01-01)

Аудит собственного кaпитaлa: зaдaчи и основные процедуры проверки
by: С. Барышева, et al.
Published: (2017-06-01)