Тестирование компонентов, взаимодействующих посредством удаленного вызова методов.

В статье описывается разработанный автором метод тестирования компонентов, взаимодействующих посредством удаленного вызова методов. Метод позволяет гарантировать, что будут проверены все различные чередования вызовов методов в системе, приводящие к различным результатам. В работе выделены ограничени...

詳細記述

書誌詳細
出版年:Труды Института системного программирования РАН
第一著者: В.С. Мутилин
フォーマット: 論文
言語:英語
出版事項: Russian Academy of Sciences, Ivannikov Institute for System Programming 2007-01-01
オンライン・アクセス:https://www.ispras.ru/en/proceedings/isp_2007_13_1/isp_2007_13_1_103/