TTCN-3語(yǔ)言調(diào)試器設(shè)計(jì)與實(shí)現(xiàn).pdf

1、軟件調(diào)試是軟件開發(fā)和維護(hù)中非常頻繁的一項(xiàng)任務(wù)，幾乎在軟件生命周期的每個(gè)階段，都有很多這樣那樣的問題需要進(jìn)行調(diào)試。在使用TTCN-3語(yǔ)言對(duì)指定系統(tǒng)進(jìn)行測(cè)試時(shí)，測(cè)試套的開發(fā)同樣遇到這種問題，如何快速找到TTCN-3測(cè)試套中的錯(cuò)誤信息是非常重要的。 與基于狀態(tài)模型轉(zhuǎn)換的傳統(tǒng)調(diào)試技術(shù)不同，TTCN-3語(yǔ)言調(diào)試器必須考慮并行、實(shí)時(shí)性等特點(diǎn)?，F(xiàn)有能夠提供TTCN-3語(yǔ)言調(diào)試功能的測(cè)試平臺(tái)只有國(guó)外的兩家公司，它們均不支持并行實(shí)時(shí)調(diào)試，并且調(diào)試

2、中沒有考慮被測(cè)系統(tǒng)對(duì)程序執(zhí)行的影響。開發(fā)一個(gè)支持并行實(shí)時(shí)調(diào)試功能的TTCN-3語(yǔ)言調(diào)試器是TTCN-3測(cè)試平臺(tái)不可缺少的功能。 并行實(shí)時(shí)程序的調(diào)試一直是當(dāng)前研究的熱點(diǎn)，并且到目前為止還沒有一種技術(shù)可以解決所有環(huán)境下的并行實(shí)時(shí)程序的調(diào)試。記錄．重放技術(shù)是經(jīng)典的解決并行程序不確定性的調(diào)試技術(shù)，通過對(duì)并行程序中的不確定事件進(jìn)行記錄，使得程序能夠重復(fù)執(zhí)行該過程。但該技術(shù)不能處理實(shí)時(shí)程序的調(diào)試，不能直接應(yīng)用于TTCN-3語(yǔ)言的調(diào)試。通過對(duì)

3、記錄．重放技術(shù)中的消息記錄進(jìn)行擴(kuò)展，在記錄的消息中增加一個(gè)相對(duì)于程序啟動(dòng)時(shí)的時(shí)間信息，在程序重復(fù)執(zhí)行過過程中對(duì)操作的時(shí)間進(jìn)行修正，可以有效的解決TTCN-3語(yǔ)言調(diào)試器中的并行實(shí)時(shí)特性。 在中國(guó)科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院網(wǎng)絡(luò)研究室開發(fā)的《TTCN-3語(yǔ)言通信協(xié)議測(cè)試平臺(tái)》基礎(chǔ)上，實(shí)現(xiàn)了TTCN-3語(yǔ)言源碼級(jí)調(diào)試器，該調(diào)試器實(shí)現(xiàn)TTCN-3語(yǔ)言中并行實(shí)時(shí)性的調(diào)試功能，并成功解決了在調(diào)試中被測(cè)系統(tǒng)對(duì)程序執(zhí)行的影響。 實(shí)驗(yàn)結(jié)