论文部分内容阅读
为提高油库的管理效率,油库管理系统的智能化水平越来越高,同时软件规模和复杂度不断增大,系统中的缺陷数量不断增多并且更加具有隐蔽性,这些缺陷给系统的正常运行和油库的安全带来巨大的挑战。提出把形式化方法应用到智能油库管理系统的开发过程,对智能油库管理系统进行形式化分析和验证,以期减少错误的发生,提高系统开发质量。