999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

高速磁浮中央控制子系統測試用例生成方法

2021-04-25 13:34:10
山西建筑 2021年9期
關鍵詞:功能系統

趙 文 文

(中鐵第一勘察設計院集團有限公司,陜西 西安 710043)

1 概述

高速磁懸浮中央控制子系統具有操作與顯示、列車自動運行、診斷等功能,是列車安全運行的重要保證。系統測試可提早發現系統設計的缺陷并進行有效修復,提高系統現場聯調的效率。因而,測試質量直接決定了中央控制子系統的研發成果和效率,在投入使用前必須進行系統的測試驗證。

而作為測試工作的核心,測試用例的好壞直接影響到測試的效率,Tsai[1]提出了一種適用于數據處理系統的測試用例生成方法,其主要是通過從規格說明中生成測試數據。Hall[2]也對測試用例生成方法進行研究,提出基于Z規格說明進行測試用例的生成。隨著面向對象技術的不斷發展,基于UML模型生成測試用例的方法受到了人們越來越多的關注,主要討論如何選取UML的動態模型如狀態圖、順序圖、活動圖、協作圖來生成符合覆蓋準則要求的測試用例。A.J.Offutt等[3]提出了一種基于UML狀態圖的測試用例生成方法及四種測試覆蓋準則,并開發首個可基于UML自動生成測試用例的工具。季麗麗[4]針對A.J.Offutt提出的UML狀態圖上僅限于布爾類型的轉移條件的局限,進行了表達式方面的擴展。Falk F[5]討論了一種基于UML順序圖進行測試的方法,并介紹了SeDiTeC工具。王林章等[6]基于UML協作圖提出了集成測試用例的生成方法,并依據所設計的模型來生成測試用例。Chris Rudram[7]對UML活動圖的語義及語法進行了擴展,并提出了形式化的活動圖。張楣等[8]設計出一種三級轉換過程,即由UML活動圖模型轉換到測試大綱模型,進而再到測試用例模型。但目前大多研究都是根據單一的某種模型圖,較少分析多種模型圖的組合建模。

高速磁浮運行控制系統是其運行安全的關鍵保障,而對系統進行測試則是系統安全的必要保證。本文基于對被測中央控制子系統功能特征的提取,提出基于UML模型的測試用例生成方法,并將生成的測試用例實例在實驗室測試平臺中全部執行,來實現對中央控制子系統的測試驗證。

2 功能特征的提取

驗證系統是否滿足功能需求的所有要求,解決辦法就是對該系統進行功能測試。但是若考慮將系統中的每一個需求都使用測試用例來表達,則會得到數量龐大且有所重復的測試用例,不僅成本巨大,且會降低測試效率。為此,從系統功能需求中提煉精簡后的功能特征是十分必要的。

功能特征即是根據系統功能需求提取的功能實體,是由一組需求歸結而來,針對一個功能特征又可設計多個測試用例。為了確保功能特征的全面性和合法性,功能特征集必須反映所有的功能需求,每一個獨立的功能特征都來自于系統需求。系統需求、功能特征及測試用例三者之間的關系如圖1所示。

2.1 功能特征的提取方法

首先,分析系統需求中所有要求的功能和屬性,按照特征將其分組,形成一個或多個需求相對應的組合,即需求功能組;其次,對這些需求進行分析、概括、提取,便可得到相應的功能特征。中央控制子系統的功能測試驗證實質上是為了驗證系統是否滿足系統需求規范中的所有功能要求。中央控制子系統的功能特征提取過程如下:

中央控制子系統需求規范→需求功能組→劃分功能實體→細化功能特征→功能特征列表。

2.2 提取結果

基于提出的系統功能特征提取流程,針對中央控制子系統的功能需求,分別對其操作員終端系統、列車自動運行系統和中央診斷系統進行了功能特征的提取,結果如表1所示。

3 基于UML的測試用例生成

3.1 中央控制子系統運行場景分析

場景技術在測試設計階段可以作為系統建模的依據,其可以描述客戶需求和系統功能,有利于測試用例的設計。中央運控系統的每個子系統都具有各自的功能需求,根據系統功能特征,中央運控系統的運行過程可劃分為若干個相對獨立的場景,每個場景都包含著眾多的操作與信息交互。主要場景包括:系統權限管理,操作員終端系統生成命令操作,操作員終端系統CR命令操作,操作員終端系統視圖顯示,系統協同交互,列車時刻表操作,運行計劃處理,ATO狀態改變,DCS命令運行監控,列車管理,診斷信息操作,列車運行流程等。

表1 功能特征提取結果

3.2 中央控制子系統運行場景建模

對中央控制子系統的運行場景進行建模,不僅可以詳細地描述系統運行過程中的內部狀態變化,而且可以反映系統與外界的信息交互情況,該建模過程是指導測試用例生成的重要依據。本文以中央控制子系統各功能場景為單位進行建模分析,采用UML分別建立用例圖、順序圖、狀態圖和活動圖,全方面表述中央控制子系統的動作時序邏輯。由于篇幅限制,下面就以單分區列車運行流程這一典型場景為例,給出詳細的建模過程,其他場景建模過程與之類似。

1)列車運行流程用例圖(見圖2)。

由圖2可知,單分區列車運行流程用例圖中包含3個參與者,分別為操作員,DCS和VCS。三者之間通過用例來交互信息,完成系統此場景的功能需求。

2)列車運行流程狀態圖見圖3。

列車運行流程狀態圖描述了OTS從初始狀態至車輛完成運行停止這段時間中系統狀態間的轉換情況,如圖3所示。圖3中從OTS初始狀態開始,經歷登錄車輛,預定進路,設置車輛運行,設置停車指令等一系列過程,一步步描述了單分區列車運行流程中OTS的狀態及引起狀態轉移的觸發事件。

3)列車運行流程活動圖見圖4。

列車運行流程活動圖描述了系統從一個活動至另一個活動的流程,主要是強調對象之間的控制關系,如圖4所示。圖4中描述了列車運行流程中從一個活動到另一個活動的控制流,利用活動圖模型可以明確OTS,DCS和VCS之間工作的信息流交互,著重表現的是系統行為。

4)列車運行流程順序圖見圖5。

順序圖用來描述一個用例的行為,其呈現的是一組對象和通過這組對象接收到的消息,強調對象之間消息發送的順序,順序圖僅僅表示了用例的一個具體場景,圖5給出了列車運行流程各命令執行都正常情況下的順序圖。圖5詳細展現了整個列車運行流程中,OTS,DCS和VCS是依照時間順序并且通過彼此交互來完成信息傳遞的過程。

3.3 測試用例生成實例

根據建模圖生成測試用例的過程如圖6所示。具體用例生成步驟如下:

1)根據運行子場景選取相應的場景建模圖;

2)依據用例圖,確定該場景相關的外部具體設備;

3)依據狀態圖,計算該場景中最大程度覆蓋所有狀態所必需的測試用例數量;

4)依據活動圖,明確每一個測試用例的測試步驟;

5)依據順序圖,確定每一步測試步驟所涉及的各設備間的信息交互情況;

6)根據設計的測試用例標準格式編寫成具體的測試用例文檔。

中央控制子系統的整個測試用例集的數量非常多,下面就同樣以“單分區列車運行流程”場景為例,詳細解釋使用建模圖來生成測試用例的過程。首先由列車運行流程的用例圖可知,該場景在整個過程中所涉及到的外部參與者主要有操作員、DCS和VCS,即主要由他們來完成測試用例所需要的操作以及觀測測試結果的。然后根據列車運行流程狀態圖,可以詳細地看到OTS在此場景中的狀態變化,由圖3可知,要最大程度的覆蓋其所有狀態,需要5個測試用例。最后根據活動圖和順序圖可以分別得到測試用例的具體操作步驟以及對應的交互信息。以列車運行流程各命令執行都正常的情況為例,其用例設計結果如表2所示。

表2 列車運行流程測試用例

基于提出的方法,本文最終對操作員終端系統設計測試用例85個,對列車自動運行系統設計測試用例68個,對中央診斷系統設計測試用例31個,且設計的測試用例全部通過測試平臺得到執行,基本完全覆蓋了中央控制子系統運行過程中的主要場景,對在測試中發現的錯誤或缺陷通過查找原因、修改代碼等途徑都得到解決,最終達到測試用例通過率100%。

4 結語

本文提出了基于UML的測試用例生成方法,并在測試平臺中執行生成的測試用例來實現對中央控制子系統的測試驗證,測試結果表明,本文設計生成的測試用例,可充分地模擬運行現場可能出現的各種情況,達到提早發現系統設計錯誤或缺陷并進行有效修復的作用,這樣在現場聯調時就可以顯著提高現場測試效率,有效減少測試時間和測試質量成本,并可為今后高速磁浮中央控制子系統的測試提供一定的理論依據和方法借鑒。

猜你喜歡
功能系統
也談詩的“功能”
中華詩詞(2022年6期)2022-12-31 06:41:24
Smartflower POP 一體式光伏系統
工業設計(2022年8期)2022-09-09 07:43:20
WJ-700無人機系統
ZC系列無人機遙感系統
北京測繪(2020年12期)2020-12-29 01:33:58
基于PowerPC+FPGA顯示系統
半沸制皂系統(下)
連通與提升系統的最后一塊拼圖 Audiolab 傲立 M-DAC mini
關于非首都功能疏解的幾點思考
懷孕了,凝血功能怎么變?
媽媽寶寶(2017年2期)2017-02-21 01:21:24
“簡直”和“幾乎”的表達功能
主站蜘蛛池模板: 国产成人综合亚洲欧洲色就色| 精品福利网| 国产精品lululu在线观看| 国产一级片网址| 亚洲第一国产综合| 欧美日韩精品一区二区视频| 波多野结衣视频网站| 国产男女免费完整版视频| 色综合久久久久8天国| 久久久亚洲色| 99性视频| 美女无遮挡免费视频网站| 久久99国产乱子伦精品免| 亚洲美女一区二区三区| 欧美α片免费观看| 人妻中文久热无码丝袜| 呦视频在线一区二区三区| 亚洲人成网线在线播放va| 欧美日韩中文国产va另类| 国产福利在线观看精品| 欧美精品aⅴ在线视频| 日本三区视频| 国产精品深爱在线| 亚洲一区二区黄色| 日韩av无码精品专区| 精品免费在线视频| 国产福利拍拍拍| 一区二区三区高清视频国产女人| 乱码国产乱码精品精在线播放| 欧美在线三级| 永久天堂网Av| 亚洲天堂.com| 91久久大香线蕉| 亚洲永久色| 久久久精品无码一区二区三区| 亚洲日韩精品无码专区97| 91久久偷偷做嫩草影院电| 久无码久无码av无码| 人人看人人鲁狠狠高清| 欧美午夜小视频| 亚洲国产成人自拍| 亚洲日韩高清无码| 第一页亚洲| 国产大片喷水在线在线视频| 国产一级α片| 在线观看国产精美视频| 亚洲色欲色欲www网| 亚洲熟女偷拍| 国产男女XX00免费观看| 亚洲动漫h| 日韩欧美网址| 九九免费观看全部免费视频| 先锋资源久久| 久久男人资源站| 亚洲成年人片| 日韩黄色精品| 国产打屁股免费区网站| 欧美一级在线看| 无码一区18禁| 国产区成人精品视频| 日韩东京热无码人妻| 青青网在线国产| 国产国产人免费视频成18| 91青青视频| 日韩视频免费| 国产乱人视频免费观看| 午夜毛片福利| 国产精品永久在线| 在线国产三级| 996免费视频国产在线播放| 成人国产一区二区三区| 久久久久国产精品嫩草影院| 97国产在线视频| 日韩免费毛片视频| 国产精品福利尤物youwu | 99热这里只有精品国产99| 国产99视频精品免费视频7| 欧美精品一二三区| 一级片一区| 久久亚洲中文字幕精品一区| 国产精品内射视频| 欧美全免费aaaaaa特黄在线|