云系统可靠性一直是过去十年的一个重大挑战，由于普遍存在、不可避免的硬件故障、软件错误和配置错误。微服务和无服务器计算等新兴计算范式通过显着增加系统交互和依赖的复杂性以及新的故障域，进一步扩展了可靠性挑战。在这次演讲中，我将介绍我们通过软件测试、模型检查和形式验证来提高 Kubernetes 等云基础设施系统以及在其上运行的云原生应用程序可靠性的工作。具体来说，我将介绍用于系统地检查现有系统组件的安全性和活性属性的“一键”测试技术，并讨论构建具有已验证正确性属性的新组件，以实现真正可靠的云基础设施和系统的愿景。

🔬 软件可靠性是云系统持续面临的挑战，源于硬件故障、软件错误和配置错误。

🌐 新兴计算范式如微服务和无服务器计算增加了系统复杂性，引入了新的故障域，进一步加剧了可靠性问题。

🛠️ 演讲者将介绍通过软件测试、模型检查和形式验证来提高云基础设施系统（如 Kubernetes）及其上运行的云原生应用程序可靠性的研究成果。

🔍 具体将展示“一键”测试技术，用于系统地检查现有系统组件的安全性和活性属性。

🔧 讨论构建具有已验证正确性属性的新组件的潜力，以实现真正可靠的云基础设施和系统的愿景。

2025-08-13 14:53 吉林

报告时间：2025年8月15日（星期五）14:00，可线上腾讯会议参会。