Model inference and testing of distributed systems

分布式系统的模型推理与测试

• 批准号: RGPIN-2014-04870
• 负责人: Beschastnikh, Ivan
• 金额: $ 1.68万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634994
• 关键词: Model; inference; testing; distributed; systems

Recent important trends in software systems, such as big data and complex websites, are made possible by rapid advances in distributed systems. These systems are an integral part of the everyday web experience for billions of people worldwide. For example, the back-end services of all of the major companies are hosted in data-centers that execute complex distributed systems to provide scalable, reliable, and highly available services. However, developers of distributed systems continue to struggle in implementing and maintaining these systems as there are few tools that can help them understand a system's behaviors and test its correctness.The objective of my proposal is to advance the state of the art in modeling and debugging of distributed systems. The outcome of this work will be a set of open source software tools that will help engineers to build robust distributed systems quicker and with fewer mistakes. This work will be relevant to both industry and academics. It will solve problems faced by everyday software engineers as well as extend our understanding of how to reason about complex executions of distributed systems and how to induce executions in these systems to explore and test their behaviors.Further, this research will provide important and invaluable training to both graduate and undergraduate students. It will produce highly-qualified personnel with a distributed systems skill-set that is prized and actively sought after by all the major software companies in Canada.

软件系统的最新重要趋势，例如大数据和复杂网站，是由于分布式系统的快速发展而成为可能的。这些系统是全球数十亿人日常网络体验不可或缺的一部分。例如，所有主要公司的后端服务都托管在数据中心中，这些数据中心执行复杂的分布式系统，以提供可扩展、可靠且高度可用的服务。然而，分布式系统的开发人员在实现和维护这些系统方面仍然遇到困难，因为很少有工具可以帮助他们理解系统的行为并测试其正确性。我的提案的目标是提高建模和调试方面的最新水平分布式系统。这项工作的成果将是一套开源软件工具，帮助工程师更快、更少错误地构建强大的分布式系统。这项工作将与工业界和学术界相关。它将解决日常软件工程师面临的问题，并扩展我们对如何推理分布式系统的复杂执行以及如何在这些系统中诱导执行以探索和测试其行为的理解。此外，这项研究将提供重要且宝贵的培训面向研究生和本科生。它将培养具有分布式系统技能的高素质人才，这些人才受到加拿大所有主要软件公司的重视和积极追捧。