MSRA的SA組面試準備

 自己的研究方向：靜態程式分析及缺陷檢測

已經涉及的研究及技術：流、路徑、上下文、域敏感分析，AI，SE，約束求解，測試案例產生及單元測試

 

國內現狀：

軟體所，上海交大，南大，北大，MSRA

 

國際現狀：

MS的三個組（CSE,RiSE,SRR），斯坦福，威斯康辛。。。

 

當前的研究熱點：通過分析頂級會議的track及自己的認知總結

1、靜動態結合的程式分析技術，代表人物是MS的Patrice Godefroid

2、複雜資料類型的建模及分析：指標指向分析，複雜類型的形態分析（不懂）

3、自動化測試案例產生：例如為指定路徑產生測試案例

4、路徑、上下文、域、對象敏感之類的分析

5、對字串的分析

6、記憶體建模及記憶體操作的分析：

 

 

根據自己對靜態分析的理解，總結以下新的發展方向：

1、雲環境下的測試：有基本的瞭解

2、物聯網測試：不太瞭解

3、並發系統的測試：如多線程，分布式系統

 

應用比較廣泛的技術：

抽象解釋AI，符號運算SE，約束求解CS，模型檢測MC

 

應該瞭解的一些開源工具：

BLAST, SLAM,

 

做研究的方法：

1、初級階段，找可行的研究點：從頂級論文中找研究點，看其研究點的背景、意義、方法及結論，重點看其意義，非萬不得已不陷入細節，只看其創新來源及思路。

2、模仿階段：將牛人的問題進行“執行個體化”，用自己手頭的資源解決該類問題（或者採用不同技術，或者應用情境不同）

3、提升階段：瞭解了行業大背景，時刻掌握最新的研究動態，自己注重思考及觀察的同時保持與同行們的步伐一致，力爭發現自己的個人化問題及情境，用已有的或模仿的方法解決它

4、下一階段未知！