基于SOFL的测试用例生成与测试结果分析方法研究



基于SOFL的测试用例生成与测试结果分析方法研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

基于SOFL的测试用例生成与测试结果分析方法研究

论文目录
摘要	第1-4页
Abstract	第4-5页
目录	第5-7页
第一章绪论	第7-13页
· 背景	第7-9页
· 国内外研究现状	第9-10页
· 论文工作内容	第10页
· 论文组织结构	第10-13页
第二章相关技术概述	第13-21页
· 形式化工程方法	第13-14页
· SOFL	第14-16页
· Hoare 逻辑	第16-17页
· Test Set	第17-18页
· Test Oracle	第18-21页
第三章自动测试用例生成方法研究	第21-39页
· 方法研究思想	第21页
· 生成方法框架	第21-22页
· 自动测试用例生成方法	第22-31页
· 生成条件	第22页
· 生成策略	第22-31页
· Numeric 表达式和 Compound 表达式的改进方法	第31-37页
· 线性公式的改进方法	第31-34页
· 二次等式的改进方法	第34-35页
· Compound 类型表达式的改进方法	第35-37页
· 测试用例	第37-38页
· 本章小结	第38-39页
第四章自动测试结果分析方法研究	第39-51页
· 研究方法思想及框架	第39-40页
· 自动测试结果分析方法	第40-49页
· Numeric 类型	第40-42页
· Set 和 Sequence 类型	第42-43页
· 混合类型	第43-49页
· 测试结果分析	第49页
· 本章小结	第49-51页
第五章支持工具的设计方案	第51-55页
第六章结束语	第55-57页
· 论文工作总结	第55页
· 后续工作展望	第55-57页
致谢	第57-59页
参考文献	第59-61页

本篇论文共61页，点击这进入下载页面。

更多论文
基于SOFL的测试用例生成与测试结果
基于J2EE的网站群管理系统的设计与
基于多核的嵌入式数据库查询优化
搜索引擎营销中的关键词竞价排名系
Android系统中数据安全管理设计与实
移动应用支撑服务中数据适配方法的
目标自动跟踪技术的应用研究
上消化道癌症影响因素分析及筛查模
面向中小学汉语教学的拼音输入法研
地铁交通综合监控系统的设计与实现
地质探测数据库的集成与共享管理软
实装软件虚拟运行环境的设计与实现
MES在PC组装生产线的设计及应用
电子生产企业质量管理系统的设计及
Selenium在社区在线系统（AN）测试
基于SNMP的网络管理端系统的研究
独立基带基站管理软件的设计与实现
软件测试方案生成子系统的设计及实
办公自动化到移动终端适配方案的设
基于Jenkins的企业持续集成系统的设
基于B/S结构的网上医疗系统的设计与
LDRA Testbed在航空软件单元测试中
基于Rex的WebUI模式短消息功能的设
基于DM6467T的嵌入式智能视频分析终
基于Android终端应用的研究与实现
面向数字作品交易系统的高并发通信
4A安全平台在管理信息系统中的部署
网络交易增值税征收管理系统的设计
黄绿青霉素对肺癌细胞增殖和凋亡的
基于PKI与CA技术的电子缴税系统的设
基于APPCAN的税务移动办公系统的设
免填单税务管理系统设计
吲哚美辛Eudragit L100-55肠溶纳米
大黄素甲醚的扩血管作用及其机制研
基于BREW手机系统的设计与实现
基于QR码的食品溯源系统设计与实现
基于MVC模式的Fullmart电子商务系统
高校宿舍管理系统的设计与实现
基于划分的Apriori改进算法的网上商
宝鸡地税纳税服务监控考核系统的设
车船使用税综合查询系统的设计和实
基于GSM基站的维护系统站点级模块设

SOFL规格说明书论文测试用例论文测试结果分析论文
版权申明：目录由用户yuyongho**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved