期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究
被引量：
13
1
作者
喻钢
徐中伟
《铁道学报》
EI
CAS
CSCD
北大核心
2011年第12期56-64,共9页
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前...
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。
展开更多
关键词
CTCS-2级列控系统
测试脚本语言
安全性测试
自动化测试
高速铁路
在线阅读
下载PDF
职称材料
面向安全性需求的安全构件模型框架研究
2
作者
喻钢
徐中伟
《计算机应用》
CSCD
北大核心
2008年第11期2929-2932,2939,共5页
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架...
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。
展开更多
关键词
安全构件
安全苛求软件
安全性需求
在线阅读
下载PDF
职称材料
基于有色Petri网的安全构件模型
被引量：
2
3
作者
陈旭
徐中伟
喻钢
《计算机工程》
CAS
CSCD
北大核心
2008年第22期165-167,共3页
安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色Petri网的安全构件模型及相应的构件组...
安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模。
展开更多
关键词
有色PETRI网
安全构件建模
CTCS-2列车控制中心
在线阅读
下载PDF
职称材料
题名
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究
被引量：
13
1
作者
喻钢
徐中伟
机构
同济
大学
嘉定
校
区
电子与信息工程
学院
上海大学嘉定校区悉尼工商学院
铁道部产品质量监督检验中心铁路车站计算机联锁检验站
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2011年第12期56-64,共9页
基金
国家自然科学基金(60674004)
铁道部科技研究开发计划课题(2008X003-A
2009X002-A)
文摘
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。
关键词
CTCS-2级列控系统
测试脚本语言
安全性测试
自动化测试
高速铁路
Keywords
CTCS-2 train control system
test script language
safety test
automation test
dedicated passenger line
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
U283 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
面向安全性需求的安全构件模型框架研究
2
作者
喻钢
徐中伟
机构
同济
大学
嘉定
校
区
电子与信息工程
学院
上海大学嘉定校区悉尼工商学院
出处
《计算机应用》
CSCD
北大核心
2008年第11期2929-2932,2939,共5页
基金
国家自然科学基金资助项目(60674004)
铁道部科技研究开发计划课题(2007X003)
文摘
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。
关键词
安全构件
安全苛求软件
安全性需求
Keywords
Safety Component （SC）
safety-critical software
safety requirement
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于有色Petri网的安全构件模型
被引量：
2
3
作者
陈旭
徐中伟
喻钢
机构
同济
大学
电子与信息工程
学院
上海大学嘉定校区悉尼工商学院
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第22期165-167,共3页
基金
国家自然科学基金资助项目(60674004)
文摘
安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模。
关键词
有色PETRI网
安全构件建模
CTCS-2列车控制中心
Keywords
Colored Petri Net（CPN）
safety-component modeling
CTCS-2 Train Control Center（TCC）
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究
喻钢
徐中伟
《铁道学报》
EI
CAS
CSCD
北大核心
2011
13
在线阅读
下载PDF
职称材料
2
面向安全性需求的安全构件模型框架研究
喻钢
徐中伟
《计算机应用》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
3
基于有色Petri网的安全构件模型
陈旭
徐中伟
喻钢
《计算机工程》
CAS
CSCD
北大核心
2008
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
