期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
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
职称材料
基于排队模型的联锁逻辑仿真模型研究
被引量：
1
2
作者
喻钢
徐中伟
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008年第8期2003-2006,共4页
基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统。与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好。根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模...
基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统。与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好。根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法。
展开更多
关键词
面向对象
仿真
联锁逻辑
排队
构件
在线阅读
下载PDF
职称材料
面向安全性需求的安全构件模型框架研究
3
作者
喻钢
徐中伟
《计算机应用》
CSCD
北大核心
2008年第11期2929-2932,2939,共5页
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架...
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于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
职称材料
题名
基于排队模型的联锁逻辑仿真模型研究
被引量：
1
2
作者
喻钢
徐中伟
机构
同济大学嘉定校区电子与信息工程学院
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008年第8期2003-2006,共4页
基金
国家自然科学基金资助项目(60674004)
文摘
基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统。与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好。根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法。
关键词
面向对象
仿真
联锁逻辑
排队
构件
Keywords
object-oriented
simulation
interlocking logic
queue
component
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
面向安全性需求的安全构件模型框架研究
3
作者
喻钢
徐中伟
机构
同济大学嘉定校区电子与信息工程学院
上海
大学
嘉定
校
区
悉尼工商
学院
出处
《计算机应用》
CSCD
北大核心
2008年第11期2929-2932,2939,共5页
基金
国家自然科学基金资助项目(60674004)
铁道部科技研究开发计划课题(2007X003)
文摘
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。
关键词
安全构件
安全苛求软件
安全性需求
Keywords
Safety Component （SC）
safety-critical software
safety requirement
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究
喻钢
徐中伟
《铁道学报》
EI
CAS
CSCD
北大核心
2011
13
在线阅读
下载PDF
职称材料
2
基于排队模型的联锁逻辑仿真模型研究
喻钢
徐中伟
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
3
面向安全性需求的安全构件模型框架研究
喻钢
徐中伟
《计算机应用》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
