数理逻辑的程序可靠性验证ValidationofReliabilityon-山东农业大学.PDFVIP

山东农业大学学报 自然科学版( ),2015,46(4):621-624 VOL.46NO.42015 JournalofShandongAgriculturalUniversity(NaturalScienceEdition) doi:10.3969/j.issn.1000-2324.2015.04.029 数理逻辑的程序可靠性验证 顾名宇 安顺职业技术学院信息工程系, 贵州 安顺 561000 摘 要: 程序可靠性验证往往占用软件开发周期很长的时间，而现行的软件可靠性验证方法主要是基于形式化的方法 如基于SPIN的模型检测方法等，但这种方法可能由于模型建立的问题导致验证的复杂性极大提高，造成最后验证失 败的结果比比皆是。为解决此问题，本文使用数学方法从数理逻辑角度用推理的方法实现了程序可靠性验证，并完 成了客户服务器程序的可靠性验证，证明了该方法切实有效。 关键词: 数理逻辑; 程序; 可靠性 中图法分类号:TP301 文献标识码:A 文章编号: 1000-2324(2015)04-0621