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

基于形式化的软件测试复用若干关键技术的研究

摘要第1-8页
Abstract第8-19页
第1章 绪论第19-33页
   ·引言第19-21页
   ·国内外研究现状第21-28页
     ·测试过程建模第21-22页
     ·测试用例复用第22-24页
       ·测试用例的描述与分类第22-23页
       ·测试用例复用第23-24页
     ·Web测试技术第24-25页
     ·遗传算法与组合测试第25-26页
       ·遗传算法第25页
       ·两两组合测试第25-26页
     ·形式化方法第26-28页
   ·国家战略背景第28-29页
   ·本文的主要工作和组织安排第29-32页
   ·本章小结第32-33页
第2章 可复用的测试过程模型第33-58页
   ·软件测试过程模型第33-34页
   ·测试流程第34-37页
   ·简单软件测试过程网SSTP-NET第37-43页
     ·Petri网第37-39页
     ·STP-NET的定义第39-40页
     ·STP-NET分析第40-43页
   ·HTCPN定义及业务过程框架第43-48页
   ·基于HTCPN的高级软件测试过程网ASTP-NET第48-56页
     ·模型基础定义第48-49页
     ·高级软件测试过程网ASTP-NET第49-53页
     ·测试过程的仿真分析第53-56页
   ·本章小结第56-58页
第3章 Web应用的测试覆盖准则第58-73页
   ·研究现状第58-60页
     ·Z语言概述第58-59页
     ·Z语言基础第59-60页
   ·覆盖准则第60-62页
   ·Web应用的页面覆盖准则第62-65页
     ·页面覆盖第62-63页
     ·后继页面覆盖第63页
     ·前驱页面覆盖第63-64页
     ·二阶页面序列覆盖第64页
     ·K阶页面序列覆盖第64-65页
   ·页面覆盖准则的包容性第65-66页
   ·浏览器交互的页面覆盖准则第66-69页
     ·状态覆盖准则第68页
     ·状态变迁覆盖准则第68-69页
   ·案例研究第69-72页
     ·测试数据的产生第69-71页
     ·终止准则第71页
     ·测试用例套质量评估第71页
     ·覆盖准则的效率第71-72页
   ·本章小结第72-73页
第4章 测试用例的复用第73-96页
   ·测试用例第73-76页
   ·本体的概念第76-79页
   ·测试用例复用第79-88页
     ·软件测试本体的构建第79-82页
     ·检索相似度第82-87页
     ·测试用例检索实现第87-88页
   ·测试用例的生成模式第88-94页
     ·基于固定属性字段的可复用用例第89-90页
     ·基于状态的可复用测试模型第90-93页
     ·基于测试模板框架的复用第93-94页
   ·本章小结第94-96页
第5章 两两组合测试的可复用用例的自动生成第96-103页
   ·引言第96-97页
   ·遗传算法第97-98页
   ·两两组合测试数据生成的遗传算法第98-101页
     ·两两组合测试生成的算法框架第98-99页
     ·编码方式第99-100页
     ·适应度函数第100页
     ·选择第100页
     ·交叉和变异第100-101页
   ·实验结果第101-102页
   ·本章小结第102-103页
第6章 测试用例复用的支撑环境第103-114页
   ·测试质量分析第103-108页
     ·分析指标定义第103-104页
     ·软件质量分析第104-106页
     ·测试配置分析第106-107页
     ·综合分析第107-108页
   ·平台概述第108-110页
   ·平台体系结构第110-111页
   ·平台关键技术讨论第111-112页
     ·测试用例的复用方法第111-112页
     ·用例的抽取第112页
     ·用例的维护第112页
   ·应用情况第112-113页
   ·本章小结第113-114页
第7章 总结和展望第114-116页
   ·论文的主要贡献第114-115页
   ·进一步的研究工作第115-116页
参考文献第116-124页
附录 A 软件测试本体第124-129页
致谢第129-130页
在学期间参加课题的研究成果第130-132页

论文共132页,点击 下载论文
上一篇:北宋国信使群体研究
下一篇:随机波束成形系统中的关键技术研究