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

基于马尔科夫链使用模型的软件统计测试

摘要第1-6页
Abstract第6-9页
第一章 绪论第9-18页
   ·研究背景第9-14页
     ·软件测试技术第9-10页
     ·软件测试方法第10-14页
   ·研究现状及进展第14-16页
     ·基于马尔科夫链使用模型测试的不足第14页
     ·马尔科夫链使用模型转移概率自动生成方法简介第14-15页
     ·统计测试工具介绍第15-16页
   ·论文的主要研究内容及其意义第16-17页
   ·论文的结构第17-18页
第二章 马尔科夫链使用模型及其分析第18-39页
   ·马尔科夫链使用模型的构建第18-22页
     ·马尔科夫链第18-19页
     ·马尔科夫链使用模型的组成第19-21页
     ·马尔科夫链使用模型的构建过程第21-22页
   ·模型的表示第22-24页
   ·马尔科夫链使用模型的重要参数分析第24-34页
   ·测试覆盖分析第34-36页
     ·模型状态覆盖分析第34页
     ·模型边覆盖分析第34-35页
     ·模型路径覆盖与复杂度分析第35-36页
   ·测试用例生成第36-38页
   ·本章小结第38-39页
第三章 模型转移概率的自动生成第39-66页
   ·模型转移概率的自动生成问题第39-40页
   ·模型转移概率的自动生成的可行性第40页
   ·现有的使用模型转移概率自动生成方法第40-43页
     ·G. H. Walton、 J. H. Poore 等提出的方法第41页
     ·Glenn S. Semmel、 Darrell G. Linton 等提出的方法第41-42页
     ·S.A.Sherer 提出的方法第42-43页
   ·本文采用的模型的约束条件第43-44页
   ·改进的减少软件失效损失转移概率优化生成方法第44-59页
     ·改进方法的思路第44-45页
     ·改进方法的实现步骤第45-49页
     ·改进方法的试验及结果第49-58页
     ·改进方法与 S.A.Sherer 方法的比较第58-59页
   ·本文提出的最小化模型复杂度转移概率生成方法第59-65页
     ·最小化模型复杂度转移概率生成方法的思路第59-61页
     ·最小化模型复杂度转移概率生成方法的实现步骤第61页
     ·最小化模型复杂度转移概率生成方法的试验及结果第61-65页
   ·本章小结第65-66页
第四章 测试工具原型第66-76页
   ·测试工具工作原理第66-68页
   ·模型导入与模型转移矩阵自动生成模块第68-70页
   ·模型参数分析模块第70-72页
   ·测试用例生成模块第72-75页
   ·本章小结第75-76页
第五章 总结与展望第76-78页
   ·本文总结第76页
   ·进一步的研究第76-78页
参考文献第78-81页
致谢第81页

论文共81页,点击 下载论文
上一篇:尼莫地平对H2O2诱导动脉血管平滑肌损伤的保护作用
下一篇:1945年中国共产党参加重庆谈判的战略构想--以实现对社会资源控制为视角的分析