使用模型检测器进行测试的方法研究

• 作者: 梅元媛
• 来源期刊: 广西轻工业
• 学科: 工学
• 关键词: 模型检测 测试 测试用例
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 机械与电子
• 页码范围: 49-50
• 页数: 2页
• 分类号: TN911.7
• 字数: 2605字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-2673.2007.02.023

摘要

由于测试过程主要依赖于测试人员的经验和直觉,其中的花费较大,而且现有的测试工具并不能满足测试的要求.在如何保证系统正确性和可靠性问题上,模型检测(model checking)以其简洁明了和较高的自动化程度而引人注目.如何将模型检测应用于测试是有待解决的一个问题,本文对如何将模型检测应用于测试的方法进行了研究,并对目前的方法进行了分析,并对该方法今后的发展方向进行了总结.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅元媛	上海工程技术大学电子电气工程学院	23	54	4.0	7.0