本站小編為你精心準備了電力軟件缺陷代碼檢測技術(shù)研究參考范文，愿這些范文能點燃您思維的火花，激發(fā)您的寫作靈感。歡迎深入閱讀并收藏。

摘要：為了確保電力信息系統(tǒng)能夠得以正常操作，進而強化系統(tǒng)功能，提高工作質(zhì)量，減少成本費用的支出，應(yīng)及時改善電力軟件代碼缺陷檢測效率低下、自動化效果差以及定位不精準等情況。本文主要分析了電力軟件缺陷模式的代碼檢測技術(shù)，并對此展開了深入的探討，期望可以為今后的研究提供相應(yīng)的參考。

關(guān)鍵詞：缺陷模式；技術(shù)研究；代碼檢測

0引言

在二十一世紀之后，美國首先提出了基于缺陷模式的軟件測試，通過將此種方式與傳統(tǒng)方式進行對比后可發(fā)現(xiàn)，其主要可以分成三個流程，即：首先，界定軟件缺陷模式的含義；其次，找尋準確的IP，并運算出與模式兼容的元素；最后，采用自動化模式進行確定，同時也可派遣專業(yè)人員進行確認。基于缺陷模式的軟件測試相對來說優(yōu)勢較多，能夠測試出很多細微的問題缺陷，并且具有一定的針對性。所以，本文通過研究后能夠有效提升系統(tǒng)測試效率，進而提高工作質(zhì)量，為電力信息系統(tǒng)今后的發(fā)展提供有利保障。

1電力軟件缺陷模式與模式庫構(gòu)建

（1）電力軟件缺陷模式。通常情況下來看，普通的電力軟件缺陷表示的是不符合電網(wǎng)的相關(guān)規(guī)定，導(dǎo)致用戶在應(yīng)用的過程中造成了很多弊端。當程序在運行時發(fā)生軟件缺陷的話，則會致使系統(tǒng)紊亂，無法正常運行。由于電力軟件的研發(fā)時期不同，所以產(chǎn)生的軟件缺陷也會存在一定的差異性。當處于初始時期時，系統(tǒng)架構(gòu)人員將會對系統(tǒng)軟件進行合理的宏觀調(diào)控，如果控制失誤則會造成缺陷，由于其在開發(fā)時期的隱蔽性較強，僅能夠在后期可以體現(xiàn)出來，所以必須要在修改時期時進行大范圍的修改，嚴重浪費了資源，增加了成本費用的支出，所以此種缺陷是極其不利的[1]。當處于需求定義時期時，假設(shè)無法適應(yīng)用戶的各項要求，那么也會導(dǎo)致缺陷出現(xiàn)。在設(shè)計系統(tǒng)的過程中，必須要保障方案規(guī)劃合理、科學(xué)，反之則會影響整個系統(tǒng)的正常運行。在進行編碼時，應(yīng)采用正確的運算方法，編碼失誤也會引起缺陷。在系統(tǒng)維護時期，必須要正視各個環(huán)節(jié)，采用科學(xué)的手段進行維護，不然則會造成不可預(yù)估的后果。所以，在操作的過程中必須要充分應(yīng)用各項資源，有效改善電力軟件缺陷，進而提升工作效率與質(zhì)量。除此之外，軟件在運行時，不同時期進行修復(fù)所需要的費用也存在差異性，時間越長則成本也會隨之升高，因此必須要及時發(fā)現(xiàn)缺陷。

（2）建立電力軟件缺陷模式庫。在建立電力軟件缺陷模式庫時，必須要立足于實際，以研究成果為基準而分析場景特點，進而創(chuàng)建出完善的電力軟件缺陷模式庫體制，找尋缺陷的問題所在，并對其進行敘述保存，創(chuàng)建出相對完善的缺陷模式庫，進而具備一定的定制性與配置性。

2基于電力軟件缺陷模式的代碼檢測技術(shù)

（1）區(qū)間運算技術(shù)。1）區(qū)間代數(shù)。所謂區(qū)間，表示的是在程序中變量的取值范圍，而區(qū)間代數(shù)表示的則是代表以及運算變量位置的方式。在對軟件進行測試的過程中，主要操作步驟則是將錄入的變量均看做為區(qū)間，致使中間變量以及輸出變量最后均變?yōu)閰^(qū)間的一種方式[2]。2）變量的相關(guān)性分析。通過進行分析后可發(fā)現(xiàn)，在程序中應(yīng)在以下幾種情況下應(yīng)用變量關(guān)聯(lián)，即：相同路徑引進的隱含約束關(guān)系、賦值語句關(guān)系、條件限定關(guān)系以及別名關(guān)聯(lián)關(guān)系。

（2）基于數(shù)據(jù)流的缺陷檢測。在操作的過程中，我們可將缺陷檢測流程進行深入分析，并將其作為一個前向可能數(shù)據(jù)流的情況，數(shù)據(jù)流的元素主要包括以下幾個方面：1）在進行缺陷檢測時，呈現(xiàn)為正向數(shù)據(jù)流，D=FORWARD；2）在進行缺陷檢測時，L是可能狀態(tài)集合的冪集，Ventry={ Start}表示的是L的常量值，即為邊界條件；3）在進行缺陷檢測時，∧表示的即為可能狀態(tài)集合的U操作；4）G=( V, E, entry, exit)，在此過程中V所表示的為節(jié)點集合，E所表示的是邊，entry所表示的為入口，exit所表示的為出口；5）在進行缺陷檢測時，F(xiàn)所表示的為由程序語句而導(dǎo)致的缺陷變遷現(xiàn)象。

（3）函數(shù)間分析技術(shù)。1）約束信息。針對約束模式狀態(tài)機而言，由于故障類型不同，所以產(chǎn)生的約束模式也存在一定的差異性，在此過程中N代表的即為狀態(tài)機均能夠發(fā)生的狀態(tài)，T代表的即為狀態(tài)之間通過轉(zhuǎn)化后所形成的集合，C代表的即為狀態(tài)轉(zhuǎn)化要求，Nfault代表的即為故障的具體狀態(tài)，Ncons代表的即為約束形式狀態(tài)。 2）后置信息。在進行靜態(tài)分析時，針對函數(shù)來說，變量的取值區(qū)間對其所產(chǎn)生的作用比較大，所以在操作的過程中必須要提高對函數(shù)副作用的關(guān)注。為了改善這種情況，在運算區(qū)間以及檢測缺陷的過程中必須要合理運用計算方式，選擇應(yīng)用函數(shù)后置信息方式。

3代碼缺陷自動化檢測方式

在進行操作的過程中，我們可創(chuàng)建相對完善的代碼缺陷自動化檢測方式，檢測流程可分為五個步驟，即：輸入、基本分析、提高精度、自動測試及結(jié)果分析，在此過程中提高精度與自動測試最為重要。應(yīng)用此種檢測方式進行操作時，必須要結(jié)合多個方面進行考慮，具體可包含以下幾種問題，即：誤報情況、漏報情況以及模式機理等。

4總體研究架構(gòu)

首先，應(yīng)對電力軟件缺陷模式展開深入的探討，并創(chuàng)建出完善的電力軟件缺陷模式庫，與此同時，也應(yīng)研究提升精準的技術(shù)手段，并以此作為基礎(chǔ)條件，而創(chuàng)建出代碼缺陷自動化檢測方式。

5結(jié)束語

綜上所述，基于缺陷模式的軟件測試得到了廣泛應(yīng)用，能夠測試出很多細微的問題缺陷，并且具有一定的針對性。除此之外，也能夠有效提升系統(tǒng)測試效率，進而提高工作質(zhì)量，為電力信息系統(tǒng)今后的發(fā)展提供有利保障。

作者：李北星；常鑫 單位：烏蘭察布電業(yè)局