查詢結果分析
來源資料
相關文獻
- Function Validation of a Program Logic Using Software Usage Testing
- 失效加權軟體可靠度模式化之評估系統
- A Quadratic Programming Approach to Usage Modeling for Software Reliability Certification
- 失效加權軟體可靠度的測量指標
- 提昇軟體單元測試品質與效率之研究
- 具有轉折點之可確定比率軟體可靠度模型研究
- 在GO軟體可靠度模式下最大概似估計量存在之漸近性質
- 增進軟體品質的法寶--淺談軟體可靠度工程之技術
- 具有轉折點之超幾何分配軟體可靠度模型研究
- 一些軟體可靠度模型中最大概似估計量存在之漸近性質
頁籤選單縮合
題 名 | Function Validation of a Program Logic Using Software Usage Testing=利用軟體使用測試方法驗證程式邏輯之功能正確性 |
---|---|
作 者 | 張文貴; 王咨博; | 書刊名 | 東海科學 |
卷 期 | 3 2001.07[民90.07] |
頁 次 | 頁29-44 |
分類號 | 312.49 |
關鍵詞 | 功能方塊圖; 軟體可靠度; 軟體使用測試; 測試涵蓋; Function block diagram; FBD; Software reliability; Software usage testing; SUT; Test coverage; |
語 文 | 英文(English) |
中文摘要 | 程式邏輯之功能驗證是非常重要且受許多系統管理者關心的議題,本文重點即在評估以功能方塊圖(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. |
本系統中英文摘要資訊取自各篇刊載內容。