Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers,Software Testing, Verification and Reliability

当前位置： X-MOL 学术 › Softw. Test. Verif. Reliab. › 论文详情

Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)

Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers
Software Testing, Verification and Reliability ( IF 1.5 ) Pub Date : 2019-12-02 , DOI: 10.1002/stvr.1720
Cyrille Artho _{1,

2} , Kazuaki Banzai ₃ , Quentin Gros ₄ , Guillaume Rousset ₄ , Lei Ma ₅ , Takashi Kitamura ₂ , Masami Hagiya ₃ , Yoshinori Tanabe ₆ , Mitsuharu Yamamoto ₇

Affiliation

In this paper, we extend work on model‐based testing for Apache ZooKeeper, to handle watchers (triggers) and improve scalability. In a distributed asynchronous shared storage like ZooKeeper, watchers deliver notifications on state changes. They are difficult to test because watcher notifications involve an initial action that sets the watcher, followed by another action that changes the previously seen state.

中文翻译：

Apache ZooKeeper的基于模型的测试：基本的API使用和观察程序

在本文中，我们扩展了Apache ZooKeeper基于模型测试的工作，以处理监视程序（触发器）并提高可伸缩性。在像ZooKeeper这样的分布式异步共享存储中，观察者会传递有关状态更改的通知。它们很难测试，因为观察者通知涉及设置观察者的初始操作，然后是另一个更改先前查看状态的操作。

更新日期：2019-12-02

点击分享查看原文

点击收藏

阅读更多本刊最新论文