淺析計算機網絡通信協(xié)議驗證技術

王興華

摘 要 隨著國民經濟的不斷增長，科學技術的不斷創(chuàng)新，我國計算機網絡行業(yè)發(fā)展得到了質的飛躍。由于計算機網絡通信協(xié)議設計開發(fā)的復雜性在不斷增加，這樣也促使了協(xié)議工程技術的產生。通信協(xié)議作為現代計算機網絡、數據通信以及多機系統(tǒng)等分布式系統(tǒng)的核心靈魂，是實現不同實體相互發(fā)生通信行為的具體規(guī)則和格式。然而，要想充分保障通信協(xié)議的完整性、正確性以及科學性，相關工作人員就必須通過合理應用驗證技術對其進行測試工作。本文將進一步對計算機網絡通信協(xié)議驗證技術展開分析與探討。

關鍵詞 計算機網絡；通信協(xié)議；驗證技術

中圖分類號 TP3 文獻標識碼 A 文章編號 1674-6708（2017）193-0082-02

當前是一個經濟全球化的時代，計算機網絡通信發(fā)展要與時俱進，跟上時代前進的腳步。在傳統(tǒng)網絡通信協(xié)議中人們普遍通過使用自然語言對其進行描述，自然語言雖然具備了容易理解、方便等優(yōu)點，但是也具有較多的致命缺點。例如，自然語言精確性不高、不夠嚴格以及存在多義性等，這樣會造成不同人對協(xié)議描述存在完全不同的理解，從而出現錯誤通信協(xié)議。而基于計算機網絡和分布式系統(tǒng)的時代背景下，通信協(xié)議的形式化技術得到了進一步的完善，在不同的形式化技術中，驗證技術和形式描述是整個網絡通信協(xié)議設計與實現的重要基礎，直接關系到協(xié)議的精確性、規(guī)范性以及完整性等。

1 計算機網絡通信協(xié)議的相關概述

1.1 計算機網絡協(xié)議的定義

計算機網絡協(xié)議實質是指不同計算機設備之間在通信過程中必須嚴格遵循的一些實現制定好的規(guī)則。網絡協(xié)議必須遵循標準化的體系結構，隨著時間的不斷推移，在當前網絡通信市場上主要存在的標準體系包括了ISO的標準以及TCP/IP協(xié)議組標準。要想實現通信功能就必須保證其所有涉及內容都要認同其中一套用于信息交換的基本規(guī)則[1]。

1.2 計算機網絡協(xié)議的特性

計算機網絡協(xié)議的特性主要包括了以下幾點內容：

1）計算機網絡協(xié)議的活動性。活動性在協(xié)議中的體現主要是終止性和進展性兩方面內容。如果網絡協(xié)議不存在終止性和進展性，那么它就不具備活動性，它們兩者之間是相互并存的。倘若網路協(xié)議的某個狀態(tài)從初態(tài)不可達，那么就證明了該協(xié)議是存在一定錯誤的。

2）計算機網絡協(xié)議的安全性。安全性指的是協(xié)議在運行過程中容易出現的錯誤條件、錯誤行動等，這樣會造成活鎖和死鎖安全問題的發(fā)生。例如，當發(fā)生死鎖時，網絡協(xié)議各個部分實體都會將處于一種等待狀態(tài)，只能等到“某一事件”實際發(fā)生后才可以實現下一步的動作。然而，實際情況是當協(xié)議處于該工作狀態(tài)下，這個事件是不會發(fā)生的。協(xié)議一旦進入死鎖的狀態(tài)或者無限死循壞狀態(tài)時，就不存在其他事件能夠將協(xié)議從中解脫出來。就比如，網絡協(xié)議一直循壞執(zhí)行超時重發(fā)操作指令，但是又一直無法接收到來自對方的確認信息。部分人員也把此種形式下的死鎖稱作為活鎖，雖然網絡協(xié)議的狀態(tài)還處于變化中，但是又不能完全從死循壞狀態(tài)中解脫出來。

3）計算機網絡協(xié)議的有界性、完整性以及同步性。工作人員通過利用驗證技術去科學檢驗網絡協(xié)議中的某些成分或者參數容量出界；檢驗網絡協(xié)議中是否還存在未處理的問題，以及是否還存在有無非期待的接收等。整個過程是當協(xié)議產生差錯后，能否保障協(xié)議在規(guī)定的步驟內重新安全返回到穩(wěn)定可靠的狀態(tài)下執(zhí)行。

2 計算機網絡通信協(xié)議的主要類型

2.1 局域網使用的通信協(xié)議

在局域網中，計算機之間使用的通信協(xié)議主要包括了Net-BEUI協(xié)議、IPX/SPX 兼容協(xié)議以及TCP/IP協(xié)議。其中TCP/IP協(xié)議是局域網中應用最為廣泛的一種通信協(xié)議，同時也是Intemet的基礎協(xié)議。它的顯著特征是具有較高的靈活性和適應性，能夠有效連接絕大部分的服務器以及工作站。TCP/IP協(xié)議是通過利用自身的IP地址去有效識別在網絡上的具體位置和身份的[2]。IP地址的構成主要包括了兩個部分，一個是網絡ID，另一個是節(jié)點ID。基于多網段的環(huán)境下，通過有效對網絡ID進行擴展，能夠實現子網掩碼對子網的科學管理工作。在TCP/IP協(xié)議中網關被人們主要用來連接異種網絡的設置，其擔任了一個翻譯者的身份，能夠正確對各種通信協(xié)議進行翻譯工作，從而保障不同協(xié)議下的兩種網絡之間進行互相

通信。

2.2 廣域網使用的通信協(xié)議

被人們普遍用于廣域網的通信協(xié)議多種，主要包括了高級數據鏈路控制協(xié)議、數字數據網、點到點協(xié)議以及數字用戶線等協(xié)議。廣域網協(xié)議實質是指在OSI參考模型的最下面三層操作，明確定義了基于不同廣域網介質上的通信。

2.3 路由器選擇協(xié)議

路由器選擇協(xié)議作為網絡層協(xié)議，它主要負責的工作內容是路徑選擇和交換。人們將路由器選擇協(xié)議具體分為了兩種，一種是內部路由協(xié)議（自治系統(tǒng)內部交換路由信息的路由協(xié)議），另一種則是外部路由協(xié)議（基于連接兩個或兩個以上自治系統(tǒng)的路由協(xié)議）。

3 驗證技術在計算機網絡通信協(xié)議中的主要應用

3.1 Ping程序在網絡協(xié)議中的應用

Ping程序主要被技術人員用來檢測一幀數據從當前計算機傳送到另一個計算機所要花費的時間。如果計算機網絡在運行過程中發(fā)生故障時，技術人員通過使用這個程序能夠高效判斷出故障的發(fā)生具體原因，如果在執(zhí)行Ping程序時出現不成功狀態(tài)，就表明了預測故障出現在以下幾個

方面：

1）計算機網絡是否處于連通狀態(tài)；

2）計算機網絡適配器是否正確；

3）計算機網絡IP地址是否能夠正常使用等。如果能夠成功執(zhí)行Ping程序，但是計算機網絡還是無法正常使用，那么故障源可能就是出現在計算機網絡系統(tǒng)的軟件配置上。成功執(zhí)行Ping程序只能夠保障當前主機與目標主機存在一條連通的物理路徑，可以為其提供眾多參數。例如，-n能夠完全依靠自己去確定向目標主機發(fā)生數據幀數、-t能夠應用當前主機持續(xù)向目標主機發(fā)送數據，直到使用ctel-c完全中斷[3]。

3.2 基于有限狀態(tài)自動機模型的協(xié)議驗證與分析

有限狀態(tài)自動機FSM作為當前網絡市場上極為重要的一種形式描述技術，它的優(yōu)勢在于具有很強的直觀性，能夠有效實現與多種形式方法的轉換和組合，同時還容易自動實現。基于FSM描述的協(xié)議驗證能夠通過構造可達樹來實現。首先從初期狀態(tài)出發(fā)，清晰列舉出所有存在可能的轉移，各個轉移都會產生一個嶄新的狀態(tài)空間。然后，在這個葉節(jié)點的基礎上，會持續(xù)長出新的葉節(jié)點，直到最后不會長出新的葉節(jié)點。在此可達樹上，不同的節(jié)點分別代表了某一特定時刻的全局狀態(tài)矩陣，其動態(tài)地充分體現了兩個或者兩個以上協(xié)議實體或者進程的交互活動。

3.3 基于時序邏輯的協(xié)議描述與驗證

當前存在的時序邏輯種類有很多，它們隨時間結構的不同，那么算子的選擇與會出現一定的差異。時序邏輯在網絡協(xié)議驗證中的應用已經較為成熟，它具有很高的數學抽象能力，主要注重于通過定義系統(tǒng)外部能夠所見的行為事件描述系統(tǒng)。也就是直接去描述系統(tǒng)的輸入/輸出行為，不會過多關注到協(xié)議實體的內部發(fā)生變化，被人們廣泛應用在對網絡通信協(xié)議各種性質的分析驗證工作上。

4 結論

綜上所述，工作人員為了保障計算機網絡通信協(xié)議的完整性、正確性以及規(guī)范性，相關必須通過高效應用各種驗證技術對其進行檢驗測試工作，這樣才能夠促使網絡通信協(xié)議更好的服務于廣大計算機網絡用戶，不斷提高計算機系統(tǒng)的運行質量和效率。

參考文獻

[1]彭勃.計算機網絡通信協(xié)議驗證技術的研究[J].信息系統(tǒng)及應用，2013（50）：36-38.

[2]芳基.于通信順序進程的計算機網絡通信協(xié)議形式化描述川.信息系統(tǒng)工程，2016（2）：121-123.

[3]石全民，何輝.網絡安全協(xié)議在計算機通信技術當中的作用與意義[J].中國建材科技，2015（4）：74-78.