研究生: |
陳國明 Guo-Ming Chen |
---|---|
論文名稱: |
結構化COBOL之符號追索產生器 A Symbolic Trace Generator For Structured COBOL |
指導教授: |
楊鍵樵
Chen-Chau Yang |
口試委員: | none |
學位類別: |
碩士 Master |
系所名稱: |
電資學院 - 電子工程系 Department of Electronic and Computer Engineering |
論文出版年: | 2021 |
畢業學年度: | 72 |
語文別: | 中文 |
論文頁數: | 143 |
中文關鍵詞: | 符號追索產生器 、程式儀器 、系統分析階段 、轉換法則 、工程 、科技 、結構學 |
外文關鍵詞: | COBOL, PROGRAM-INSTRUMENTATION, EXECUTION-PROFILE |
相關次數: | 點閱:354 下載:0 |
分享至: |
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
本文係運用程式儀器(program instrumentation )技術來設計一個應用於COB-OL程式的軟體測試系統──COBOL符號追索產生器。此系統提供下列功能:一、清楚地描述程式中任一路徑的情形,可輔助程式測試人員決定測試涵蓋量。二、顯示該路徑中每一點必須滿足的條件,可輔助程式測試人員選擇其他的試驗事例。三、清楚地呈現出執行過程中所用到的程式述語,當程式有錯誤時,可輔助程式測試人員找出錯誤的位置。四、提供一execution profile 來輔助程式人員改善程式,增加程式的效率。五、提供測試涵蓋量報告,輔助程式人員決定是否結束測試工作。本文研究過程中資料的來源大都是國外知名雜誌如IEEE,ACM等,涵蓋大多數軟體測試的論文,經過資料整理後即進行系統分析。在系統分析階段以人工方式加入儀器於待測原始程式以模擬符號追索產生器的動作,建立一組適用的轉換法則之外,即建構此系統。本文之研究結果:此系統可用於COBOL程式之測試、教學、維護及績效改善。
none