摘要
基于模型的验证(Model-based Verification)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要。MBV侧重于在开发的早期找出错误,从而避免时间、金钱的耗费及重复性的劳动。在研究各种MBV技术的基础上,着重于软件系统的模型验证方法,对各种方法作了基本的介绍,并总结了发展方向。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第8期45-46,96,共3页
Computer Engineering
基金
云南省自然科学基金项目(98005G)
云南省中青年学术技术带头人培养基金(1998-37)资助项目