李國強 張 虹 王海瑞
(1.西安電子工程研究所 西安 710100;2.裝甲兵軍事代表局駐西安地區軍事代表室 西安 710000)
隨著計算機技術的廣泛應用,在軍工武器裝備的研制中從系統級到部件級都采用了大量的計算機硬件和軟件,這些軟硬件組合在一起實現武器裝備的功能。在這樣的系統中無論硬件還是軟件都存在設計缺陷與錯誤,有可能引起裝備的故障,甚至可能造成嚴重損失。
隨著軟件的規模和復雜度的增加,在軟件開發的各個階段中,產生錯誤的時機很多,如軟件需求的敘述、軟件架構的設計、軟件編碼都可能產生錯誤;就連程序輸入也可能引入錯誤,軟件錯誤造成的災難也越來越嚴重。
國內外已有大量事例說明,當代武器裝備的大量災難性事故是由軟件故障引起的,如何減少軟件缺陷成為軟件界面臨的嚴峻挑戰。軟件測試是發現軟件錯誤和缺陷的最好的方法,也是保證軟件質量的關鍵手段,因此開展軟件測試技術的研究已引起了國內外軟件業的高度重視。
軟件測試是為了發現代碼中的錯誤而分析或執行代碼的過程,是保證軟件質量及可靠性的手段,能夠為產品設計定型提供依據。對于軟件測試,可以從下面幾種不同的角度分類:
從是否需要執行被測試軟件的角度分類,可以分為靜態測試和動態測試。如果在測試過程中執行被測試軟件,則稱之為動態測試,相反,在測試過程中不執行被測試軟件,則稱之為靜態測試。……