列车运行控制系统软件故障相关形式化测试方法



列车运行控制系统软件故障相关形式化测试方法

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→自动化技术及设备论文→自动化系统论文→自动控制、自动控制系统论文

列车运行控制系统软件故障相关形式化测试方法

论文目录
致谢	第1-6页
中文摘要	第6-8页
ABSTRACT	第8-15页
1 引言	第15-27页
· 研究背景	第15-16页
· 列控系统软件的特点	第16-18页
· 列控系统软件测试技术及现状	第18-21页
· 列控系统软件安全性测试方法	第18-19页
· 列控系统测试用例自动生成方法	第19-20页
· 列控系统软件测试遇到的挑战	第20-21页
· 安全软件故障相关测试	第21-24页
· 安全软件测试方法	第21-22页
· 软件故障相关测试序列生成方法	第22-24页
· 研究内容和篇章结构	第24-27页
2 相关测试理论与技术	第27-37页
· 软件测试用例自动生成方法	第27-30页
· 软件测试用例自动生成方法概述	第27-29页
· 基于模型的反应式系统测试序列自动生成方法	第29-30页
· 一致性测试理论	第30-32页
· 模型检验工具选择	第32-35页
· 本章小结	第35-37页
3 基于ProcCPN的安全软件异常行为建模方法	第37-55页
· 进程模型的描述方法ProcCPN	第37-45页
· 着色Petri网的相关定义	第37-39页
· 进程模型的形式化定义	第39-40页
· 进程模型的描述方法ProcCPN	第40-42页
· 应用ProcCPN方法的实例	第42-45页
· 基于ProcCPN的安全软件异常行为分层建模方法	第45-49页
· 被测系统SUT模型	第46-47页
· 环境模型	第47-48页
· 系统模型	第48-49页
· 安全软件无死锁和活锁分析	第49-52页
· 模型静态死锁避免方法	第49-50页
· 基于状态空间的模型无死锁活锁分析	第50-52页
· 本章小结	第52-55页
4 故障相关形式化测试序列生成方法	第55-85页
· 基本概念定义	第55-69页
· 输入输出标号迁移系统IOLTS	第55-57页
· 被测系统SUT的IOLTS语义	第57-60页
· 故障相关测试目的FRTP公式证例路径	第60-65页
· 基于ASK-CTL的FRTP	第65-69页
· 基于FRTP的故障相关形式化测试理论	第69-77页
· 形式化-致性测试理论	第69-71页
· 基于FROO的一致性测试理论	第71-72页
· 故障相关测试序列的形式化定义	第72-77页
· 故障相关测试序列FRTS生成方法	第77-84页
· 模型正确性检查	第77-78页
· 故障相关测试目的公式证例路径生成算法	第78-79页
· 故障相关观测目标生成算法	第79-80页
· 故障相关测试序列生成算法	第80-84页
· 本章小结	第84-85页
5 列控系统车载应用软件测试实例	第85-117页
· 列控系统车载应用软件测试方法	第85-88页
· 车载应用软件	第85-86页
· 车载软件分场景测试方法	第86-88页
· 注册与启动场景测试序列生成实例	第88-111页
· 注册与启动场景规范	第88-90页
· 注册与启动场景形式化模型	第90-100页
· 测试序列生成	第100-111页
· 测试序列效果分析	第111-116页
· 车载设备软件仿真测试平台	第111-114页
· 测试执行与结果分析	第114-116页
· 本章小结	第116-117页
6 结论	第117-119页
· 论文总结	第117-118页
· 展望	第118-119页
参考文献	第119-131页
附录A	第131-135页
附录B	第135-141页
附录C	第141-143页
作者简历	第143-145页
攻读博士期间发表论文	第145-149页
学位论文数据集	第149页

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

更多论文
列车运行控制系统软件故障相关形式
一种新型磁性液体加速度传感器的设
国有单位和非国有单位的工资差距问
高校思想政治教育服务学习研究
电子政务项目建设与运行管理研究
中国案例指导制度构建研究
人的生命价值研究
公共卫生支出与国民健康及经济发展
铁路编组站鲁棒阶段计划编制及调整
青藏铁路抛石路基通风性能研究
基于换乘的城市轨道交通网络流量分
基于物联网技术的铁路集装箱中心站
基于敏感度的地铁列车振动环境影响
铁路隧道下穿既有路基沉降规律及控
铁道电网信息流柔性技术研究
城市轨道交通网络列车运行计划一体
城市轨道交通枢纽交通设计理论与方
高速铁路高架桥上无砟道岔动力特性
基于智能体和元胞自动机的列车协同
铁路重载货车车轮辐板热机疲劳强度
动态环境下交通基础设施结构的发展
软弱深埋隧道围岩结构特性及支护荷
自行车微观行为动力学建模及仿真研
综合运输通道客运供给结构规划理论
港口物流系统竞合研究
隧道初期支护与软弱围岩作用机理及
风及列车荷载作用下大跨度桥梁振动
运营隧道健康诊断及剩余寿命评估研
城市客运枢纽站旅客流线优化研究
隧道衬砌结构健康诊断及技术状况评
隧道软弱围岩变形机制与控制技术研
撞击荷载作用下车桥系统的动力响应
非连续接触计算模型在盾构衬砌力学
公路穿村镇路段交通安全特征及事故
近似动态规划方法及其在交通中的应
面向交通网络排放测算的机动车运行
区域道路交通安全评价的理论与方法
车辆液力自举式防滑系统研究
底部框架密肋复合墙结构组合作用效
基于时空视角的轨道交通与城市空间
铁路建筑企业的企业位势研究
密肋复合板结构非线性数值模型研究
石墨烯的制备及在超级电容器中的应
我国光伏发电项目规模化发展研究
高温超导直线感应电机设计研究
模块组合多电平变换器（MMC）研究
单相PWM整流器谐波电流抑制算法研究
复杂曲面宽行数控加工理论及其应用
焊接结构疲劳强度研究及其应用
ZnO基薄膜的生长及其紫外光敏电阻器
新型迈克尔逊型数字剪切散斑干涉术
前向Brillouin散射和光纤Sagnac环滤
倾斜式生长微纳结构薄膜及在场致发
单模大模场直径高浓度掺铒光纤及相
农资邮政物流网络的资源利用效率评
物流园区网络协同研究
基于供应链战略协同的农产品物流运
北京市房地产开发企业员工离职问题
基于微观结构理论的证券市场可预测
基于NPB和TAPC给体的有机紫外光探测
ZnO基薄膜晶体管的研制
改善蓝色有机电致发光器件稳定性及
基于光纤光栅的微波光子滤波器及发
移动自组网中若干密钥管理方案及应
基于IEEE802.16的无线Mesh网络关键
WDM骨干网和接入网中若干关键技术问
认知无线电中协作频谱感知技术研究
P2P流媒体系统的理论建模与协议优化
互联网测量与建模研究
中文互联网视频搜索引擎系统策略研
基于模型的高速列车运行控制系统可
高速动车组列车网络控制若干问题研
高铁综合客运枢纽客流安全预警关键
社交网络服务中信息传播模式与舆论
司法裁判的经济学分析

列控系统论文安全软件论文一致性测试论文模型检验论文测试目的论文故障失效
版权申明：目录由用户meidiya**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved