研究領域與專案

我們的研究涵蓋軟體工程的各個面向,從理論基礎到實際應用

研究領域

🔍

軟體視覺化

Software Visualization

專注於軟體視覺化技術,包含3D除錯視覺化和程式動畫等前沿技術,幫助開發人員更好地理解和分析軟體系統。

🧪

軟體測試與自動化測試

Software Testing and Test Automation

開發創新的軟體測試方法和自動化測試工具,提升軟體品質和開發效率。

📖

程式理解

Program Comprehension

研究程式理解技術,協助開發人員快速理解大型軟體系統的結構和邏輯。

🏗️

物件導向分析與設計

Object-Oriented Analysis and Design

深入研究物件導向軟體開發方法論,包含分析、設計模式和最佳實踐。

📊

原始碼品質與度量

Source Code Quality and Metric

開發原始碼品質評估工具和度量方法,協助提升軟體品質和維護性。

⚙️

軟體工程

Software Engineering

研究軟體工程的理論基礎和實踐方法,培養學生的軟體工程專業能力。

🌐

社群網路

Social Network

研究社群網路的結構分析和應用開發,探索社會網路的特性和規律。

🎮

3D遊戲

3D Gaming

開發3D遊戲引擎和相關技術,結合軟體工程原理創造優質的遊戲體驗。

🛠️

電腦輔助軟體工程工具

Computer-Aided Software Engineering Tools

開發各種電腦輔助軟體工程工具,提升軟體開發的效率和品質。

☁️

雲端軟體工程

Software Engineering in the Clouds

研究雲端環境下的軟體工程方法和工具,適應現代分散式系統的需求。

🔐

併發應用程式的軟體驗證

Software Verifications for Concurrent Applications

使用模型檢查等技術對多執行緒和併發應用程式進行正確性驗證。

🎓

資訊科學教育研究

Computer Science Education

研究資訊科學教育方法和工具,提升程式設計和軟體工程的教學效果。

研究專案

GeekyNotes

進行中

專為解決技術文件維護與管理問題而設計的軟體知識管理工具。

相關領域:Program Comprehension

Venom

進行中

採用創新的透明視窗技術,讓開發者無需修改原始碼即可擴充既有應用程式功能,並支援跨語言開發與前後端分離架構。

相關領域:Computer-Aided Software Engineering Tools

xDIVA

進行中

一款 3D 除錯視覺化工具,透過互動且可組合的視覺隱喻,幫助程式開發者更有效率地處理複雜資料結構除錯。

相關領域:Software Visualization

Korat

已完成

一款能在無需作業系統支援的環境下執行的自動化回歸測試工具,透過硬體模擬鍵盤與滑鼠訊號驅動待測系統,並藉由影像分析自動驗證測試結果。

相關領域:Software Testing and Test Automation

PolyTraceAid

已完成

PolyTraceAid 協助開發者透過程式執行過程的追蹤,建立有結構的內部文件,有助於程式理解與維護。

相關領域:Software Testing and Test Automation

EPLIC

已完成

一款 Eclipse 外掛,透過程式執行路徑輔助使用者快速定位所需的程式碼片段,提升理解與維護效率。

相關領域:Program Comprehension

xTitan

已完成

xTitan 是一套測試自動化工具,支援 GUI 動畫、滑鼠操作記錄與程式內部狀態檢查,協助開發者觀察與驗證系統行為。

相關領域:Software Testing and Test Automation

Dissimilarity NWA Algorithm

已完成

使用序列比對演算法,分析程式執行序列間的差異,協助理解多型行為與測試覆蓋情形,應用於程式理解與測試選擇。

相關領域:Program Comprehension