• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE Symposium on Reliable Distributed Systems >Model-Based Validation for Internet Services
【24h】

Model-Based Validation for Internet Services

机译：基于模型的互联网服务验证

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Operator mistakes are a significant source of unavailability in Internet services. In our previous work, we proposed operator action validation as an approach for detecting mistakes while hiding them from the service and its users. Previous validation strategies have limitations, however, including the need for instances of correct behavior for comparison. In this paper, we propose a novel model-based validation strategy that addresses these limitations and complements our previous techniques. Model-based validation calls for service engineers to define models of Internet services that can be used to differentiate between correct and incorrect configurations and behaviors. These models are then used to guide the specification of validation assertions that check the correctness of operator actions before they are exposed. We have implemented a prototype model-based validation system for two services, the Web crawler of a commercial search engine (Ask.com) and an academic yet realistic online auction service. Experimentation with model-based validation demonstrates that it is highly effective at detecting and hiding both activated and latent mistakes.
机译：操作员错误是互联网服务中不可用的重要来源。在我们以前的工作中，我们提出了运营商行动验证作为检测错误的方法，同时隐藏从服务及其用户。然而，以前的验证策略具有限制，包括需要正确行为的情况进行比较。在本文中，我们提出了一种新颖的基于模型的验证策略，解决了这些限制并补充了我们以前的技术。基于模型的验证呼叫服务工程师来定义可用于区分正确和不正确的配置和行为的Internet服务模型。然后，这些模型用于指导验证断言的规范，检查在曝光之前检查操作员行动的正确性。我们已经实现了两个服务的基于原型模型的验证系统，这是一个商业搜索引擎的Web爬虫（Ask.com）和学术但是现实的在线拍卖服务。具有基于模型的验证的实验表明，它在检测和隐藏激活和潜在的错误方面是非常有效的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号