首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于模型检查的BOSS计费正确性验证方法与实现

摘要第5-6页
Abstract第6-7页
第1章 引言第13-18页
    1.1 研究背景及研究意义第13-14页
    1.2 研究现状第14-16页
        1.2.1 国外研究现状第14-15页
        1.2.2 国内研究现状第15-16页
    1.3 研究思路与研究内容第16-18页
        1.3.1 研究思路第16页
        1.3.2 研究内容第16-18页
第2章 系统设计与开发的相关技术第18-26页
    2.1 MVC设计模式第18-19页
        2.1.1 MVC模式结构第18页
        2.1.2 MVC的特点第18-19页
    2.2 J2EE技术架构第19-22页
        2.2.1 J2EE技术组成第19-20页
        2.2.2 J2EE体系结构第20-21页
        2.2.3 J2EE优势第21-22页
    2.3 SSI框架第22-25页
        2.3.1 Struts2第22-23页
        2.3.2 Spring第23-24页
        2.3.3 iBATIS第24-25页
    2.4 本章小结第25-26页
第3章 运行时系统正确性验证模型设计第26-44页
    3.1 现有检测方式分析第26-27页
        3.1.1 现有检测方式描述第26页
        3.1.2 现有检测方式所存在的问题第26-27页
    3.2 BOSS系统正确性验证的可行性分析第27-30页
    3.3 BOSS系统正确性验证模型第30-40页
        3.3.1 资费套餐模型第30-33页
        3.3.2 移动拓扑网络第33-36页
        3.3.3 测试话单自动生成第36-38页
        3.3.4 异常话单分析第38-40页
    3.4 BOSS系统性正确性验证设计第40-43页
        3.4.1 系统正确性验证设计目标第40-41页
        3.4.2 系统正确性验证过程第41-43页
    3.5 本章小结第43-44页
第4章 基于模型检测的测试话单自动生成算法第44-50页
    4.1 现有测试用例自动生成算法介绍第44-45页
    4.2 话单计费要素模型第45-46页
    4.3 基于模型检测的测试用例自动生成算法设计第46页
    4.4 基于模型检测的测试话单自动生成算法第46-48页
        4.4.1 算法流程第46-47页
        4.4.2 算法整体活动第47-48页
    4.5 数据库设计第48-49页
    4.6 本章小结第49-50页
第5章 系统实现第50-58页
    5.1 系统开发环境第50-51页
    5.2 异常话单分析模块第51-53页
    5.3 计费准确性模块第53-54页
    5.4 测试话单自动生成模块第54-57页
    5.5 本章小结第57-58页
第6章 系统测试第58-66页
    6.1 测试环境第58页
    6.2 测试内容及测试方法第58页
    6.3 测试案例及其分析第58-65页
        6.3.1 测试语音错单第58-60页
        6.3.2 测试短信错单第60-61页
        6.3.3 测试GPRS错单第61-63页
        6.3.4 测试漫游错单第63-65页
    6.4 本章小结第65-66页
结论第66-68页
参考文献第68-71页
致谢第71页

论文共71页,点击 下载论文
上一篇:马克思现实观研究
下一篇:五味子总木脂素固体分散体的制备及药动学和药效学的研究