學習資訊專業學院—資訊教育研究所

Permanent URI for this communityhttp://rportal.lib.ntnu.edu.tw/handle/20.500.12235/25

資訊教育研究所之碩士班成立於民國80年,博士班成立於民國86年,目前研究生共約160名。本所原屬資訊教育學系,於95學年度起因應系所組織調整,成為獨立研究所,歸屬教育學院。

本所以『資訊科技教育』和『數位學習』兩個專業領域之研究發展與人才培育為宗旨,課程設計分別針對此兩個專業領域規劃必、選修專業科目,提供學生紮實而嚴謹的學術專業知能及個別化之研究訓練。本所教育目標包括:

1、培育資訊科技教育人才;
2、培育數位學習產業人才;
3、培育資訊科技教育與數位學習研究人才。

本所目前六名專任教師,四位教授,二位副教授,在資訊教育領域均具有豐富之教學與研究經驗且均積極從事研究,每年獲科技部補助研究計畫之平均數量與金額在本校名列前茅。另外,本所教師積極參與國內重大資訊教育政策及課程綱要之制定,積極推動國內資訊教育之發展。
 

Browse

Search Results

Now showing 1 - 1 of 1
  • Item
    模擬結合局部性分析
    (2007) 李俊佑; Chun Yu Li
    近年來,局部性分析在自動化軟體檢驗領域中佔有一席之地,是相當有前景的研究方向。局部性分析能夠成功的關鍵在於被檢驗的系統有良好的模組架構。利用合併及最小化的技術,我們可以取得子系統的介面行程。介面行程可以忽略內部行為而代表子系統,如此重覆進行局部性分析可以藉此減緩組態爆炸。 模擬是一種樂觀性的品質保證,雖然不能證明錯誤不存在,但是它的實用性在產業界和應用領域已得到很好的例證。模擬的好處之一在於其避免記錄大量的狀態而造成實體記憶體不夠的問題。只要盡可能花時間檢驗系統模型,對系統本身的正確性就更有信心。 在本篇論文中,我們將模擬和局部性分析結合在一起。利用局部性分析所取得的介面行程,只要模擬的路徑行經它,就可以視為已經拜訪過該介面行程所代表的子系統。這樣做的好處可以大大縮減模擬拜訪的深度。我們的simulator建立在既有的ArCats架構之上,運用物件導向的多型技巧,讓模擬運行在CFG(Control Flow Graph)與CCS(Calculus of Communicating System)兩種CFSM中。本篇論文會以實際的例子說明模擬結合局部性分析的好處,同時在實驗中評估其價值。