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

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

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