基于扩展状态机的软件缺陷检测技术的研究与实现



基于扩展状态机的软件缺陷检测技术的研究与实现

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

基于扩展状态机的软件缺陷检测技术的研究与实现

论文目录
摘要	第1-5 页
Abstract	第5-8 页
第1章绪论	第8-11 页
·研究背景	第8 页
·研究内容	第8-9 页
·论文内容和结构	第9-11 页
第2章软件测试	第11-18 页
·软件测试概念及意义	第11-12 页
·软件测试方法	第12-13 页
·软件测试工具	第13-14 页
·基于缺陷模式的静态源码分析技术	第14-18 页
·静态分析的内容	第15 页
·静态分析原理	第15-16 页
·静态分析的不足	第16-17 页
·缺陷模式	第17-18 页
第3章 DTSCpp系统介绍	第18-25 页
·系统简介	第18 页
·系统总体设计	第18-20 页
·系统总体构成	第18-19 页
·系统执行流程	第19-20 页
·系统模块介绍	第20-25 页
·抽象语法树	第20-21 页
·基于控制流图的区间运算	第21-23 页
·函数调用	第23 页
·基于函数摘要的全局分析	第23-24 页
·缺陷模式状态机	第24-25 页
第4章扩展的缺陷模式状态机	第25-42 页
·缺陷模式状态机基本结构	第25-30 页
·缺陷模式状态机转换条件	第30-32 页
·XPath条件	第30-31 页
·变量区间条件	第31-32 页
·变量作用域条件	第32 页
·缺陷模式描述	第32-35 页
·缺陷模式分析	第35-39 页
·路径敏感	第36 页
·不可达路径分析	第36-38 页
·函数摘要的使用	第38-39 页
·附录:fsm.xsd状态机描述模板	第39-42 页
第5章缺陷模式检测	第42-60 页
·通用结构和算法	第42-43 页
·内存泄漏	第43-49 页
·内存泄漏具体模式分类	第43-47 页
·内存泄漏设计策略	第47 页
·内存泄漏检测状态机	第47-49 页
·空指针引用	第49-56 页
·空指针引用具体模式分类	第50-54 页
·空指针引用设计策略	第54 页
·空指针引用检测状态机	第54-56 页
·非法计算	第56-58 页
·非法计算具体模式分类	第56-57 页
·非法计算设计策略	第57 页
·非法计算检测状态机	第57-58 页
·实验数据	第58-60 页
第6章结论	第60-62 页
·研究工作总结	第60 页
·展望	第60-62 页
参考文献	第62-64 页
致谢	第64-65 页
作者攻读学位期间发表的学术论文目录	第65页

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

更多论文
基于扩展状态机的软件缺陷检测技术
基于J2EE轻量级框架的应用研究
基于Agile的项目管理软件的研究与实
基于神经网络的RFID标签天线快速优
基于CMM的软件过程管理系统的设计与
基于工作流的接入网号线资源全生命
Java卡测试平台的设计与实现
ERP系统销售管理子系统的设计与实现
北方电信九省网上营业厅系统分析与
高等职业教育数据挖掘系统的研究与
基于ITIL的运维管理系统设计与实现
综合电子运维系统故障管理子系统的
中国联通内蒙古分公司ERP系统的设计
基于Web技术的嵌入式用户界面开发平
单位犯罪若干问题研究
私分国有资产罪研究
基于WEBGIS的公交查询系统的设计与
相对人信息管理系统的设计与实现
支持DBCS的IMS MFS web解决方案
公交车自助线路查询系统的开发与测
邮政工资管理系统的设计和实现
放射源进出口安全监管系统设计与实
面向复杂网络的可视化分析工具的设
基于SKIA的可移植控件组的设计与实
基于J2EE和手机短信平台的高校招生
面向移动终端的Linux三维图形硬件渲
一种基于MVC架构的SIP软终端的设计
基于B/S架构的NGN安全态势评估系统
数据协同管理系统的设计与实现
特种物品管理信息系统用户权限管理
网购比价搜索系统设计与实现
联通省级一卡充系统设计与实现
天津海事局领导干部廉政信息管理系
星载ADE系统客户端界面设计与实现
全国邮政职工薪酬集中管理系统的分
团体人寿保险业务系统的设计与实现
用户行为偏好分析系统的设计与实现
性能测试平台的设计与实现
基于数据挖掘的银行洗钱行为分析系
分布式测试管理系统的设计与实现
基于图像的信息隐藏算法研究
投递运营资源可视化管理系统的设计
商函大宗邮件集中处理系统的设计与
省数据集中模式报刊订销系统的设计
陕西邮政电子商务平台社会代办点WE
四川省邮政信息网络集中监控系统的
邮政车辆GPS运行管理系统的设计与实
基于LAOP平台代收货款系统的设计与
代办电费系统的设计与实现
天津邮政信息局生产管理系统的需求
汇兑大集中系统终端外设的分析与验
邮政信息网运维服务管理系统的分析
辽宁邮政便捷服务系统的设计与实现
基于国产基础软件平台的公文拟制系
基于开源框架的保险代理系统设计与
多级分布式信息系统数据交换总线的
基于Shark的动态工作流管理系统的研
基于AGV的图像动目标检测技术的研究
基于案例推理的可用性评估引导系统
论探望权
行业信息综合业务平台的设计与实现

软件测试论文静态分析论文缺陷检测论文缺陷模式状态机论文函数摘要论文误报率论文
版权申明：目录由用户dtw**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved