模型检测在软件测试中的应用

• 作者: 刘孟仁 张宁宁
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 模型检测 软件测试 强制性逻辑关系 状态爆炸
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 设计与实现
• 页码范围: 93-96
• 页数: 4页
• 分类号: TP31
• 字数: 3202字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2006.02.029

摘要

随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.具体介绍了模型检测的一些理论,同时将它应用于具体的软件程序,运用模型检测方法对软件进行测试.从而证明了模型检测方法与测试结合对于软件可靠性和正确性所起的巨大作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘孟仁	海军工程大学计算机系	19	213	6.0	14.0
2	张宁宁	海军工程大学计算机系	1	21	1.0	1.0