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

計算機聯鎖軟件測試方法研究

2012-01-13 02:34:16
電子世界 2012年17期
關鍵詞:程序系統

1.引言

鐵路是大容量和大眾化的交通運輸工具安全運輸是鐵路追求的目標通常所說的“安全第一”表明安全在鐵路中的地位。“故障一安全(Fail一Safe)”理念的技術化也源于鐵路。在這些系統中不光要能保證系統在正常情況下的安全運行,同時還必須考慮系統在出現某些不正常的情況下,如何避免出現危及人身安全或大宗財物損失的事故或減少事故的損失。

目前,在鐵路運輸系統中,計算機聯鎖系統已經得到了廣泛的應用,與以前的繼電聯鎖相比,計算機聯鎖系統是用軟件實現原來由繼電邏輯完成的信號設備之間的聯鎖關系。然而對軟件可靠性的研究和應用,并不像硬件那樣成熟,在計算機聯鎖系統中,聯鎖軟件是執行聯鎖運算的核心機構,它的失效有可能導致列車的相撞或顛覆等重大事故,因此,如何保障聯鎖軟件的可靠性也成了開發計算機聯鎖軟件系統的一項重要課題。

2.計算機聯鎖系統結構

(1)人機對話層。該層將來自鍵盤、鼠標等的操作輸入,送達聯鎖微機。運用一機多屏技術在多臺圖形顯示器上顯示整個站場的表示信息,同時也可以將站場的動態信息和微機聯鎖系統的文字信息通過在控制室增設的動態模擬屏和LED顯示屏上顯示出來,以方便信號員觀察。此層預留多種接口,方便系統功能擴容。

(2)聯鎖運算層。聯鎖微機是系統的核心部分,通過其上運行的聯鎖軟件實現操作輸入的判別、聯鎖信號分析、邏輯運算、控制命令生成及故障診斷等主要任務。本系統中設置了2臺聯鎖微機,其中一臺為熱備機,通過共享器切換。聯鎖運算控制模塊的主要功能有:排列進路、列車進路正常解鎖、調車進路正常解鎖、調車進路中途折返解鎖、取消進路、人工解鎖、人工關閉信號、重復開放信號、辦理引導鎖閉、引導解鎖、取消誤操作信息、單獨操縱道岔、進路故障解鎖、區段故障解鎖、道岔單獨鎖閉和道岔單獨解鎖(如圖1)。

圖1 聯鎖軟件層次結構圖

(3)執行層。主要完成控制命令的輸出和表示信息的輸入。

3.聯鎖軟件自動化測試方法

3.1 黑盒測試技術

圖2 黑盒測試

黑盒測試、白盒測試和灰盒測試是很廣泛使用的三類測試方法。黑盒測試又稱功能測試,數據驅動測試或基于規格說明的測試。用這種方法進行測試時,被測程序被當作打不開的黑盒,因而無法了解其內部構造。在完全不考慮程序內部結構和內部特性的情況下,測試者只知道該程序輸入和輸出之間的關系或是程序的功能如圖2所示。它必須依靠能夠反映這一關系和程序功能的需求規格說明書考慮確定測試用例,并且推斷測試結果的正確性,即所依據的只能是程序的外部特性。黑盒測試(如圖2)方法能夠站在用戶立場上進行測試,容易發現以下類型的錯誤:功能不對或遺漏、界面錯誤、數據結構或外部數據庫訪問錯誤、性能錯誤、初始化和終止錯誤等。

但黑盒測試方法有如下主要缺點:

①依賴軟件需求規格說明書的正確性。但我們并不能保證軟件需求規格說明書是完全正確的。比如,在軟件需求規格說明書中規定了多余的功能,或是漏掉了某些功能,這對于黑盒測試來說是完全無能為力的。

②無法測試程序內部特定部位。

3.2 白盒測試技術

白盒測試又稱結構測試、邏輯驅動測試或基于程序的測試。采用這一測試方法,測試者可以看到被測試的源程序,可分析程序的內部構造并且根據內部構造設計測試用例。白盒測試全面了解程序內部邏輯結構、對所有邏輯路徑進行測試,它是窮舉路徑測試。在使用這一方案時,測試者必須檢查程序的內部結構,從檢查程序的邏輯著手,得出測試數據。

它的主要優點是:

①能夠對程序內部特定部位進行覆蓋測試;

②能發現以下類型的錯誤:程序內部控制結構不正確、程序內部數據結構不正確。

白盒測試的主要缺點是:

①只著眼于程序內部結構,對于在軟件需求規格說明書中已有明確規定,但在軟件實現時被遺漏的功能,無法檢查出來;

②無法檢驗程序的外部特性。

3.3 灰盒測試技術

圖3 灰盒測試流程圖

灰盒測試也稱作灰盒分析,是基于對程序內部細節有限認知上的軟件調試方法。測試者可能知道系統組件之間是如何互相作用的,但缺乏對內部程序功能和運作的詳細了解。對于內部過程,灰盒測試把程序看作一個必須從外面進行分析的黑盒。由以上定義可以看出:黑盒測試是以用戶的觀點,從輸入數據與輸出數據的對應關系出發進行測試的,也就是根據程序的外部特性進行的測試,完全不涉及程序的內部結構很明顯,如果外部特性本身有問題或規格說明的規定有誤,用黑盒測試方法發現不了。另一方面白盒測試完全與之相反,它只根據程序的內部結構進行測試,而不考慮外部特性。如果程序結構本身有問題,如程序邏輯有錯誤,或是有遺漏,那是無法發現的。鑒于此,本測試系統選擇將2種方法結合起來進行測試,即灰盒測試。

4.灰盒測試流程

基于灰盒測試的流程圖如圖3所示。該流程圖可分為如下幾個環節

(1)根據站場基礎數據和測試案例生成錄入模塊生成的站場靜態數據,自動測試程序加載這些數據作為人工操作模擬的依據。

(2)根據站場靜態數據,模擬人工操作。該部分進行的測試內容包括:

①道岔聯鎖測試,在此需要按照道岔在道岔設備表中的順序依次自動生成并加載道岔的測試案例進行自動測試。道岔的測試項目內容包括:道岔單鎖、道岔單解、道岔區段鎖和道岔引導總鎖。根據道岔的測試項目內容分別進行判定評估,每一個測試項目都有一個判定評估結果記錄,存儲在文本文件中。

②基本進路測試,在此需要按照進路在聯鎖表中的順序依次對每一條進路進行相關測試項目的測試,自動生成并加載進路的測試案例進行自動測試。根據基本進路的測試項目內容分別進行判定評估,每一個測試項目都有一個判定評估結果記錄,存儲在文本文件中。

③長調進路測試,在此需要按照長調進路在聯鎖表中的順序依次對每一條長調進路進行相關測試項目的測試,自動生成并加載長調進路的測試案例進行自動測試。根據長調進路的測試項目內容分別進行判定評估,每一個測試項目都需有一個判定評估記錄,存儲在文本文件中。其測試項目的內容與基本進路的內容一樣。

(3)當對上、下位機實現聯合測試時,由于該聯鎖系統是利用串(Com)口進行通信的,先通過編寫串口讀函數從PLC的輸出端口獲取對應設備狀態的回測狀態,根據通信接口協議進行分析,可完成系統輸出(PLC輸出)模擬模塊的操作,然后再通過編寫串口寫函數將模擬系統外部各設備的狀態回測寫到PLC位存儲區M區對應的數據區,可完成外部設備狀態回測模擬模塊的操作。

5.結束語

軟件測試的目的在于盡可能多的找出錯誤.但這就涉及到如何合理的設計測試用例,本系統在白盒測試中采用路徑覆蓋法,在黑盒測試中采用了等軟件測試的目的在于盡可能多的找出錯誤。但這就涉及到如何合理的設計測試用例,本系統在白盒測試中采用路徑覆蓋法,在黑盒測試中采用了等價類劃分法.。采用了基于灰盒測試方法來完成對計算機聯鎖系統各部分軟件的功能與性能測試。

猜你喜歡
程序系統
Smartflower POP 一體式光伏系統
工業設計(2022年8期)2022-09-09 07:43:20
WJ-700無人機系統
ZC系列無人機遙感系統
北京測繪(2020年12期)2020-12-29 01:33:58
基于PowerPC+FPGA顯示系統
試論我國未決羈押程序的立法完善
人大建設(2019年12期)2019-05-21 02:55:44
半沸制皂系統(下)
失能的信仰——走向衰亡的民事訴訟程序
“程序猿”的生活什么樣
連通與提升系統的最后一塊拼圖 Audiolab 傲立 M-DAC mini
英國與歐盟正式啟動“離婚”程序程序
環球時報(2017-03-30)2017-03-30 06:44:45
主站蜘蛛池模板: 成人精品亚洲| 国产视频入口| 粉嫩国产白浆在线观看| 国产簧片免费在线播放| 日韩国产黄色网站| 亚洲国产成人精品青青草原| 国产流白浆视频| 亚洲av无码专区久久蜜芽| 日本伊人色综合网| 国产精品太粉嫩高中在线观看 | 国产精品吹潮在线观看中文| 国产玖玖视频| 久久久久国产精品免费免费不卡| 欧美精品色视频| 国产极品美女在线观看| 日韩精品亚洲人旧成在线| 免费毛片在线| 国产对白刺激真实精品91| 国产激爽大片高清在线观看| 毛片久久网站小视频| 伊人久久青草青青综合| 国产aⅴ无码专区亚洲av综合网| 欧美成一级| a天堂视频| 日本亚洲国产一区二区三区| 日本影院一区| 国产资源免费观看| 国产欧美视频综合二区| 亚洲欧洲日韩久久狠狠爱| 亚洲伦理一区二区| 亚洲三级a| 国产国模一区二区三区四区| 精品国产网| 国产成人精品一区二区| 首页亚洲国产丝袜长腿综合| 免费AV在线播放观看18禁强制| 91精品啪在线观看国产60岁 | 国内精品视频| 亚洲日韩在线满18点击进入| 亚洲区视频在线观看| 欧美成人a∨视频免费观看 | 免费在线成人网| 久久综合干| 欧美国产综合色视频| 久久不卡国产精品无码| 高h视频在线| 综合亚洲色图| 久操线在视频在线观看| 国产日韩精品一区在线不卡| 成人综合网址| 国产www网站| 孕妇高潮太爽了在线观看免费| 午夜综合网| 色偷偷av男人的天堂不卡| 日韩毛片在线播放| 国产精品精品视频| 成人另类稀缺在线观看| 日韩亚洲综合在线| 国产女人水多毛片18| 国产美女叼嘿视频免费看| 美女黄网十八禁免费看| 中文成人无码国产亚洲| 日本午夜影院| 亚洲人成网7777777国产| 国产精品久久久久久久久| 免费无码又爽又黄又刺激网站| 91无码人妻精品一区| 欧洲精品视频在线观看| 亚洲天堂日韩在线| 亚洲一区波多野结衣二区三区| 91福利在线看| 蜜桃视频一区二区三区| 亚洲综合亚洲国产尤物| 国产欧美亚洲精品第3页在线| 亚洲国产成人麻豆精品| 青青草原国产一区二区| 国产精品永久在线| 国产青青操| 伊人大杳蕉中文无码| 亚洲第一中文字幕| 亚洲香蕉伊综合在人在线| 亚洲综合二区|