Function Validation of a Program Logic Using Software Usage Testing

Tunghai University Institutional Repository > 理學院 > 理學院 > (校內出版品)東海科學 > Item 310901/9468

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://140.128.103.80:8080/handle/310901/9468

题名:	Function Validation of a Program Logic Using Software Usage Testing
其它题名:	利用軟體使用測試方法驗證程式邏輯之功能正確性
作者:	張文貴；王咨博 Chang, Wen-kui；Wang, Tzu-po
贡献者:	東海大學理學院
关键词:	功能方塊圖；軟體可靠度；軟體使用測試；測試涵蓋；Function block diagram；FBD；Software reliability；Software usage testing；SUT；Test coverage
日期:	2001-07-01
上传时间:	2011-06-21T01:08:57Z (UTC)
出版者:	台中市：東海大學
摘要:	程式邏輯之功能驗證是非常重要且受許多系統管理者關心的議題，本文重點即在評估以功能方塊圖(FBD)描繪而成之嵌入式控制系統。另能方塊圖是一種圖形化語言，它可用來建構類比訊路的系統邏輯圖，我們的測試環境則是架在符合IEC1131-3標準之Translation 1131軟體系統中。在本質上，軟體使用測試是先建立軟體使用模式並在統計學基礎下產生實際的測試案例，在使用模式中，以節點來代表使用狀態並以連線代表會觸動使用狀態間轉換的激發動作。以FBD建構而成的系統可以轉換為一個邏輯化的使用模式並據以產生實際的測試案例，在此機制下，隨機產生的測試案例將可達到完整的測試涵蓋率，並決定何時停止測試過程以節省測試的成本。 Unction validation of program logic is important and attentive by lots system mangers. 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 Translation 1131 software system with the industry-standard IEC 1131-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 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 punitively determine when to stop the testing process for saving the testing effort.
關聯:	東海科學第3卷, p.29-44
显示于类别:	[理學院] (校內出版品)東海科學

文件中的档案:

档案	大小	格式	浏览次数
000303.pdf	290Kb	Adobe PDF	636	检视/开启

在THUIR中所有的数据项都受到原著作权保护.

数据加载中.....