發(fā)布時間：2017-08-02 17:27

  本文關(guān)鍵詞：安全苛刻系統(tǒng)測試語言中的測試設(shè)備協(xié)同語句

  更多相關(guān)文章： 可信性 自動化測試 測試設(shè)備協(xié)同 操作語義 安全苛刻系統(tǒng)

【摘要】：安全苛刻系統(tǒng)的可信性需求迫切,支持可信性評估的數(shù)據(jù)主要來自于測試.為了保證測試數(shù)據(jù)的可靠性和正確性,特別是對安全苛刻系統(tǒng)這類復(fù)雜系統(tǒng),手工測試實(shí)際不可行.研發(fā)測試語言是實(shí)現(xiàn)自動化測試的有效途徑,也是安全苛刻系統(tǒng)自動化測試發(fā)展的必然趨勢.針對安全苛刻系統(tǒng)通用測試語言應(yīng)獨(dú)立于具體設(shè)備包括被測安全苛刻系統(tǒng)、測試設(shè)備的應(yīng)用需求,對安全苛刻系統(tǒng)測試中的測試設(shè)備協(xié)同語句展開研究.針對安全苛刻系統(tǒng)測試中測試設(shè)備協(xié)同任務(wù)中的高階性、實(shí)時性等特點(diǎn),通過給出測試語言中測試設(shè)備協(xié)同相關(guān)類型、設(shè)備協(xié)同表達(dá)式,定義測試設(shè)備協(xié)同語句,并通過設(shè)備協(xié)同表達(dá)式求值定義設(shè)備協(xié)同語句的操作語義規(guī)則.最后,對語句的正確性給出相關(guān)證明,從而支持安全苛刻系統(tǒng)測試過程中測試設(shè)備協(xié)同過程的動態(tài)性和開放性,支持安全苛刻系統(tǒng)測試語言的通用性.
【作者單位】： 北京航空航天大學(xué)計(jì)算機(jī)學(xué)院;中國空間技術(shù)研究院;
【關(guān)鍵詞】： 可信性 自動化測試 測試設(shè)備協(xié)同 操作語義 安全苛刻系統(tǒng)
【基金】：國家自然科學(xué)基金(61300007) 北京航空航天大學(xué)軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室基金(SKLSDE-2015ZX-09,SKLSDE-2014ZX-06) 國家科技支撐計(jì)劃(2013BAH46F00)~~
【分類號】：TP311.53
【正文快照】： 在安全苛刻系統(tǒng)測試中,測試過程是部署的測試任務(wù)通過各種測試設(shè)備實(shí)現(xiàn)對被測產(chǎn)品的測試,測試任務(wù)通過向測試設(shè)備發(fā)送指令,測試設(shè)備執(zhí)行指令后向被測產(chǎn)品發(fā)送激勵信號,被測產(chǎn)品響應(yīng)激勵后改變自身狀態(tài)參數(shù)并進(jìn)行反饋,測試任務(wù)通過獲取指定的測試參數(shù)值,進(jìn)行評判的過程.測試過

【相似文獻(xiàn)】

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

1 ;安捷倫提供新型低價校準(zhǔn)服務(wù),使安捷倫校準(zhǔn)服務(wù)系列成為業(yè)內(nèi)最完善的校準(zhǔn)服務(wù)——安捷倫為通用應(yīng)用中的測試設(shè)備推出專門設(shè)計(jì)的最新服務(wù)[J];國外電子測量技術(shù);2004年02期

2 莫松清;光纖測試設(shè)備市場(百萬美元)[J];光通信技術(shù);1988年04期

3 雙木;;測試設(shè)備發(fā)展趨勢追蹤[J];電子測試;1999年02期

4 陳華;保持現(xiàn)場測試設(shè)備完好無損[J];有線電視技術(shù);2004年20期

5 徐俊毅;;泰克讓測試設(shè)備變得更有洞察力[J];電子與電腦;2009年11期

6 郭晶;;測試設(shè)備市場有望復(fù)蘇[J];電子設(shè)計(jì)技術(shù);2010年01期

7 郭世澤;;無線革命對測試設(shè)備設(shè)計(jì)所產(chǎn)生的影響[J];電子測試;1999年04期

8 林傳騮;測試設(shè)備悄悄的變革[J];國外電子測量技術(shù);2000年05期

9 曉林 ,海林;保持現(xiàn)場測試設(shè)備完好無損[J];有線電視技術(shù);2001年16期

10 徐軍;未來的測試設(shè)備[J];國外電子測量技術(shù);1998年03期

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

1 Mario Becker;;通過利用高科技測試設(shè)備確保食品和營養(yǎng)安全(英文)[A];第四屆中國營養(yǎng)產(chǎn)業(yè)高層論壇論文集[C];2009年

2 胡建軍;錢煜;;一種新穎的環(huán)圍能量測試設(shè)備[A];第十一屆全國光學(xué)測試學(xué)術(shù)討論會論文（摘要集）[C];2006年

3 羅開選;閆亞妮;;基于C8051F020某型儀表測試設(shè)備的設(shè)計(jì)[A];面向航空試驗(yàn)測試技術(shù)——2013年航空試驗(yàn)測試技術(shù)峰會暨學(xué)術(shù)交流會論文集[C];2013年

4 金建中;;各種力測試設(shè)備的研制[A];’02全國電工測試技術(shù)學(xué)術(shù)交流會論文集[C];2002年

5 王方;;移動探針測試設(shè)備的實(shí)際應(yīng)用[A];第二屆全國青年印制電路學(xué)術(shù)年會論文匯編[C];2002年

6 趙希堯;;微波測試設(shè)備的發(fā)展動向[A];1989年全國微波會議論文集（上）[C];1989年

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

1 萬林;測試設(shè)備多功能便捷化當(dāng)?shù)繹N];中國電子報;2012年

2 陳炳欣;4G時代測試設(shè)備存在“剛需”[N];中國電子報;2014年

3 萬林;測試設(shè)備要超前也要“貼地”[N];中國電子報;2013年

4 純君;測試設(shè)備商鳴槍起跑[N];電子資訊時報;2004年

5 本報記者 吳苡婷;為測試設(shè)備裝上“火眼金睛”[N];上海科技報;2013年

6 劉煒邋吉國凡;進(jìn)軍高端市場 國產(chǎn)IC測試設(shè)備亟待升級[N];中國電子報;2007年

7 記者 王林 北京;Sematech計(jì)劃建廠生產(chǎn)450mm測試設(shè)備[N];電子資訊時報;2007年

8 勤譽(yù);WLAN專用測試設(shè)備廠崛起[N];電子資訊時報;2004年

9 本報記者 海霞;節(jié)能不只是概念[N];中國經(jīng)濟(jì)導(dǎo)報;2004年

10 嚴(yán)曼青;GE將提供最先進(jìn)風(fēng)機(jī)測試設(shè)備[N];中國工業(yè)報;2013年

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

1 顧家茂;ACU測試設(shè)備的研究與設(shè)計(jì)[D];蘇州大學(xué);2015年

2 劉冰;無線內(nèi)裝自測試設(shè)備關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2007年

3 錢勇;測試設(shè)備開發(fā)項(xiàng)目的改進(jìn)與實(shí)踐[D];復(fù)旦大學(xué);2013年

4 叢文峰;陀螺組合測試設(shè)備設(shè)計(jì)研究[D];哈爾濱工程大學(xué);2012年

5 楊春輝;基于網(wǎng)絡(luò)的導(dǎo)彈一體化測試設(shè)備研制[D];哈爾濱工業(yè)大學(xué);2010年

6 鄭凱;電子產(chǎn)品質(zhì)量監(jiān)控測試設(shè)備設(shè)計(jì)[D];哈爾濱工業(yè)大學(xué);2011年

7 申劭萌;基于Twyman-Green原理的波像差測試方法與測試設(shè)備研究[D];中國科學(xué)院研究生院（長春光學(xué)精密機(jī)械與物理研究所）;2011年

8 楊博;一種基于ARM的手持測試設(shè)備設(shè)計(jì)與實(shí)現(xiàn)[D];中國艦船研究院;2012年

，

本文編號：610425