首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文--自动机理论论文

云环境下基于着色Petri网的测试选择工具设计和实现

摘要第4-5页
ABSTRACT第5页
图表目录第8-9页
第一章 绪论第9-12页
    1.1 论文研究背景及意义第9页
    1.2 研究内容第9-10页
    1.3 论文结构第10-12页
第二章 相关理论与技术第12-17页
    2.1 基于目的的测试例选择第12页
    2.2 MapReduce第12-13页
    2.3 CPN第13-15页
    2.4 Hadoop云环境第15页
    2.5 CloudSim第15-16页
    2.6 本章小结第16-17页
第三章 基于MapReduce的测试例选择工具设计第17-27页
    3.1 设计框架第17-18页
        3.1.1 系统结构第17页
        3.1.2 系统流程第17-18页
    3.2 基于CPN的测试目的模型的建立第18-23页
        3.2.1 测试目的的定义第18-20页
        3.2.2 测试目的模型的建立第20-23页
        3.2.3 测试目的模型的正确性验证第23页
    3.3 测试例格式第23-24页
    3.4 测试例选择算法第24-26页
    3.5 本章小结第26-27页
第四章 实例说明第27-36页
    4.1 系统介绍第27-29页
    4.2 目的模型的建立第29-34页
        4.2.1 测试目的的选取第30页
        4.2.2 测试目的模型建立与状态空间的生成第30-34页
    4.3 测试例实例说明第34-35页
    4.4 本章小结第35-36页
第五章 工具实现第36-42页
    5.1 Hadoop云平台配置第36-37页
    5.2 结果说明第37-41页
    5.3 本章小结第41-42页
第六章 总结与展望第42-44页
    6.1 全文总结第42-43页
    6.2 未来展望第43-44页
参考文献第44-46页
致谢第46页

论文共46页,点击 下载论文
上一篇:受异常干扰的人脸图像的稳健统计识别方法研究
下一篇:基于认知信息的Ad Hoc网络演示平台的开发