论文部分内容阅读
随着计算机系统的功能日益强大,对其进行功能和正确性测试与验证的复杂度也越来越大。形式化方法作为对计算机系统进行描述与验证的重要途径,得到学术界普遍的关注与认可。文章主要介绍形式化方法,详细介绍模型检测的检测原理及其主要技术,介绍了几种典型的模型检测工具,并对它们的性能进行比较,同时研究了模型检测中普遍存在的状态爆炸问题及缩减状态方法,最后介绍模型检测的新进展。文章可为模型检测方法研究提供参考和理论支撑。
As computer systems become more powerful, the complexity of testing and validating their functionality and correctness is also growing. As an important way to describe and verify computer systems, formal methods have received widespread attention and recognition in academia. This article mainly introduces the formal method, introduces the principle of detection and the main techniques of model detection in detail, introduces several typical model detection tools, and compares their performances. At the same time, it studies the problem of state explosion ubiquitous in model detection and Reduce the state method, and finally introduce the new progress of model testing. The article can provide reference and theoretical support for the research of model detection methods.