基于验证模式的增量记忆型安全关键软件快速测试框架



基于验证模式的增量记忆型安全关键软件快速测试框架

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

基于验证模式的增量记忆型安全关键软件快速测试框架

论文目录
摘要	第1-5 页
ABSTRACT	第5-8 页
第一章绪论	第8-14 页
· 研究的背景与意义	第8-9 页
· 研究的现状	第9-11 页
· 研究的内容	第11-13 页
· 论文组织结构	第13-14 页
第二章安全关键系统可信性测试工程	第14-25 页
· 安全关键软件可靠性测试	第14-19 页
· 软件可靠性	第15 页
· 软件可靠性测试的特点	第15-16 页
· 软件可靠性测试的一般步骤	第16-17 页
· 软件可靠性测试的发展现状	第17-19 页
· 安全关键软件防危性测试	第19-24 页
· 软件防危性	第19-20 页
· 软件防危性主要技术	第20-22 页
· 软件防危性评估	第22-23 页
· 提高安全软件防危性技术发展	第23-24 页
· 本章小结	第24-25 页
第三章基于场景的快速测试	第25-32 页
· 测试场景	第25-28 页
· UML场景描述	第25 页
· UML顺序图定义	第25-26 页
· 交互场景之间的并发关系定义	第26-27 页
· 顺序图场景定义	第27-28 页
· 场景转译	第28-30 页
· ACDATE模型	第28-30 页
· 逻辑表达式LTL	第30 页
· 本章小结	第30-32 页
第四章可信性测试评估	第32-38 页
· 可信性测试的有效性	第32-34 页
· 可信性测试的有效性评估	第34-35 页
· 基于贝叶斯定理的评估模型	第35-37 页
· 理论基础—贝叶斯定理	第35 页
· 软件测试效果评估模型	第35-37 页
· 本章小结	第37-38 页
第五章基于验证模式和自增量计算的测试方法设计	第38-49 页
· 验证模式	第38-40 页
· 基于贝叶斯函数的用例数确定	第40-42 页
· 方法设计	第42-46 页
· 可信性测试工作流	第42-43 页
· 方法工作流	第43-45 页
· 自增量计算与反馈机制	第45-46 页
· 对该方法设计的进一步讨论	第46-48 页
· 本章小结	第48-49 页
第六章实验	第49-67 页
· 实验环境	第49-50 页
· 原型实现:“Generic Test”框架	第50-61 页
· “Generic Test”测试单元	第50-51 页
· “Generic Test”面向协议层的支持	第51-54 页
· “Generic Test”面向界面测试的支持	第54-55 页
· “Generic Test”关键实现	第55-61 页
· 实验中验证模式及其的覆盖率	第61-63 页
· 命令响应场景模式	第61-62 页
· 回望场景模式	第62-63 页
· 场景模式覆盖率	第63 页
· 实验中自增量计算	第63-65 页
· 本章小结	第65-67 页
第七章结束语	第67-68 页
致谢	第68-69 页
参考文献	第69-73 页
攻硕期间取得的研究成果	第73 页

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

更多论文
基于验证模式的增量记忆型安全关键
太空诱变哈密瓜植物形态观察以及变
有状态的Web Services的研究与实现
我国货币政策信贷传导机制研究
安全的电子拍卖系统研究与实现
阿月浑子苗木繁育技术研究
设计模式在嵌入式软件设计中的研究
论人民币汇率预期形成机制
施肥对新农1号狗牙根种子生产的影响
基于WEB技术的工作流管理系统设计与
基于路网分层的多级搜索算法的研究
土壤水分对草坪草生长的影响及蒸散
我国上市公司股利政策研究--基于公
移动信息设备JAVA通用开发平台研发
百合受精前不亲和表达部位及其克服
基于Jabber协议的嵌入式即时通信客
我国商业银行汇率风险管理研究
基于Web Service的企业信息平台架构
阿月浑子酚类物质定性定量分析及其
虚拟全景空间和双目视觉三维重建的
证券投资组合的市场风险度量与优化
彩色超声血流成像系统的研究与仿真
北疆典型荒漠植被梭梭（Haloxylon
股权分置改革对上市公司股票价格的
COSM中基于三维高斯点扩展函数的解
刚毛柽柳抗旱的生理生化特性暨干旱
数字图像处理在目标探测中的应用
汇率变动对价格影响的实证分析
基于信息融合的人脸检测研究
塔里木河下游荒漠植物柽柳的光合与
我国商业银行操作风险计量中的损失
异构数据库传输问题分析及其在印章
两种梭梭幼苗抗旱性研究
实时语音盲信号分离及声源定位研究
我国城市水务行业投资收益率研究
稀疏路径回波对消自适应算法的研究
塔里木荒漠河岸林主要建群植物根际
虚拟现实技术在远程教育系统中的应
信用风险量化管理在我国商业银行应
胶原蛋白/聚乙烯醇复合纤维的制备及
克拉玛依农业开发区木本植物生理生
我国商业银行信用风险分析研究
一种适用于产品防伪的数字水印系统
聚酰亚胺纤维的纺制及其结构性能研
塔里木河下游胡杨、柽柳对输水的生
货币政策在经济周期及经济波动中的
标量网络分析仪底层驱动软件的开发
干旱区城市绿地系统健康综合评价--
中国商业银行业资本充足率同经济波
网络安全态势感知与趋势分析系统的
液晶功能化的超支化聚酯的合成、表
柽柳金属硫蛋白基因（MT）的功能验
人工免疫算法在反垃圾邮件技术中的
我国国债市场流动性研究
苯并噁嗪树脂在电子封装材料中的应
盐胁迫下梭梭幼苗生理生态响应机制
商业银行信用风险度量模型及其在我
内部网络预警系统的设计与实现
NS1蛋白42位氨基酸的改变对H5N1亚型
MC尼龙、MC尼龙/CaCO₃纳
利率市场化条件下我国货币市场基准
攀钢网络结构安全分析与设计
新城疫病毒样颗粒免疫效力的初步研
基于TMN的TD-SCDMA网管配置管理模块

安全关键软件论文可信性测试论文验证模式论文测试评估论文反馈
版权申明：目录由用户yumeng1**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved