程式分析與設計

程式分析

Two Types

static program analysis : 虛擬
dynamic program analysis：實機

Main approaches

data flow analysis：與系統分析不同
control flow analysis
abstract interpretation
type and effect systems

Application Examples

compilers (for code improvement)
software validation (for detecting errors in algorithms or breaches of security)
transformations between data representation
reverse engineering

程式設計 　

現在多使用程式編輯器

反向工程之程式分析法

解析程式片段

整體：結構分析

段內：主功能分析

達成主功能之邏輯

相應之主語法

效能分析與測試

不改變結構

測試 Values

1. 指定測試

2. 開發者自訂測試

增益分析與測試

不改變結構

增加子項目

1. 指定測試

2. 開發者自訂測試

調整功能分析與測試

變更結構

增加功能

1. 指定測試

2. 開發者自訂測試

模擬重寫分析與測試

設定一個概念上類似的AP