本文關(guān)鍵詞：軌道交通系統(tǒng)需求分析與一致性測試

  更多相關(guān)文章： ATP 需求分析 一致性測試 需求驗(yàn)證 測試用例生成 場景測試

【摘要】：列車自動(dòng)防護(hù)系統(tǒng)(Automatic Train Protection, ATP)是軌道交通領(lǐng)域的列車運(yùn)行控制系統(tǒng),該系統(tǒng)對安全性和可靠性的要求非常嚴(yán)格。然而目前,在該領(lǐng)域,對這些性質(zhì)的驗(yàn)證是通過一些零散的手工測試的方法,并沒有一套完整的自動(dòng)化方法,去測試系統(tǒng)實(shí)現(xiàn)與需求的一致性,從而去保證這一系統(tǒng)的安全性和可靠性。為了彌補(bǔ)這一缺陷,本文在模型驅(qū)動(dòng)的測試方法之上,提出了一整套的針對ATP系統(tǒng)的安全性和可靠性的測試方法,該方法從需求分析,到軟件測試,提供了一套完整的一致性測試流程。本文的主要內(nèi)容及貢獻(xiàn)如下需求說明的形式化分析。本文采用模型驅(qū)動(dòng)的測試方法,定義了一種針對ATP系統(tǒng)的需求描述語言C ASDL(CAsco Specification Description Language)。通過對使用該語言書寫的ATP系統(tǒng)的需求說明文檔進(jìn)行解析和形式化分析,可以得到需求的兩個(gè)模型側(cè)面圖：變量影響關(guān)系圖和狀態(tài)遷移圖。這兩張圖可以很好的幫助測試人員去分析需求,從而去驗(yàn)證需求的邏輯正確性。測試用例的自動(dòng)生成。該方法可以根據(jù)不同的覆蓋準(zhǔn)則比如,MC/DC和Branch,從需求模型中自動(dòng)生成相應(yīng)的測試用例。除此之外,本文還提出了一種基于場景的測試方法。該方法可以產(chǎn)生測試人員真正關(guān)心的測試數(shù)據(jù),從而有針對性的進(jìn)行測試。針對這種方法,本文提出了一種場景描述語言CASSL(CASco Scenario Language),該語言可以很好的描述測試人員腦海中的測試場景,并通過對這樣的場景文件自動(dòng)進(jìn)行分析和計(jì)算,從而生成驅(qū)動(dòng)測試平臺(tái)運(yùn)行的測試腳本。測試平臺(tái)經(jīng)過執(zhí)行這樣的測試腳本,便可以得到系統(tǒng)實(shí)現(xiàn)的測試結(jié)果。一致性測試與分析。為了驗(yàn)證系統(tǒng)實(shí)現(xiàn)的測試結(jié)果與需求的一致性,需要得到需求的預(yù)期測試結(jié)果。該方法通過自動(dòng)的模擬需求的執(zhí)行,從而產(chǎn)生需求的預(yù)期測試結(jié)果。通過將系統(tǒng)實(shí)現(xiàn)的測試結(jié)果與預(yù)期測試結(jié)果進(jìn)行比對和統(tǒng)計(jì)分析,最終會(huì)生成ATP系統(tǒng)的一致性報(bào)告。這樣的一致性報(bào)告將系統(tǒng)實(shí)現(xiàn)與需求所不一致的地方呈現(xiàn)給測試人員,使得測試人員可以迅速的發(fā)現(xiàn)和定位不一致,從而及時(shí)地消除這些不一致性。目前,相應(yīng)的工具已經(jīng)被實(shí)現(xiàn)出來,并且被應(yīng)用在了軌道交通系統(tǒng)實(shí)際的測試工作當(dāng)中。這款工具有效地提升了測試效率,并獲得了測試人員的認(rèn)可和好評(píng)。
【關(guān)鍵詞】：ATP 需求分析 一致性測試 需求驗(yàn)證 測試用例生成 場景測試
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP311.53
【目錄】：

• 摘要6-7
• ABSTRACT7-13
• 第一章 引言13-18
• 1.1 研究背景13-14
• 1.2 相關(guān)工作14
• 1.3 研究內(nèi)容14-17
• 1.4 本文結(jié)構(gòu)17-18
• 第二章 需求分析與一致性測試方法概述以及需求描述語言CASDL18-33
• 2.1 需求分析與一致性測試方法概述18-20
• 2.1.1 方法概述18-19
• 2.1.2 技術(shù)難點(diǎn)19-20
• 2.2 需求描述語言CASDL20-33
• 2.2.1 語法與語義22-30
• 2.2.2 解析與執(zhí)行30-33
• 第三章 CASDL需求模型的形式化分析33-42
• 3.1 合法性檢查33-34
• 3.2 形式化分析34-42
• 3.2.1 數(shù)據(jù)流分析方法34-35
• 3.2.2 變量影響關(guān)系圖35-39
• 3.2.3 狀態(tài)遷移圖39-42
• 第四章 測試用例的自動(dòng)生成42-55
• 4.1 根據(jù)不同的覆蓋準(zhǔn)則生成測試用例44-47
• 4.1.1 MC/DC44-46
• 4.1.2 分支覆蓋46-47
• 4.2 測試場景轉(zhuǎn)化為測試數(shù)據(jù)47-55
• 4.2.1 場景描述語言CASSL48-53
• 4.2.2 測試場景轉(zhuǎn)化為測試腳本53-55
• 第五章 一致性測試與分析55-67
• 5.1 需求執(zhí)行器57-62
• 5.2 一致性比對62-64
• 5.3 一致性結(jié)果分析64-67
• 5.3.1 判定與分類64-65
• 5.3.2 統(tǒng)計(jì)65-66
• 5.3.3 可視化66-67
• 第六章 工具實(shí)現(xiàn)與實(shí)驗(yàn)結(jié)果67-87
• 6.1 代碼架構(gòu)68-74
• 6.1.1 需求模型類圖68-71
• 6.1.2 分析類圖71-74
• 6.2 具截圖74-81
• 6.2.1 工具主界面74
• 6.2.2 需求文檔讀取模塊74
• 6.2.3 變量影響關(guān)系圖生成模塊74-76
• 6.2.4 狀態(tài)遷移圖生成模塊76-77
• 6.2.5 測試用例生成模塊77-79
• 6.2.6 一致性測試分析模塊79-81
• 6.3 實(shí)驗(yàn)結(jié)果81-87
• 6.3.1 讀取需求說明文檔82-83
• 6.3.2 生成變量影響關(guān)系圖83-84
• 6.3.3 生成變量狀態(tài)遷移圖84
• 6.3.4 生成測試用例和測試腳本84-85
• 6.3.5 一致性測試85-87
• 第七章 總結(jié)與展望87-91
• 7.1 本文總結(jié)87-88
• 7.2 未來展望88-91
• 參考文獻(xiàn)91-94
• 致謝94-95
• 攻讀碩士學(xué)位期間發(fā)表論文和參與科研情況95

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 路川;手機(jī)一致性測試的原理與實(shí)現(xiàn)[J];指揮技術(shù)學(xué)院學(xué)報(bào);2000年01期

2 ;一致性測試[J];電子質(zhì)量;2008年03期

3 ;安捷倫提供LTE-CDMAinter-RAT一致性測試自動(dòng)化軟件[J];電子產(chǎn)品世界;2011年06期

4 馬素軍;;一致性測試技術(shù)及應(yīng)用探討[J];無線電通信技術(shù);1990年06期

5 錢松榮，，張世永，鐘亦平;系統(tǒng)管理的一致性測試[J];計(jì)算機(jī)學(xué)報(bào);1994年10期

6 許暢,金蓓弘;分布事務(wù)服務(wù)的一致性測試[J];計(jì)算機(jī)工程;2004年11期

7 鄶吉豐;魏蓉;蔣凡;;基于策略分段的防火墻一致性測試[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2007年03期

8 趙玉蘭,劉詠梅,何立強(qiáng),孟光萌,葉新銘;關(guān)于路由協(xié)議的一致性測試的一種形式方法[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年06期

9 姚明菊;李小文;;TD-SCDMA終端GMM實(shí)體一致性測試研究[J];通信世界;2006年36期

10 肖漫漫;蘇偉;鄢歡;;映射服務(wù)器一致性測試?yán)脑O(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2012年28期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前4條

1 胡欣杰;路川;;關(guān)于一致性測試的原理與應(yīng)用研究[A];第九屆全國信號(hào)處理學(xué)術(shù)年會(huì)（CCSP-99）論文集[C];1999年

2 李忠升;吳穎霞;欒光琦;;野外多光軸一致性測試誤差分析[A];第十三屆全國光學(xué)測試學(xué)術(shù)討論會(huì)論文（摘要集）[C];2010年

3 朱樂坤;沙奕卓;溫曉清;;土壤濕度觀測儀靜態(tài)準(zhǔn)確度和一致性測試與分析[A];第三屆全國虛擬儀器大會(huì)論文集[C];2008年

4 許少輝;魏建中;陳波;耿啟富;;USB測試技術(shù)介紹[A];第三屆中國測試學(xué)術(shù)會(huì)議論文集[C];2004年

中國重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 本報(bào)記者 諸玲珍;TD測試：提升能力 滿足需求[N];中國電子報(bào);2010年

2 劉昶;WiMAX射頻測試期待一致性解決方案[N];中國電子報(bào);2007年

3 吳綿;讓未來通信更加精彩[N];中國質(zhì)量報(bào);2008年

4 凌霄;GCF啟動(dòng)設(shè)備認(rèn)證 TD——LTE全球商用有望提速[N];人民郵電;2011年

5 工業(yè)和信息化部電信研究院通信標(biāo)準(zhǔn)研究所 果敢　莫宏波;終端一致性測試：助力TD—LTE商用化進(jìn)程[N];人民郵電;2011年

6 TD-SCDMA產(chǎn)業(yè)聯(lián)盟 紀(jì)鴻雁;TD-SCDMA獲持續(xù)演進(jìn)動(dòng)力[N];通信產(chǎn)業(yè)報(bào);2006年

7 羅德與施瓦茨中國有限公司 劉昶;一致性測試加速LTE終端商用[N];通信產(chǎn)業(yè)報(bào);2010年

8 尚民;LTE測試系統(tǒng)已就位[N];通信產(chǎn)業(yè)報(bào);2010年

9 實(shí)習(xí)記者 李博;TD終端期待標(biāo)準(zhǔn)測試環(huán)境[N];通信產(chǎn)業(yè)報(bào);2007年

10 王薇;諾西率先通過工信部 TD—LTE接口一致性測試[N];人民郵電;2010年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 范林軍;分布仿真的廣義時(shí)空一致性框架、演化機(jī)理及應(yīng)用研究[D];國防科學(xué)技術(shù)大學(xué);2014年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 鄧

本文編號(hào)：658983