請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/2474
標題: | 多樣性自動機之學習演算法與其量化分析 Quantitative Analysis using Multiplicity Automata Learning |
作者: | Wen-Chi, Hung 洪文起 |
指導教授: | 王凡(Farn Wang) |
關鍵字: | 軟體測試,機率近似正確,機器學習,多樣性自動機,量化分析, software testing,probably approximately correct,machine learning,quantitative analysis,multiplicity automata, |
出版年 : | 2017 |
學位: | 碩士 |
摘要: | 此篇論文應用機率近似模型學習演算法學習多樣性自動機。該演算法會產生目標軟體之多樣性自動機模型,並將其應用於量化分析。使用產生之多樣性自動機模型,我們設計了一系列演算法可以預測軟體量化分析目標軟體的最大值與平均值等特性。此外,我們修改該演算法,使其在輸入字母數量並非固定時也可以通用。在此片論文中我們實際測試了五種不同類型的軟體,實驗證明我們預測的結果與暴力法算得之結果相當接近,足以證明此演算法可以產生一些傳統難以預測的數據,並具有相當高的可信度。 In this paper, we apply a probably approximately correct (PAC) learning algorithm for multiplicity automata which can generate a quantitative model of target system behaviors with a statistical guarantee. By using the generated multiplicity automata model, we apply two analysis algorithms to estimate the minimum, maximum and average values of system behaviors. Also, we demonstrate how to apply the learning algorithm when the alphabet symbol size is not fixed. The result of the experiment is encouraging; Our approach made the estimation which is as precise as the exact reference answer obtains by a brute force enumeration. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/2474 |
DOI: | 10.6342/NTU201701657 |
全文授權: | 同意授權(全球公開) |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-106-1.pdf | 1.82 MB | Adobe PDF | 檢視/開啟 |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。