Function Validation of a Program Logic Using Software Usage Testing

利用軟體使用測試方法驗證程式邏輯之功能正確性

張文貴(Wen-Kui Chang) ； 王咨博(Tzu-Po Wang)

《東海科學》 3期 (2001/07) Pp. 29-44

摘要

程式邏輯之功能驗證是非常重要且受許多系統管理者關心的議題，本文重點即在評估以功能方塊圖（FBD）描繪而成之嵌入式控制系統。功能方塊圖是一種圖形化語言，它可用來建構類比訊號的系統邏輯圖，我們的測試環境則是架構在符合IEC1131-3標準之Tristation 1131軟體系統中。
在本質上，軟體使用測試是先建立軟體使用模式並在統計學基礎下產生測試案例，在使用模式中，以節點來代表使用狀態並以連線代表會觸動使用狀態間轉換的激發動作。以FBD建構而成的系統可以轉換為一個邏輯化的使用模式並據以產生實際的測試案例，在此機制下，隨機產生的測試案例將可達到完整的測試涵蓋率，並決定何時停止測試過程以節省測試的成本。

關鍵字

功能方塊圖 ； 軟體可靠度 ； 軟體使用測試 ； 測試涵蓋

並列摘要

Function validation of program logic is important and attentive by lots of system managers. This paper investigates issues on evaluating embedded control systems built by the function block diagram (FBD), which is a kind of graphical language used to create program logic that is analogous to circuit diagrams. Our testing FBD environment is embedded on the Tristation 1131 software system with the industry-standard IEC1131-3 conformance. In this research, software usage testing (SUT) is studied to verify if it is possible to be applied in such domain. Essentially, software usage testing first establishes a usage model, and then follows to statistically generate test cases. The usage model is represented as a graph in which the nodes represent usage states and the arcs represent stimuli that cause transitions between usage states. The FBD-primitive application can be transformed into a logical usage model to simulate the real execution scenarios. Based on the usage model, test cases can be randomly generated with the purpose of achieving complete test coverage and we may then quantitatively determine when to stop the testing process for saving the testing effort.

並列關鍵字

Function block diagram ； FBD ； software reliability ； software usage testing ； SUT ； test coverage