数理逻辑的程序可靠性验证

• 作者: 顾名宇
• 来源期刊: 山东农业大学学报（自然科学版）
• 学科: 工学
• 关键词: 数理逻辑 程序 可靠性
• 年，卷（期）: 2015,（4）
• 页码范围: 621-624
• 页数: 4页
• 分类号: TP301
• 字数: 3571字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2324.2015.04.029

摘要

程序可靠性验证往往占用软件开发周期很长的时间，而现行的软件可靠性验证方法主要是基于形式化的方法如基于SPIN的模型检测方法等，但这种方法可能由于模型建立的问题导致验证的复杂性极大提高，造成最后验证失败的结果比比皆是。为解决此问题，本文使用数学方法从数理逻辑角度用推理的方法实现了程序可靠性验证，并完成了客户服务器程序的可靠性验证，证明了该方法切实有效。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾名宇	安顺职业技术学院信息工程系	6	11	2.0	3.0