测试目的引导的模型检测方法与技术研究

• 作者: 殷朝冉 赵会群
• 来源期刊: 计算机应用研究
• 关键词: 模型检测 状态空间爆炸 软件测试 LOTOS μ-演算
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2387-2390,2394
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.08.035

摘要

为了实现对伪代码的模型检测并且能够缓解模型检测中的状态空间爆炸问题,提出了测试目的引导的模型检测方法.该方法的基本思想是首先对伪代码进行模块划分并对每个模块进行建模,获取基本路径的集合并以流图的方式进行存储;然后利用自主开发的转换工具实现流图到国际标准语言LOTOS的转换,再利用自主开发的辅助工具μ-演算编辑器对测试目的进行描述;最后使用模型检测工具验证被测程序是否满足测试目的.实验结果表明,测试目的引导的模型检测方法能够实现对伪代码的模型检测,并且可以缓解状态空间爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵会群	北方工业大学计算机学院	79	920	14.0	28.0
2	殷朝冉	北方工业大学计算机学院	1	2	1.0	1.0