基于抽象狀態(tài)機的協(xié)議軟件測試方法研究.pdf

1、隨著軟件開發(fā)技術的發(fā)展，軟件越來越復雜，人們對軟件的需求也越來越多，軟件是否是按需求開發(fā)，能否正確有效的運行，成為軟件開發(fā)者日益重視的問題。軟件測試在整個軟件開發(fā)過程中也是耗費最大的一個方面，不僅是耗費人力，物力，并且還缺乏系統(tǒng)的工程方法、清晰的語義、以及充分的工具支持，這就使得軟件測試方法的研究越來越重要。
　　 本文研究的目的在于根據(jù)當前國內(nèi)外基于模型的軟件測試研究現(xiàn)狀，結合面向對象的軟件開發(fā)方法的特征，設計并實現(xiàn)了用抽象狀

2、態(tài)機語言描述統(tǒng)一建模語言狀態(tài)圖的過程，實現(xiàn)了基于抽象狀態(tài)機語言的軟件一致性測試。
　　 本文首先介紹了軟件測試的基本概念以及基于模型的軟件測試研究現(xiàn)狀，分析了目前構建軟件模型主要的形式化方法，比較其各自的優(yōu)缺點。其次介紹了抽象狀態(tài)機的基本理論和抽象狀態(tài)機語言，并論述其用做測試的理論基礎和優(yōu)點。在此基礎上，設計出了統(tǒng)一建模語言狀態(tài)圖用抽象狀態(tài)機語言描述的方法，并演示對比統(tǒng)一建模語言狀態(tài)圖與抽象狀態(tài)機，研究了基于抽象狀態(tài)機進行一致性