課程內(nèi)容：

本課程將向?qū)W生介紹提高軟件系統(tǒng)可靠性的技術(shù)和工具。課程將概述軟件可靠性技術(shù)的主要類型，并討論這些技術(shù)各自的優(yōu)缺點。隨后，課程將詳細介紹這些技術(shù)和相關(guān)工具的選擇，重點是研究和實踐的最新方向。具體來說，學(xué)生將有機會：

1、熟悉用于提高軟件可靠性的不同類型的程序分析技術(shù)。

2、了解如何評估不同技術(shù)和工具的利弊。

3、嘗試各種開源工具來實現(xiàn)流行的軟件可靠性技術(shù)。

4、閱讀和分析該領(lǐng)域的研究論文。

5、批判性地評估和展示軟件可靠性工具。

6、為特定領(lǐng)域?qū)崿F(xiàn)軟件可靠性工具

學(xué)習成果：

成功完成本課程后，學(xué)生將能夠：

1、評估不同軟件可靠性技術(shù)的權(quán)衡。

2、解釋一般軟件錯誤的主要類型，例如內(nèi)存錯誤。

3、為軟件測試實現(xiàn)眾所周知的程序分析技術(shù)。

4、解釋程序被利用的主要方式，以及如何使用程序分析來抵御安全攻擊。

5、批判性地閱讀和分析研究論文。

6、應(yīng)用流行的開源工具來測試軟件應(yīng)用程序。