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

• 發表在: Труды Института системного программирования РАН
• 主要作者: В.С. Мутилин
• 格式: Article
• 語言: 英语
• 出版: 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/
• ISSN: 2079-8156; 2220-6426

В статье описывается разработанный автором метод тестирования компонентов, взаимодействующих посредством удаленного вызова методов. Метод позволяет гарантировать, что будут проверены все различные чередования вызовов методов в системе, приводящие к различным результатам. В работе выделены ограничения, при которых такой перебор различных порядков вызовов методов гарантирует корректность системы. Показано, что этим ограничениям удовлетворяют системы, разработанные по технологии Enterprise JavaBeans. В отличие от методов проверки моделей (model checking), в предложенном методе перебор осуществляется не для всей системы целиком, а для отдельных тестовых воздействий, что позволяет существенно сократить область перебора.