基于抽象状态机的协议软件测试方法研究



基于抽象状态机的协议软件测试方法研究

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

基于抽象状态机的协议软件测试方法研究

论文目录
摘要	第1-4页
ABSTRACT	第4-7页
第一章绪论	第7-11页
· 研究背景	第7-9页
· 国内外的研究现状	第7-8页
· 论文研究目的	第8-9页
· 本文内容安排	第9-10页
· 本章小结	第10-11页
第二章软件测试	第11-21页
· 软件测试概述	第11页
· 测试的相关概念	第11-14页
· 传统软件测试的分类	第11-12页
· 面向对象软件测试简述	第12-13页
· 协议测试介绍	第13页
· 基于模型的软件测试	第13-14页
· 形式化描述方法介绍	第14-20页
· 形式化描述方法介绍	第14-18页
· 形式描述方法的比较	第18页
· 基于抽象状态机模型的软件测试	第18-20页
· 本章小结	第20-21页
第三章基于抽象状态机模型的软件测试基础	第21-39页
· 抽象状态机	第21-26页
· 抽象状态机简介	第21-22页
· 抽象状态机的基本定义	第22-25页
· 扩展抽象状态机	第25-26页
· 抽象状态机语言ASML	第26-29页
· ASML简介	第26-28页
· 可执行规范的实现测试同步模式	第28-29页
· 接口自动机	第29-30页
· 接口自动机介绍	第29-30页
· 软件一致性测试简述	第30页
· UML状态图及其ASML描述	第30-35页
· UML状态图	第31页
· UML状态图的ASML描述	第31-33页
· 简单示例	第33-35页
· 软件的一致性测试	第35-37页
· 协议的一致性测试	第37-38页
· 本章小结	第38-39页
第四章基于抽象状态机模型的软件测试系统	第39-55页
· Remoting简介	第39-42页
· Remoting系统概述	第39-40页
· Remoting体系结构的主要元素	第40-41页
· Remoting体系结构在软件系统中的应用	第41-42页
· 实时传输协议形式化描述	第42-47页
· 实时传输协议介绍	第42-44页
· 被测协议原语和协议数据单元描述	第44-45页
· 传输机制的形式化描述	第45-47页
· 协议的测试结构	第47-48页
· 基于抽象状态机模型的软件测试结构	第48页
· 远程教学系统的抽象状态机模型	第48-54页
· 远程教学系统介绍	第48-50页
· 远程教学系统抽象状态机模型	第50-54页
· 本章小结	第54-55页
第五章测试结果及其分析	第55-63页
· RTP协议一致性测试结果及其分析	第55-58页
· 远程教学系统软件测试结果及其分析	第58-62页
· 本章小结	第62-63页
第六章结束语	第63-65页
· 本文所作的工作	第63页
· 问题与展望	第63-65页
致谢	第65-67页
参考文献	第67-71页
附录A	第71-73 页

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

更多论文
基于抽象状态机的协议软件测试方法
论违反公司章程的法律后果
约定客观：罗蒂的“弱”相对主义思
数据挖掘技术在短时交通流预测上的
冯友兰的孔子研究述评
试论跨国公司在华搭售的法律规制--
专色Profile生成关键技术研究
论尼采生存观
老子道法自然思想对现代教育的启示
我国合作金融组织法发展研究--基于
ICC Profile编辑器的设计与实现
胡适的中国思想史研究
陈荣捷朱子研究述评
多光谱图像获取技术研究
税收立法权之规范研究--基于税收法
行政组织伦理的困境及其规范途径
基于单汉字索引的全文检索系统的研
关中传统民居的伦理文化意蕴
保险合同主体间的法律关系分析--以
普世价值的理性诉求及其限度研究
基于状态建模的类测试方法的研究
我国非政府组织税收环境与政策法律
行政行为选择中的伦理困境及其出路
智能监控系统中人体行为识别技术研
基于工作记忆的目标设置理论实验研
记名提单的物权凭证属性及放货问题
内窥镜病理图像纹理分割的研究
选择性注意与中央执行功能各子成分
论外资银行市场准入监管的法律制度
认知方式、阅读材料呈现模式对数字
智能视频监控系统中运动目标的检测
提单仲裁条款效力研究
消防官兵职业压力量表的初步编制及
面向社区服务的数据仓库系统的设计
外资并购我国上市公司法律问题分析
认知灵活性、工作记忆广度对言语理
情报处理系统中数据融合与数据挖掘
证券市场注册会计师民事责任研究
大学生父母教养方式、安全感与人际
基于锚点的多基因组序列比对算法
工作记忆、加工速度、言语流畅性关
船舶融资租赁相关法律问题研究
大学生时间管理倾向、自我和谐与学
基于数据库的自然语言查询技术研究
我国对离岸公司涉外投资的法律规制
个体认知风格、人格特质对空间认知
基于色外观的图像再现技术研究
情绪状态与表征材料对中央执行功能
公司僵局及其司法介入制度研究
星图定位与识别技术研究
大学生成人依恋、社会支持与人际信
柏拉图主义与新柏拉图主义美学理论
反收购中目标公司控股股东信义义务
基于人脸检测的自动红眼消除算法研
我国外资银行监管的若干法律问题研
席勒美育思想与孔子美育思想比较
大规模城市外景虚拟现实中LOD技术的
疯狂与自身：福柯生存美学思想研究
股东出资瑕疵法律问题研究
杜威的经验审美观
基于BIRT组件的报表生成系统的研究
试论上市公司关联交易的法律界定
论西方宗教信仰精神与中原汉族孝悌
自动排课系统的设计与实现
论董事的义务--从公司社会责任的角

软件测试论文抽象状态机论文实时传输协议论文统一建模语言论文一致性测试论文
版权申明：目录由用户杨成**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved