計算機軟件測試技術綜述

首先分析了應用計算機軟件測試技術后對軟件質量的促進作用，以及測試技術過程中可能遇到的問題。其次重點探討軟件測試的常用方法，從多個角度進行調控設計，從而使計算機軟件測試能夠達到理想效果，提升軟件質量，降低計算機病毒入侵的風險。

【關鍵詞】計算機軟件 軟件測試 測試技術

軟件測試是決定軟件使用安全性以及質量的關鍵，計算機軟件投入使用前需要針對軟件可能出現的問題進行檢測，并通過技術手段對測試中遇到的問題進行排除，避免計算機軟件投入使用后出現質量或安全隱患。軟件測試所需的費用在總費用中占有比例較高，因此，選擇合適的測試方法，不但能夠有效地降低費用，而且能夠降低風險，提升軟件質量。

1 基于結構的測試用例生成技術

1.1 結構化測試技術適用范圍

結構化的測試技術可以針對軟件設計期間結構不合理、功能不完善，以及處理信息的路徑等方面問題進行檢測，所得到的結果能夠真實地反應軟件使用情況。由于軟件需要測試的內容較多，在測試之前需要進行結構上的劃分，以達到更理想化的使用標準。對于一些比較常見的工程質量隱患問題，測試期間會對軟件進行試運行，并觀察其中可能會出現的問題。隨著測試任務的進行，要將觀察到的數據信息進行整合，這樣更有助于對最終結果的分析。各個結構測試完成后，還要對總結構進行檢測，將軟件安裝到計算機中進行模擬使用，并在試驗過程中模擬出網絡環境下可能會遇到的病毒入侵，才能確保測試結果的準確性。

1.2 對符號執行的檢測

符號執行是軟件運行期間選擇路徑的第一步，也是接下來功能實現的關鍵步驟，路徑選擇是自動進行的，基于數據庫基礎上來開展，需要根據不同功能來進行路徑的自動匹配。不同的路徑在設計期間會對符號進行區分，這軟件投入使用后也能夠根據功能來進行更深入的現場調控，確保設備方案能夠得到功能完善，軟件使用期間的數據庫選擇以及信息存儲也不會出現錯誤，由此可見其重要性。同時路徑選擇情況也關系到最終系統功能是否能夠與實際需求保持一致。符號是計算機設備能夠識別的一種語言，需要使用期間的功能來記性設計，并且符號是具有自定義性質的，觀察發現系統中存在網絡安全隱患時可以對符號進行加密處理，這樣就不容易出現選擇性的錯誤，使用后即使軟件所處病毒環境，也不會造成嚴重的計算機信息丟失問題，這是目前比較常用的技術性方法之一。所得到的測試結果也能夠促進軟件的質量提升。

1.3 計算機符號執行

在符號執行過程中，根據軟件的框架結構來進行，需要重點設計實現的是軟件執行中的安全性問題，框架是基于使用功能之上來逐步進行完善的，完善過程中需要設計人員的參與配合，這樣能夠更好的實現軟件功能方面的創新，為投入使用后創造可行性研究方案，當設計的軟件結構配合不合理時，對結構進行重新程序匯編也能更好的解決。軟件符號執行能力測試可以從常用的幾方面來進行，觀察其中是否存在需要進一步完善的內容，并通過技術性方法來解決。結構化的測試方法中，要按照不同功能實現對資源的使用比例來進行完善，將其中所存在的問題更好的落實應用，對于一些比較常見的技術性問題，改變優化結構的比例能夠得到很好的解決，這樣投入使用后也不會出現軟件上的功能浪費，有助于現場使用效果的進一步提升，實現軟件程序結合硬件部分的功能穩定性測試。

2 基于功能的測試用例生成技術

2.1 基于功能測試的數據生成

在對功能進行測試時，首先需要確定結構是否完整并形成聯系，功能實現需要多個數據庫結構相互配合，達到信息整合效果，由此可見結構優化設計在其中的重要性，通過加強設計方案的深入研究，也能夠在短時間內判斷結構中需要完善的部分。結構投入使用后，即使其中存在安全性問題也很難再次優化解決，因此前期控制是十分重要的。計算機軟件管理也需要配合結構優化開展，針對常用的使用功能來進行定向研究。基于數據監測所開展的軟件測試，能夠解決的質量隱患現象，這也是現階段比較常用的檢測技術方法，在運行過程中，軟件對于使用期間可能會發生的問題，會作為檢測的重點部分來使用，通過這種方法能夠促進現場得到更理想的使用標注，即使軟件遇到使用安全性下降的情況，在結構完全按照的前提下也能降低影響。

2.2 基于接口參數的黑箱測試用例選擇方法

對接口進行對接處理時，首先確定接口位置，與標準接口連接形式進行比較。接口選擇直接關系到功能是否能夠正常實現，對這部分功能進行測試時，可以先模擬出需要配合的軟件功能，所營造的測試環境要與實際使用環境保持一致，這樣更有助于使用功能的落實應用，確保軟件在安全管理范圍內開展。選擇端口后軟件的信息傳輸系統也會發出相關的功能指令，更好的實現軟件使用功能完善計劃，并避免在現場出現質量隱患現象。接口確定可以借助計算機軟件來模擬，并在軟件中繼續深入優化。軟件設計還要確保其兼容性，能夠與系統中的其他軟件形成一個整體，這樣對辦公計算機設備進行操作時也不容易出現數據丟失的情況。參數選擇是由軟件的控制部分自動完成的，具有極強的自控性。

2.3 以覆蓋程度為線索進行的軟件測試

覆蓋程度是指軟件功能的執行力度，在計算機設備中運行使用，需要極強的控制能力，這樣才能實現對傳輸數據信息準確性的檢測，將正確信息傳輸到指令中去。軟件測試是一個連續的過程，無論選擇任何方法，最終的測試結果都要與實際情況保持一致，這樣才能夠避免在現場出現質量下降的嚴重情況，并通過技術性方法來進一步解決這一問題，促進管理計劃在軟件中能夠發揮作用，將軟件使用安全性發生的幾率將至最低點，這一點也是傳統方法中難以實現的。覆蓋程度檢測要分別從不同的結構數據庫方面來進行，促進管理任務在現場能夠全面的落實發展。數據庫是軟件功能實現的基礎，在安裝新的軟件之前，需要對原有的數據結構進行全面覆蓋，這樣才能避免功能上的相互干擾。

3 面向對象的測試及測試用例生成endprint

3.1 面向對象的選擇

軟件的構成程序隨著功能變化也存在很大差異性，軟件測試的結果也能夠準確的反應真實情況，對于比較常用的測試技術，在使用前要有準確的針對范圍，避免造成測試資源的浪費，并對軟件的最終功能實現進行模擬，這樣所觀察的最終數據也能夠與實際情況保持一致，通過這種方法軟件之間才能夠更好的配合使用，才不會出現軟件中的不兼容現象，這種測試方法應用后能夠得到更理想的效果。面向對象的選擇最初是一個范圍，隨著使用可能會出現的問題也能作為軟件調試的參照依據，這樣更符合實際應用期間對測試方法的選擇。以功能為依據進行的對象選擇，能夠與使用需求功能保持一致。

3.2 根據程序的內部結構進行測試

在對程序進行內部結構測試時，能夠觀察得到更理想化的使用標準，并對常見的技術性問題進行探討，解決常見的問題，為管理計劃開展創造可行性。根據各個軟件程序的內部結構來進行測試，能夠達到更理想的使用效果，這樣也有助于使用效果的實現，功能方面可能會出現的病毒入侵現象，通過這種方法也能測試解決，避免系統受到嚴重的安全隱患，這一點也是十分重要的。內部結構是可以優化的，通過程序框圖執行順序改變來完成不同任務，實現更高層次的管理需求，以免程序運行中受到影響。

3.3 黑盒白盒相結合的檢測方法

將黑盒與白盒相互結合，確保軟件內部安全的前提下，對信息傳輸也有準確判斷，通過加強軟件的配合使用，在最終的結果上會有明顯的進步提升，軟件應用后所遇到問題的都能夠體現在結構中，達到更理想的使用效果，明確問題的引發原因才能夠更好的解決實際問題。結合檢測方法應用實踐尚在進行中，目前的技術已經能夠實現多個軟件技術相互結合，適應不同的檢測需求，功能層面也得到了更深入開發，是未來計算機軟件檢測技術的主流發展方向。

Tsai等應用反向工程，根據程序源代碼獲取相應的狀態圖，用狀態機測試方法執行功能測試，以遍歷所有的狀態轉移；同時使用數據流覆蓋準則來測試類的數據成員，保證它們滿足數據流覆蓋。由于采用數據流測試和狀態機測試技術，這種方法可以發現類的成員函數和數據成員內的錯誤，但不能發現額外狀態。

陳火炎教授等提出了一種黑盒和白盒相結合的面向對象測試的集成方法論。該方法采用黑盒技術用來選擇測試用例，白盒技術主要用來判斷從執行測試用例得到的兩個對象是否可見性等價，在某些情況下也用它來選擇測試用例。還進一步改進和完善了Doong和Frankl的ASTOOT工具的方法，詳細論證了他們在將非等價基項作為測試用例的方法和斷言中所存在的重大問題，提出了基于代數規格說明并利用狀態轉換圖產生非等價對作為測試用例的一種新方法，然后通過白盒技術來確定運行這樣的測試用例得到的對象是否可見性等價，并補充一些測試用例，對類進行測試。

4 結語

對于計算機軟件的測試技術，目前已經能夠達到精準的質量控制，但計算機軟件以及信息技術是不斷發展進步的，在所應用的檢測技術方面，需要不斷的研究創新，達到理想的設計水平，以此來推動計算機軟件行業發展，這一目標的實現也需要全社會的共同研究努力，基于現有技術基礎上做出創新。

參考文獻

[1]周凌云.嵌入式武控計算機軟件測試關鍵技術的研究分析[J].科技展望，2015（02）：240-241.

[2]張兵星.探討計算機軟件測試的相關技術應用[J].中國管理信息化，2016（02）：131-132.

[3]付宇.淺談計算機軟件測試技術與保護技術[J].計算機光盤軟件與應用，2014（05）：263，265.

[4]楊波，吳際，徐珞等.一種軟件測試需求建模及測試用例生成方法[J].計算機學報，2014（03）：62-64.

[5]張娟.軟件測試中測試用例復用的研究[D].上海大學，2012（03）：21-26.

作者簡介

王艷青（1961-），男，河北省辛集市人。沈陽師范大學軟件學院副教授。研究方向為網絡安全。

于海洋（1973-），男，遼寧省沈陽市人。沈陽師范大學軟件學院講師。研究方向為數據庫。

作者單位

沈陽師范大學軟件學院 遼寧省沈陽市 110034endprint