学位论文 > 优秀研究生学位论文题录展示

含过程调用的简单EFSM模型测试数据自动生成研究

作　者: 闫宇
导　师: 尤枫
学　校: 北京化工大学
专　业: 计算机应用技术
关键词: 扩展有限状态机测试数据生成子模型模型合并遗传算法
分类号: TP311.52
类　型: 硕士论文
年　份: 2012年
下　载: 21次
引　用: 0次
阅　读: 论文下载

内容摘要

随着模型驱动开发技术在软件开发过程中越来越受到重视，基于扩展有限状态机模型的测试技术近年来也得到了深入的研究。以生成测试数据为目地的测试技术研究开始受到关注，形成了一个新的研究领域。测试数据生成是测试序列生成的发展，能够更精确的对扩展有限状态机模型进行测试。目前，主要是通过启发式搜索算法及符号执行等方式对扩展有限状态机模型进行测试数据生成，相关的研究主要集中在单模型上，不考虑过程调用，限制了其扩展能力，降低了扩展有限状态机模型的适用范围。为解决这一问题，本文提出了一种含过程调用的扩展有限状态机模型的描述，并对其测试数据自动生成方法进行研究、实现。首先，根据扩展有限状态机规范将各子过程表示为扩展有限状态机模型，然后把这些表示子过程的扩展有限状态机模型根据调用关系进行模型合并，生成一个等价的新模型，并采用遗传算法进行测试数据生成。最后，设计了相应的实验方案验证本文方案的可行性，同时讨论了在含过程调用扩展有限状态机模型测试数据自动生成过程中影响测试数据生成效率的主要因素。实验结果表明，该方法能够对扩展有限状态机中的过程调用进行处理，同时完成测试数据生成。由于该方法是一个初步解决方案，仍然存在一些问题，在本文结论部分，分析了当前处理策略的不足，提出了相应的改进方案。

全文目录

摘要  5-6
ABSTRACT  6-12
第一章绪论  12-19
  1.1 课题研究背景及意义  12-13
  1.2 基于EFSM模型测试研究现状  13-17
    1.2.1 基于EFSM的测试输入序列生成研究现状  13-15
    1.2.2 基于EFSM的测试输入数据生成研究现状  15-17
  1.3 本文主要研究工作及创新点  17-18
  1.4 本文组织结构  18-19
第二章基于EFSM模型的测试数据生成方法概述  19-25
  2.1 EFSM模型  19
  2.2 基于EFSM模型测试数据生成算法  19-24
    2.2.1 符号执行和解约束  20-21
    2.2.2 禁忌搜索算法  21-22
    2.2.3 模拟退火算法  22-23
    2.2.4 遗传算法  23-24
  2.3 本章小结  24-25
第三章含过程调用的EFSM模型设计  25-29
  3.1 含过程调用EFSM模型的建立  25-27
  3.2 含过程调用EFSM模型的特点及适用性  27-28
  3.3 本章小结  28-29
第四章含过程调用EFSM模型测试数据自动生成方法  29-47
  4.1 含过程调用EFSM模型测试数据自动生成框架  29-31
    4.1.1 预处理  29-30
    4.1.2 静态分析  30-31
    4.1.3 测试数据生成  31
  4.2 过程调用的处理方法  31-39
    4.2.1 过程调用中的参数传递方法  31-33
    4.2.2 调用关系的处理方法  33-39
  4.3 变量静态分析  39-42
    4.3.1 event中的定义-使用分析  40
    4.3.2 cond中的定义-使用分析  40-41
    4.3.3 action中的定义-使用分析  41-42
  4.4 测试数据自动生成  42-46
  4.5 本章小结  46-47
第五章实验设计及分析  47-56
  5.1 实验目的  47
  5.2 实验设计  47-51
  5.3 实验结果及分析  51-55
    5.3.1 ATM模型的实验结果及分析  51-53
    5.3.2 Inres_protocol_initiator模型的实验结果及分析  53-55
  5.4 本章小结  55-56
第六章结论与展望  56-58
  6.1 论文主要成果  56
  6.2 后续工作及展望  56-58
参考文献  58-61
致谢  61-62
研究成果及发表的学术论文  62-63
作者及导师简介  63-64
硕士研究生学位论文答辩委员会决议书  64-65

含过程调用的简单EFSM模型测试数据自动生成研究

内容摘要

全文目录

相似论文