電力軟件缺陷代碼檢測技術研究范文

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

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

關鍵詞：缺陷模式；技術研究；代碼檢測

0引言

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

1電力軟件缺陷模式與模式庫構建

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

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

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

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

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

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

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

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

4總體研究架構

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

5結束語

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

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