形式化方法在云计算中的应用现状

在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需服务等特点,但由于云计算系统非常复杂,以致难以管理和测试.为了向用户保证云计算系统中存储的可靠性、程序的鲁棒性、数据的安全性等等,必须使用形式化方法对云计算系统的有关性质进行验证.本文主要调研了近年来使用形式化方法对云计算系统进行研究的工作,对云计算系统资源管理、云计算系统安全性等方面的工作分别进行了介绍.