本文關(guān)鍵詞：基于腳本技術(shù)的高速鐵路列控中心系統(tǒng)安全性自動(dòng)化測試研究，由筆耕文化傳播整理發(fā)布。

來源： 關(guān)鍵字： ,基于腳本技術(shù)的高速鐵路列控中心系統(tǒng)安全性自動(dòng)化測試研究

延伸：高速鐵路列控中心軟件安全性需求形式化建模
本文除了提供基于腳本技術(shù)的高速鐵路列控中心系統(tǒng)安全性自動(dòng)化測試研究 第9頁的文本下載，還提供與之相關(guān)的《高速鐵路列控中心軟件安全性需求形式化建�！肺谋疚臋n，希望對您有所幫助。

６４

；ＴｓｔＤａｔａ．ＰｒｅＯｕｔｕｔ＝＇０；４５；Ｋ７３７＋１００；１２０＇ｐ……

＊測試行為部分＊

；ＴｃｃＳｉｍｕＯｂ．ＣＴＣ．ＳｅｎｄＴｓｔＣａｓｅ＿１．Ｄａｔａ�。�；ＴｃｃＳｉｍｕＯｂ．ＬＳ．ＳｅｎｄＴｓｔＣａｓｅ＿１．Ｄａｔａ�。�

鐵　　道　　學(xué)　　報(bào)第３３卷

仿真測試。Ｓ為ＥＤ＿ＴＳＬ具有良好的測試描述能力，高速鐵路ＣＴＣＳ２列控中心軟件系統(tǒng)仿真測試已建立－了５形成了８０００個(gè)測試場景，０００００個(gè)測試用例庫及　　測試序列庫，可針對高速鐵路ＣＴＣＳ－２列控中心軟件系統(tǒng)實(shí)際中可能出現(xiàn)的運(yùn)營場景，組織各種不同類型的測試用例與測試序列，并對測試反饋進(jìn)行處理�；械纫�(guī)模于ＳＥＤ＿ＴＳＬ編寫的測試腳本執(zhí)行效率高，，的測試腳本執(zhí)行時(shí)間不超過１定時(shí)精度可達(dá)００ｍｓ。在鐵道部實(shí)施的既有線Ｃ１ｍｓＴＣＳ－２列控中心產(chǎn)

品的制式測試中，整個(gè)測試周期平均為３天，能夠滿足產(chǎn)品上線前的檢測時(shí)間要求。

下一階段將進(jìn)一步增強(qiáng)測試腳本語言的測試與測試控制描述能力，提高測試腳本的解析執(zhí)行速度，實(shí)現(xiàn)進(jìn)一步完善測試從系統(tǒng)需求到測試腳本的自動(dòng)生成，

環(huán)境。在后期，將按照鐵道部要求，利用該測試環(huán)境完／／成２００～２５０ｋｍｈ和３００～３５０ｋｍｈ高速鐵路列控中心系統(tǒng)產(chǎn)品的制式測試和監(jiān)督抽查工作。

參考文獻(xiàn)：

［］吳芳美．鐵路安全軟件測試評估［北京：中國鐵道出１Ｍ］．

版社，２００１．

［］Ｍ，影印版．北２ｏｓｌｅＤＪＰｏｓｅＢＡ．軟件測試自動(dòng)化［Ｍ］．　�。　�

京：機(jī)械工業(yè)出版社，２００３．

［］３ＪｕｒｉｓｔｏＮ，ＭｏｒｅｎｏＡ�。�，ＳｔｒｉｅｌＷ．ＳｏｆｔｗａｒｅＴｅｓｔｉｎＰｒａｃ　　　�。纾纭。�

］，，（）：ｔｉｃｅｓｉｎＩｎｄｕｓｔｒＪ．ＩＥＥＥＳｏｆｔｗａｒｅ２００６２３４１９２２２１．　　�。郏郏荩矗耍幔睿欤椋睿�，ＭｅｎｉＷ．ＥｆｆｅｃｔｉｖｅＳｏｆｔｗａｒｅＴｅｓｔＡｕｔｏｍａｔｉｏｎ　　　　�。纾纾�

［，，Ｍ］．ＡｌａｍｅｄａＣＡ：Ｓｂｅｘ２００４．ｙ

［］５ＰｅｒｒＷ�。牛牛妫妫澹悖簦椋觯澹停澹簦瑁铮洌螅妫铮颍樱铮妫簦鳎幔颍澹裕澹螅簦椋睿停荩危澹鳌　　　。。纾�

：，ＹｏｒｋＪｏｎｎ�。祝椋欤澹Γ樱铮睿螅玻埃埃埃�

［］王鐵江，酈萌．基于關(guān)鍵字驅(qū)動(dòng)腳本的安全軟件自動(dòng)測試６

］．同濟(jì)大學(xué)學(xué)報(bào)（，：自然科學(xué)版）系統(tǒng)［Ｊ２００２，，３０（６）７１９７２２．－

，ＷＡＮＧＴｉｅＬＩＭｏｎＳａｆｅｔＣｒｉｔｉｃａｌＳｏｆｔｗａｒｅＡｕｔｏｉａｎ　　　�。纾辏纾郏荩恚幔簦椋悖裕澹螅簦椋睿樱螅簦澹恚拢幔螅澹洌铮睿耍澹鳎铮颍洌模颍椋觯澹睿樱悖颍椋簦剩　　　　　。纾稹。�，ｏｆＴｏｎｉＵｎｉｖｅｒｓｉｔＮａｔｕｒａｌＳｃｌｅｎｃｅ２００２，３０Ｊｏｕｒｎａｌ　　　�。纾辏ǎǎ海叮罚保梗罚玻玻�

［］徐中偉，吳芳美．計(jì)算機(jī)聯(lián)鎖安全軟件測試案例自動(dòng)生成７

／／第八屆全國容錯(cuò)計(jì)算學(xué)術(shù)會議論文集．北專家系統(tǒng)［Ｃ］京：中國計(jì)算機(jī)學(xué)會容錯(cuò)計(jì)算專業(yè)委員會，１９９９：１５８１６３．－［］杜峰．通用腳本引擎的研究及其在自動(dòng)測試中的應(yīng)用８

［上海：同濟(jì)大學(xué)，Ｄ］．２００６：３３５３．－

［］張浩．基于通用腳本引擎的自動(dòng)測試平臺及在安全測試中９

的應(yīng)用［上海：同濟(jì)大學(xué)，Ｄ］．２００６：３７４２．－

（）；ＴｓｔＤａｔａ．ＲｅａｌＯｕｔｕｔ＝ＴｃｃＳｉｍｕＯｂ．ＣＴＣ．Ｒｅｖｐｊ（）；ＴｓｔＤａｔａ．ＲｅａｌＯｕｔｕｔ＝ＴｃｃＳｉｍｕＯｂ．ＬＳ．Ｒｅｖｐｊ（）；ＴｓｔＤａｔａ．ＲｅａｌＯｕｔｕｔ＝ＴｃｃＳｉｍｕＯｂ．Ｌｅｕ．Ｒｅｖｐｊ……）……

：＿ＴｅｓｔＣａｓｅＯｂＴｓｔＣａｓｅ２；ｊ（……）｝

＿ＴｅｓｔＥｘｅｃＳｉｍＯｂ．Ｓｃｒｉｔｊｐ

仿真對象級）＊測試執(zhí)行模塊腳本（＊＿ＭｏｄＳｉｍＯｂＴｃｃＳｉｍｕＯｂｊｊ�。樱椋恚希猓裕樱遥辍。�

Ａｃｔｉｏｎ：Ｓｅｎｄ（Ｍｓ１ｇ

）Ｏ（）ｎＥｖｅｎｔＬｉｓｔＥｖｅ１�。海ǎ粒悖簦椋铮睿遥澹觯停螅玻纾海停螅停螅保纾�

（：ＳｅｎｄＬｍｔＣｍｄＴｓｔＣａｓｅ＿１．Ｄａｔａ．ＬｍｔＣｍｄＩｎｕｔｐ）……：ＥｖｅｎｔＥｖｅ１（

：ＮａｍｅＥｖｅ１；：…Ｄｅｓｃ：…Ｃｏｎｄｉｔｉｏｎ）｝……ＳｉｍＯｂＬＳｊ�。�

：；ＳｅｔＲｏｕｔｅＴｓｔＣａｓｅ＿１．Ｄａｔａ．ＲｏｕｔｅＩｎｆｏ）｝

７　結(jié)束語

在高速鐵路ＣＴＣＳ－２列控中心軟件系統(tǒng)仿真測試本文提出的基于Ｓ中，ＥＤ＿ＴＳＬ的測試腳本技術(shù)能滿足安全苛求軟件測試的特殊要求，可實(shí)現(xiàn)對其閉環(huán)

（責(zé)任編輯　魏京燕）

第9頁/共9頁

猜您感興趣

查看更多相關(guān)文本

編輯推薦

我也來解決

  本文關(guān)鍵詞：基于腳本技術(shù)的高速鐵路列控中心系統(tǒng)安全性自動(dòng)化測試研究，由筆耕文化傳播整理發(fā)布。