Proceedings of ISP RAS


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

В.С. Мутилин.

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 16 (in Russian), 2009, Стр. 89-106.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume