| 基于模型的验证及其方法 |
| |
| 引用本文： | 赵辉,李彤.基于模型的验证及其方法[J].计算机工程,2001,27(8):45-46,96. |
| |
| 作者姓名： | 赵辉 李彤 |
| |
| 作者单位： | 云南大学计算机系 |
| |
| 基金项目： | 云南省自然科学基金项目（98005G），云南省中青年学术技术带头人培养基金（1998－37）资助项目 |
| |
| 摘 要： | 基于模型的验证（Model-based Verfication)方法在软件开发中，特别是安全性系统、复杂系统的开发中占有的地位越来越重要，MBV侧重于在开发的早期找出错误，从而避免时间、金钱的耗费及重复性的劳动，在研究各种MBV技术的基础上，着重于软件系统的模型验证方法，对各种方法作了基本的介绍，并总结了发展方向。
|
| 关 键 词： | 模型验证 模型检测 SMV SPIN 软件开发 软件系统 |
| 文章编号： | 1000-3428(2001)08-0045-02 |
Model-based Verification and Related Methods |
| |
| ZHAO Hui,LI Tong.Model-based Verification and Related Methods[J].Computer Engineering,2001,27(8):45-46,96. |
| |
| Authors: | ZHAO Hui LI Tong |
| |
| Abstract: | Model-based verification has been widely used in developing software , especially in development of security critical system and complex system. MBV can find errors earlier to avoid spending much money and time to correct errors later. The papers studied some MBV techniques, mainly focus on techniques of verification of software and introduced some methods and the directions of future study. |
| |
| Keywords: | Model-based verification Model checking SMV SPIN |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
