Новости
Многопоточное тестирование программных интерфейсов.
Аннотация
В статье описывается новый метод функционального тестирования параллельных программ, предоставляющих программный интерфейс, методы (процедуры) которого можно вызывать из нескольких потоков одновременно. Этот метод, названный Sapsan, позволяет проверять одно из распространенных требований к таким программам — требование сериализуемости интерфейса, заключающееся в том, что в любом состоянии программы результат параллельного выполнения методов интерфейса в нескольких потоках эквивалентен некоторому последовательному выполнению этих же методов. Это требование является формализацией широко используемого понятия thread-safety.
Издание
Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 73-88.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).