• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看

      ?

      基于鄰接矩陣的軟件測試環(huán)境規(guī)劃設(shè)計(jì)方法

      2016-03-02 03:42:48張曉娜金朋飛嚴(yán)長偉
      指揮控制與仿真 2016年1期
      關(guān)鍵詞:測試環(huán)境鄰接矩陣有向圖

      張曉娜,金朋飛,嚴(yán)長偉

      (中國洛陽電子裝備試驗(yàn)中心,河南洛陽 471003)

      ?

      基于鄰接矩陣的軟件測試環(huán)境規(guī)劃設(shè)計(jì)方法

      張曉娜,金朋飛,嚴(yán)長偉

      (中國洛陽電子裝備試驗(yàn)中心,河南洛陽471003)

      摘要:在分析軟件測試環(huán)境的基礎(chǔ)上,研究了軟件試驗(yàn)中測試用例設(shè)計(jì)面臨的突出問題,從軟件測試環(huán)境的規(guī)劃出發(fā),基于有向圖的鄰接矩陣,設(shè)計(jì)滿足一定覆蓋度標(biāo)準(zhǔn)的軟件測試環(huán)境規(guī)劃方法,可為軟件試驗(yàn)提供技術(shù)參考和研究方向。

      關(guān)鍵詞:軟件試驗(yàn);測試設(shè)計(jì);測試環(huán)境;有向圖;鄰接矩陣

      修回日期: 2015-10-30

      金朋飛(1979-),男,碩士研究生,工程師。

      嚴(yán)長偉(1986-),男,碩士研究生,研究實(shí)習(xí)員。

      隨著計(jì)算機(jī)技術(shù)的飛速發(fā)展和現(xiàn)代武器裝備信息化要求的不斷提高,電子信息裝備建設(shè)發(fā)展步伐加快,其自動化、智能化水平有了極大的提高,整體呈現(xiàn)軟件化趨勢。軟件在電子信息裝備中所占的比重與日俱增,其作用也日益顯著,其質(zhì)量成為了電子信息裝備研制成敗的決定性因素[1]。為了保證電子信息裝備軟件的質(zhì)量,軟件試驗(yàn)成為一種非常有效的手段,其不僅僅考核指標(biāo)要求,還充分考慮滿足運(yùn)行環(huán)境的隱含需求,因?yàn)檐浖氖Р粌H僅是由于軟件中存在缺陷,失效也可能是由于環(huán)境條件引起的或者由于硬件環(huán)境的改變而影響軟件的執(zhí)行。因此,在軟件測試開發(fā)過程的測試設(shè)計(jì)階段,如何合理有效地規(guī)劃測試環(huán)境的搭建就成為軟件試驗(yàn)的重要研究內(nèi)容之一。

      1測試環(huán)境概述

      測試環(huán)境(Test Environment),ISTQB中定義為“執(zhí)行測試需要的環(huán)境,包括硬件、儀器、模擬器、軟件工具和其他支持要素[2]”,按階段劃分為單元測試環(huán)境、部件測試環(huán)境、配置項(xiàng)測試環(huán)境、系統(tǒng)測試環(huán)境等[3],按用途分為硬件環(huán)境、軟件環(huán)境和網(wǎng)絡(luò)環(huán)境[4],按場地分為真實(shí)環(huán)境(現(xiàn)場測試)和仿真環(huán)境(實(shí)驗(yàn)室測試)[3]等。

      目前,國內(nèi)許多研究機(jī)構(gòu)都進(jìn)行了仿真試驗(yàn)環(huán)境構(gòu)建技術(shù)的研究。其中,文獻(xiàn)[5]提出了基于操作系統(tǒng)虛擬化和軟路由技術(shù)的大規(guī)模IP網(wǎng)絡(luò)仿真試驗(yàn)環(huán)境構(gòu)建方法。文獻(xiàn)[6]研究了試驗(yàn)環(huán)境概念模型的構(gòu)建方法,提出了概念模型驗(yàn)證的原則,并從語義語法和語用三個方面建立了概念模型的驗(yàn)證指標(biāo)體系,形成了一套完整的試驗(yàn)環(huán)境需求分析與驗(yàn)證的體系結(jié)構(gòu)。文獻(xiàn)[7]在探討傳統(tǒng)軟件測試方法遇到的困境及其局限性基礎(chǔ)上,有針對性地研究軟件測試環(huán)境仿真技術(shù),運(yùn)用此技術(shù)能有效提高軟件測試覆蓋度。文獻(xiàn)[8]針對C4ISR仿真試驗(yàn)系統(tǒng)在試驗(yàn)準(zhǔn)備階段的環(huán)境構(gòu)建和配置問題,研究并提出一種基于XML的仿真配置方法。這些文獻(xiàn)采用不同技術(shù)實(shí)現(xiàn)針對不同需求的試驗(yàn)環(huán)境構(gòu)建方法,但是,總體缺乏對實(shí)際運(yùn)行環(huán)境構(gòu)建的研究,基于此,本文以軟件系統(tǒng)運(yùn)行過程的交互情況為規(guī)劃目的,以覆蓋所有通信鏈路為評價標(biāo)準(zhǔn),設(shè)計(jì)測試環(huán)境規(guī)劃方法。

      2面臨的主要問題

      電子信息裝備軟件在經(jīng)過軟件研制方內(nèi)部的集成測試和系統(tǒng)集成測試后(即一方測試),然后提交獨(dú)立的電子信息裝備獨(dú)立測評機(jī)構(gòu)進(jìn)行第三方測評,之后進(jìn)入電子靶場依照指標(biāo)要求進(jìn)行裝備設(shè)計(jì)定型試驗(yàn)。但是,在電子信息裝備設(shè)計(jì)定型試驗(yàn)信息中卻包含了很多實(shí)驗(yàn)室仿真條件下不能暴露的軟件缺陷信息[9-11]。在某系統(tǒng)設(shè)計(jì)定型試驗(yàn)過程中,發(fā)現(xiàn)由于環(huán)境而引起的軟件失效,分析其根本原因在于通信鏈路的傳輸速率、帶寬、誤碼率等因素。因此,為了切實(shí)提高電子信息裝備軟件的質(zhì)量,應(yīng)進(jìn)行軟件試驗(yàn)單獨(dú)定型。

      軟件試驗(yàn)是在實(shí)際應(yīng)用環(huán)境中所開展的軟件測試,其不同于第三方測評和裝備設(shè)計(jì)定型試驗(yàn)。因?yàn)榈谌綔y評很多是在仿真環(huán)境下進(jìn)行的測試,一般不考慮通信鏈路的影響;而裝備設(shè)計(jì)定型試驗(yàn)更多的是考慮系統(tǒng)指標(biāo)/戰(zhàn)技指標(biāo),對軟件的考核與其比重不相適應(yīng)。在軟件試驗(yàn)中,測試開發(fā)面臨的主要問題是確定測試用例的相關(guān)元素。

      測試依據(jù):涉及的參考來源,如系統(tǒng)/軟件需求規(guī)格說明、設(shè)計(jì)文檔等;

      優(yōu)先級:比如高、中、低;

      測試配置:哪個測試對象?在什么硬件/軟件平臺上?

      測試目標(biāo):測試對象的質(zhì)量屬性:功能性、可靠性、易用性、效率、可維護(hù)性、可移植性等。

      前置條件:在執(zhí)行測試前測試對象必須所處的狀態(tài);

      測試步驟:為輸入測試數(shù)據(jù)需要采取哪些行為?

      測試數(shù)據(jù):測試輸入數(shù)據(jù)表;

      期望結(jié)果:期望的結(jié)果;

      驗(yàn)證原則:查詢實(shí)際結(jié)果與期望結(jié)果是否一致;

      后置條件:在測試結(jié)束后的測試對象的狀態(tài)(理想情況下后置條件應(yīng)該與前置條件一致)。

      其中,軟件試驗(yàn)在第三方測評的基礎(chǔ)上著重考慮測試環(huán)境的影響,對應(yīng)測試用例的“測試配置”元素,不僅考慮測試節(jié)點(diǎn)上測試對象、軟硬件平臺,還考慮通信鏈路的影響。

      3基于鄰接矩陣[12]的測試環(huán)境規(guī)劃設(shè)計(jì)方法

      在某系統(tǒng)軟件試驗(yàn)過程中,除了考慮硬件環(huán)境和軟件環(huán)境之外,尤其注重考慮網(wǎng)絡(luò)環(huán)境,即在實(shí)際通信鏈路環(huán)境下測試其軟件質(zhì)量特性,同時考慮到其信息的流動大致分為指控流和情報(bào)流,以應(yīng)用為導(dǎo)向規(guī)劃通信鏈路。在測試設(shè)計(jì)過程中采用以下步驟:

      1) 根據(jù)測試需求中每一質(zhì)量特性所涉及的數(shù)據(jù)信息類別進(jìn)行細(xì)化分解,例如“適合性”指標(biāo)之一“空情信息融(綜)合能力”中涉及原始空情、綜合空情等數(shù)據(jù)信息;

      2) 根據(jù)相關(guān)測試依據(jù),獲取系統(tǒng)空情信息流程圖,如圖1;

      圖1 空情信息流程圖

      圖2 空情信息有向圖

      4) 以信息的觸發(fā)點(diǎn)作為信息流始點(diǎn),以信息的結(jié)束點(diǎn)作為信息流終點(diǎn),形成不同的信息流,采用邊覆蓋標(biāo)準(zhǔn)設(shè)計(jì)不同的邏輯測試用例。例如,根據(jù)圖1,設(shè)計(jì)空情信息融(綜)合能力(X)邏輯測試用例組(X)LUseCase={acb,ae,adjif,agh}={Link13Link32Link23,Link13Link34,Link13Link36Link67Link76Link63,Link13Link35Link53};

      5) 根據(jù)不同類別信息在通信設(shè)備上的傳輸情況,考慮通信節(jié)點(diǎn)以及通信鏈路,然后選擇不同的通信設(shè)備(不同的通信設(shè)備構(gòu)成不同的有線/無線通信網(wǎng)絡(luò)),這亦是測試設(shè)計(jì)的重點(diǎn),根據(jù)某節(jié)點(diǎn)輸出的信息類別查找相應(yīng)的通信設(shè)備,如果存在多個,則按順序選擇,同時相應(yīng)鏈路節(jié)點(diǎn)輸入的信息類別和通信設(shè)備與之一致,選擇兩節(jié)點(diǎn)的交集,得出有向圖的鄰接矩陣如表1,例如,對于路徑:

      6) 因此,邏輯測試用例組

      (X)LUseCase={Link13Link32Link23,Link13Link34,Link13Link36Link67Link76Link63,Link13Link35Link53}

      7) 為了提高測試效率,確定一組測試用例的先后執(zhí)行順序(形成一個測試套件),在同一測試環(huán)境下執(zhí)行,見表1中序號所示。序號具體查找方法如下:

      a)依次查找到的首個節(jié)點(diǎn)下某行i=0(或i=i+1)通信設(shè)備的“1”值為起始點(diǎn)j=① (或j=j+1),以此列所在的節(jié)點(diǎn)為后續(xù)節(jié)點(diǎn);

      b)依次查找后續(xù)節(jié)點(diǎn)的某行通信設(shè)備的“1”值為j=j+1,以此列所在的節(jié)點(diǎn)為后續(xù)節(jié)點(diǎn);

      c)重復(fù)執(zhí)行b),直至查找到某節(jié)點(diǎn)某行通信設(shè)備無“1”值;

      d)重復(fù)執(zhí)行a)。

      表1 空情信息有向圖對應(yīng)的鄰接矩陣

      得到測試套件如下:

      據(jù)此規(guī)劃其通信鏈路如圖3所示。

      圖3 通信鏈路規(guī)劃圖

      上述方法可滿足某類信息流覆蓋各個通信鏈路這一準(zhǔn)則下的全面覆蓋。

      4結(jié)束語

      電子信息裝備軟件比重的日益增加,對軟件質(zhì)量提出了更高的標(biāo)準(zhǔn)。而環(huán)境作為影響軟件失效的重要因素之一,同時作為軟件試驗(yàn)的基礎(chǔ),其規(guī)劃的系統(tǒng)性和充分性直接影響軟件質(zhì)量的度量。

      本文通過附加節(jié)點(diǎn)的信息類別和通信設(shè)備,并考慮節(jié)點(diǎn)的輸入和輸出對有向圖進(jìn)行改進(jìn),得出鄰接矩陣,并找出可達(dá)路徑,實(shí)現(xiàn)所有的通信鏈路覆蓋。在未來電子信息裝備軟件設(shè)計(jì)定型試驗(yàn)過程中,應(yīng)增加軟件試驗(yàn)的比重,深入了解測試對象,充分識別測試需求,研究測試方法,并充分發(fā)揮資源優(yōu)勢,構(gòu)建不同規(guī)模的測試環(huán)境,提高測試的充分性和有效性,從而有效提升軟件試驗(yàn)水平,最終為進(jìn)一步提高軟件質(zhì)量和裝備的使用效能打下堅(jiān)實(shí)的基礎(chǔ)。

      參考文獻(xiàn):

      [1]徐國平,姚皋音.淺析艦載電子裝備軟件保障的現(xiàn)狀與對策[J].中國修船,2011,24(2):46-48.

      [2]國際軟件測試認(rèn)證委員會.軟件測試專業(yè)術(shù)語中英文對照表[S].2.4版(2014年7月4日),中文修訂版(2015年5月28日).

      [3]中國人民解放軍總裝備部司令部.總裝備部軟件工程規(guī)范[S].2008.

      [4]趙斌.軟件測試技術(shù)經(jīng)典教程[M].北京:科學(xué)出版社,2007:10-11.

      [5]李大偉.大規(guī)模IP網(wǎng)絡(luò)仿真試驗(yàn)環(huán)境構(gòu)建方法[J].指揮信息系統(tǒng)與技術(shù),2013,4(6):70-74.

      [6]葉禮邦,李超,付海波,等.試驗(yàn)環(huán)境需求分析與驗(yàn)證方法[J].指揮控制與仿真,2014,36(1):111-116.

      [7]林潔,吳慈伶,孫俊若,等.雷達(dá)軟件測試環(huán)境仿真平臺技術(shù)研究與實(shí)踐[J].現(xiàn)代雷達(dá),2010,32(6):92-95.

      [8]楚威,孫豐鑫,劉力力.C4ISR系統(tǒng)仿真試驗(yàn)環(huán)境構(gòu)建與配置方法[J].計(jì)算機(jī)與現(xiàn)代化,2013,220(12):79-80.

      [9]顧濱兵,王艷軍,王勇利.裝備試驗(yàn)中的軟件缺陷信息在軍用軟件測試中的應(yīng)用[J].計(jì)量與測試技術(shù),2013,40(1):40-44.

      [10]洛剛,王國盛,聶晶.信息化裝備試驗(yàn)建設(shè)思考[J].裝備指揮技術(shù)學(xué)院學(xué)報(bào),2010,21(6):106-109.

      [11]姚志軍,郭齊勝,陳永和.武器裝備試驗(yàn)轉(zhuǎn)型問題研究[J].裝備學(xué)院學(xué)報(bào),2013,24(6):111-114.

      [12]胡運(yùn)權(quán).運(yùn)籌學(xué)基礎(chǔ)與應(yīng)用[M].哈爾濱:哈爾濱工業(yè)大學(xué)出版社,2006.

      Design Method of Software Test Environment Based on Adjacency Matrix

      ZHANG Xiao-na,JIN Peng-fei,YAN Chang-wei

      (Luoyang Electronic Equipment Test Center,Luoyang 471003,China)

      Abstract:Based on the analysis about the software test environment, this paper studies the key problems of the test case design in the software test, based on the adjacency matrix of directed graph, designs the software test environment plan method up to coverage criteria. All these researches can provide technology reference for the future development of software test.

      Key words:software test; test design; test environment; directed graph; adjacency matrix

      作者簡介:張曉娜(1981-),女,河南人,碩士研究生,助理研究員,研究方向?yàn)榻c仿真,軟件評測。

      收稿日期:2015-08-25

      中圖分類號:TP311.52

      文獻(xiàn)標(biāo)志碼:A

      DOI:10.3969/j.issn.1673-3819.2016.01.027

      文章編號:1673-3819(2016)01-0127-04

      猜你喜歡
      測試環(huán)境鄰接矩陣有向圖
      輪圖的平衡性
      有向圖的Roman k-控制
      全數(shù)字仿真測試環(huán)境在航天軟件測試中的應(yīng)用研究
      雷達(dá)航跡處理測試環(huán)境構(gòu)建方法研究
      科技視界(2019年10期)2019-09-02 03:22:27
      網(wǎng)絡(luò)設(shè)備自動化測試設(shè)計(jì)與實(shí)現(xiàn)
      超歐拉和雙有向跡的強(qiáng)積有向圖
      關(guān)于超歐拉的冪有向圖
      基于鄰接矩陣變型的K分網(wǎng)絡(luò)社團(tuán)算法
      一種判定的無向圖連通性的快速Warshall算法
      負(fù)離子紡織品檢測方法分析
      中國纖檢(2015年4期)2015-03-13 18:25:35
      宣汉县| 兴宁市| 翼城县| 吉林市| 乡宁县| 兴城市| 泸溪县| 茶陵县| 宁津县| 芜湖市| 南木林县| 佳木斯市| 柏乡县| 阿勒泰市| 敦化市| 石林| 通榆县| 城口县| 宁南县| 同心县| 宁蒗| 凉城县| 保山市| 阳曲县| 浮山县| 中西区| 临夏县| 正阳县| 色达县| 马山县| 科技| 崇明县| 达孜县| 翼城县| 古交市| 呼和浩特市| 泾川县| 全南县| 凌源市| 河源市| 抚顺市|