[发明专利]用于高速铁路列车控制系统功能测试的建模方法无效
申请号: | 201010607940.9 | 申请日: | 2010-12-17 |
公开(公告)号: | CN102073317A | 公开(公告)日: | 2011-05-25 |
发明(设计)人: | 吉吟东;王帅;周暐;孙新亚;董炜;张桐 | 申请(专利权)人: | 清华大学;北京全路通信信号研究设计院 |
主分类号: | G05B23/00 | 分类号: | G05B23/00 |
代理公司: | 北京清亦华知识产权代理事务所(普通合伙) 11201 | 代理人: | 罗文群 |
地址: | 100084*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种用于高速铁路列车控制系统功能测试的建模方法,属于自动测试技术领域。本发明方法首先建立一个高速铁路列车控制系统功能测试的三元组系统无关模型,然后建立一个高速铁路列车控制系统功能测试的四元组系统相关模型,通过变换,将三元组系统无关模型变换成四元组系统相关模型。本发明方法根据测试需求定义测试过程建模所需的系统无关模型、系统相关模型,然后实现从系统无关模型到系统相关模型的自动化变换,提高了测试的自动化程度和测试效率。 | ||
搜索关键词: | 用于 高速铁路 列车 控制系统 功能 测试 建模 方法 | ||
【主权项】:
一种用于高速铁路列车控制系统功能测试的建模方法,其特征在于该方法包括以下步骤:(1‑1)建立一个高速铁路列车控制系统功能测试的三元组系统无关模型:PIM::=(θ,D,V),其中:θ为改变高速铁路列车控制系统状态的抽象测试动作集合,D为高速铁路列车控制系统测试流程的描述信息,V为改变高速铁路列车控制系统状态的参数集合;(1‑2)建立一个高速铁路列车控制系统功能测试的四元组系统相关模型为:PSM::=(B,S,Ds,Vs)其中:B为高速铁路列车控制系统功能测试过程中的基本动作,包括发送信号、接收信号、等待信号、对参数赋值和终止测试,S为高速铁路列车控制系统功能测试过程中的流程动作,包括条件判断、测试步骤循环、测试步骤依次进行和测试步骤同时进行,流程动作的结构形式为:流程开始动作、多个基本动作、流程结束或开始动作、多个基本动作、流程结束或开始动作,依次循环后最后为流程结束动作,Ds为高速铁路列车控制系统功能测试过程中包含了测试系统实现信息的测试流程描述信息,Vs为高速铁路列车控制系统功能测试过程中包含了测试系统实现信息的改变高速铁路列车控制系统状态的参数集合;(1‑3)通过下述变换,将上述三元组系统无关模型变换成四元组系统相关模型: Λ = σ b σ s 0 ξ 0 0 f d 0 r r 0 f v 按照上式,则:PSM=PIM×Λ其中:σb是从抽象测试动作集合θ中提取基本动作,并在基本动作中加入消息和属性信息,消息为按照被测功能的业务含义划分的业务域的集合,属性为业务域的内容,σs是从抽象测试动作集合θ中提取流程动作,r为用户设定的改变高速铁路列车控制系统状态的参数集合V的引用关系的向量,形式为(1 0 1 1 … 0),其中,1表示需要对应的参数,0表示不需要对应的参数,fd是将高速铁路列车控制系统测试流程的描述信息D变换为与系统相关的标准化格式信息,fv是将高速铁路列车控制系统测试流程的参数集合V变换为与系统相关的标准化格式参数,ξ为由用户设定的抽象测试动作集合θ的引用关系的向量,形式为(1 0 1 1 … 0),其中,1表示需要对应的抽象测试动作,0表示不需要对应的抽象测试动作。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于清华大学;北京全路通信信号研究设计院,未经清华大学;北京全路通信信号研究设计院许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201010607940.9/,转载请声明来源钻瓜专利网。
- 上一篇:设定加热板输出功率大小实现自动控温的方法
- 下一篇:胆固醇液晶显示装置