切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
嵌入式联锁软件模拟自动测试平台的研究
嵌入式联锁软件模拟自动测试平台的研究
来源 :铁道学报 | 被引量 : 0次 | 上传用户:qiuzhiye51
【摘 要】
:
为满足联锁软件黑箱测试的要求,对联锁软件安全性需求进行了分级形式化表达.阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案.最后,给出了自动测试平台得
【作 者】
:
徐中伟
吴芳美
【机 构】
:
同济大学电子与信息学院
【出 处】
:
铁道学报
【发表日期】
:
2001年5期
【关键词】
:
故障树
安全性需求
铁路
计算机联锁
嵌入式联锁软件
模拟
自动测试平台
研究
interlocking
software testing
fault tr
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为满足联锁软件黑箱测试的要求,对联锁软件安全性需求进行了分级形式化表达.阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案.最后,给出了自动测试平台得到的联锁软件分类测试结果.
其他文献
海口法院启动首个家事审判改革试点
据法制网6月3日报道,海南省琼山法院作为海霹市首个被最高院确定为家事审判改革的试点法院,自2016年6月1日起正式开展试点工作,为期二年。目前,该法院以家事审判工作机制和家事审
期刊
审判改革
改革试点
法院
海口
审判方式改革
心理咨询室
工作机制
海南省
辽宁省出台文件深化城乡社区警务改革
据《辽宁日报》10月24日报道,为进一步加强和改进公安基层基础工作,创新完善立体化社会治安防控体系建设,近日,《辽宁省公安厅关于深化城乡社区警务工作的意见(试行)》正式印发,进一
期刊
社区警务改革
辽宁省
城乡
公安基层基础工作
社会治安防控体系
《辽宁日报》
社区警务工作
文件
Middle Kingdom and Dark Continent Remain Obscure to Each Other- An Interview with He Wenping, Direct
<正>SINO-AFRICAN cooperation has a long history with many high points, but there is a wide gap between the Chinese and Western world views in terms of Sino-Afri
期刊
中国社科院
主任
学院
非洲
西亚
大陆
古村
非合作
国家旅游局修订《旅行社条例》
据人民网8月2日报道,国家旅游局近日发布公告,将《旅行社条例》和《中国公民出国旅游管理办法》两部行政法规进行了合并修订,形成了《旅行社条例(修订草案送审稿)》,在8月底之
期刊
旅行社条例
媒体搜索
国家旅游局
修订草案
签字同意
购物场所
人民网
协商一致
企业破产案件
农村扶贫
光泽:激发代表履职活力
“经调研,代表反映最多、最困惑的是所提建议得不到落实,尤其是小项目往往得不到落实,从而挫伤代表履职的积极性。”光泽县人大常委会主任熊庆说。针对这一情况,2014年下半年
期刊
光泽县
熊庆
止马
人大主席团
活动小组
积极履职
专题会议
铁路涵洞
跟踪督查
不称职
China's Young Environmentalists
期刊
中国
环保
电力能源
大学生
出入境
福鼎市桐城街道人大工委:理出一片“新、绿、亮、洁”
“我都快认不出回家的路了,哈哈,”假期返乡的小李笑道,“路变得这么宽,路面这么干净,完全是另一个城市啊!”
期刊
福鼎市
工委
人大
街道
桐城
龙岩市人大与检察院建立法律监督工作联动机制
本刊讯7月31日,龙岩市五届人大常委会第十次会议讨论通过了《龙岩市人大常委会关于建立法律监督工作联动机制的意见(试行)》.《意见》共17条,突出两个方面的内容:一是市人大常委
期刊
市人大常委会
法律监督工作
人民检察院
龙岩市
会议讨论
检察机关
Charity Online
期刊
在线
慈善
学生生活
偏远山区
博客
赤脚
连江县人大调研渔港建设情况
本刊讯 3月1至2日,连江县人大常委会组织部分常委会组成人员赴筱埕、黄岐、苔蕞、晓澳等乡镇调研渔港建设情况。调研组一行通过实地察看、听取汇报、座谈交流等形式,详细了解有
期刊
人大常委会
渔港建设
调研组
连江县
组成人员
组织部
乡镇
与本文相关的学术论文