查詢結果分析
來源資料
相關文獻
- A Quadratic Programming Approach to Usage Modeling for Software Reliability Certification
- Automatic Testing for Link Correctness on the Internet
- Performance Evaluation of a Wireless Access System for Mobile Terminals Applications
- 嘉南地區地震週期性之研究
- 多重轉折點貝氏分析之應用
- 以馬可夫鏈探討雛型法決定資訊需求之適應性過程:以決策支援系統為例
- 利用馬可夫鏈模式評估臺灣地區多中心乳癌高危險群篩檢計畫
- 違建管理之取締效果研究--以臺北市為例
- The Estimation of Production Effectiveness of a JIT Manufacturing Workpool in a Unreliable-Reliable Condition
- 選擇權訂價貝氏GARCH模型及其在S&P 500指數選擇權買權價格預測上的馬可夫鏈蒙地卡羅模擬
頁籤選單縮合
題 名 | A Quadratic Programming Approach to Usage Modeling for Software Reliability Certification=利用二次規劃法建構驗證軟體可靠度所需之使用模式 |
---|---|
作 者 | 張文貴; | 書刊名 | 東海學報 |
卷 期 | 38:3(工學院) 民86.07 |
頁 次 | 頁65-78 |
分類號 | 312.49 |
關鍵詞 | 軟體使用測試; 二次規劃法; 馬可夫鏈; 軟體可靠度驗證; Software usage testing; Quadratic programming; Markov chain; Software reliability certification; |
語 文 | 英文(English) |
中文摘要 | 在進行電腦軟體使用測試中,首先必須建立軟體使用模式,用來表示該軟體未來 可能被使用的型態集合,而透過該軟體使用模式,則可進一步隨機產生一組測試案例的樣本, 以便執行軟體使用測試時,估計軟體操作可靠度。 但是,在利用馬可夫鏈來表示軟體使用模式時,由於軟體未來可能被使用的不確定性, 要指定所有的一次轉換機率,通常是相當困難的。在本文中,將先簡述軟體使用測試的方法 及其特性,然後討論如何利用數學規劃法建立電腦軟體的使用模式,接著並以二次規劃法求 解,利用此方法建立軟體使用模式,最主要的優點是,若某些模式參數後來更為確定後,靈 敏度分析之進行,將非常容易,可大量節省重新建立使用模式的工作時間。 |
英文摘要 | In software usage testing, a software usage model has to be developed first to characterize a population of all possible uses of the software in order to generate statistically a sample of test cases, and then to estimate software reliability accordingly. However, it is usually difficult to completely specify all one-step transition probabilities in a Markov chain to represent the software usage model due to uncertainly of future expected use patterns. In this paper, a summary of software usage testing will first be presented, and then formulation of usage modeling wth mathematical programming method. The advantage of this approach is its ease with the sensitivity analysis, and the timing saving in building up the model once some state parameters are further ascertained. |
本系統中英文摘要資訊取自各篇刊載內容。