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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 本報(bào)記者 吳苡婷;為測(cè)試設(shè)備裝上“火眼金睛”[N];上�？萍紙�(bào);2013年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：610425