摘要
程序可靠性验证往往占用软件开发周期很长的时间,而现行的软件可靠性验证方法主要是基于形式化的方法如基于SPIN的模型检测方法等,但这种方法可能由于模型建立的问题导致验证的复杂性极大提高,造成最后验证失败的结果比比皆是。为解决此问题,本文使用数学方法从数理逻辑角度用推理的方法实现了程序可靠性验证,并完成了客户服务器程序的可靠性验证,证明了该方法切实有效。
The reliability verification of program often takes a very long time to develope the software, while the current software reliability verification method is mainly based on formal methods such as SPIN based on model checking method, but this method may lead to the complexity of verification to improve greatly bing due to model problems, and then finally fails in validation results everywhere. In order to solve this problem, this paper used mathematical methods from mathematical logic perspective to realize the program reliability verification, and completed the reliability verification of client server program, the method was be proved the validity in true.
出处
《山东农业大学学报(自然科学版)》
CSCD
2015年第4期621-624,共4页
Journal of Shandong Agricultural University:Natural Science Edition
关键词
数理逻辑
程序
可靠性
Mathematical logic
program
validation