一種on-the-fly測(cè)試方法研究及其適配器的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、在對(duì)軟件系統(tǒng)進(jìn)行測(cè)試時(shí)，如果系統(tǒng)比較復(fù)雜，或者系統(tǒng)中存在大量的并發(fā)行為，這些因素都可能會(huì)使生成的狀態(tài)空間非常龐大，甚至出現(xiàn)狀態(tài)空間爆炸問(wèn)題。為避免在測(cè)試過(guò)程中對(duì)整個(gè)狀態(tài)空間進(jìn)行窮舉搜索，文中提出將on-the-fly測(cè)試方法與形式化建模方法著色Petri網(wǎng)結(jié)合起來(lái)，用于生成測(cè)試?yán)?。在該方法中，不需要?duì)整個(gè)狀態(tài)空間進(jìn)行遍歷，而是僅對(duì)測(cè)試人員感興趣的部分狀態(tài)空間進(jìn)行測(cè)試。此外，使用該方法進(jìn)行測(cè)試時(shí)，測(cè)試生成和測(cè)試執(zhí)行是同時(shí)進(jìn)行的，可進(jìn)一步提

2、高測(cè)試執(zhí)行的效率。本文主要研究?jī)?nèi)容有:
　　第一，深入研究on-the-fly測(cè)試方法，對(duì)該方法中的同步乘積算法進(jìn)行設(shè)計(jì)和實(shí)現(xiàn)，并設(shè)計(jì)相關(guān)測(cè)試?yán)龑?duì)該算法進(jìn)行測(cè)試。此外，將其與已有實(shí)現(xiàn)進(jìn)行比較，驗(yàn)證了本文中同步乘積算法在時(shí)間復(fù)雜度方面的優(yōu)勢(shì)。
　　第二，在on-the-fly測(cè)試方法研究工作的基礎(chǔ)上，深入分析了TorX和T-UPPAAL工具及其適配器的工作機(jī)制，設(shè)計(jì)并實(shí)現(xiàn)了與著色Petri網(wǎng)結(jié)合的on-the-fly測(cè)試方法中