隨著近年汽車產業的快速發展，電子產品廣泛應用于汽車控制，如發動機控制系統、轉向系統、制動系統等裝置中都采用電子控制單元ECU（Electronic Control Unit）［1］。一些高檔的轎車大約有70個ECU，ECU之間傳遞的信息超過2500條［2］。為了使ECU之間實現信息共享，誕生了在汽車控制系統中應用的互聯網絡，即車載網絡。隨著汽車中電子單元的增加，網絡越來越復雜，ECU在通信時，可能由于其他節點未上線或出現故障而造成信息丟失，所以需要專門的網絡管理組件對車載網絡進行管理，以達到車載網絡信息傳輸準確性、安全性的目的。
　　OSEK/VDX （Open Systems and the Corresponding Interfaces for Automotive Electronics/Vehicle Distributed eXecutive） 是歐洲主要的汽車廠商和研究機構聯合提出的一種基于汽車電子開放式系統及其接口的軟件標準。鑒于汽車網絡的安全性和可靠性，OSEK/VDX中的網絡管理NM（Network Management）規范提供了標準的管理策略，通過接口和服務來實現汽車網絡中ECU節點的監控和管理［3］。OSEK/VDX規范對網絡管理提出直接網絡管理和間接網絡管理兩種實現機制。
　　OSEK/VDX規范是通過自然語言和圖表形式進行描述的，程序開發人員在根據規范編寫應用程序時，可能因為對規范的不同理解、編寫代碼時的失誤等原因，導致應用程序與規范的不一致。對于安全性有極高要求的汽車電子系統而言，這種現象是不允許的。因此，有必要通過一致性測試來判斷開發的應用程序是否符合預定規范。近年來，學術界對OSEK OS（OSEK Operation System）的一致性測試方法提出了一些解決方案。參考文獻［4］提出了一種OSEK OS服務調用規范的一致性測試方法，參考文獻［5］設計了一種OSEK OS一致性測試用例生成的方法，但是很少對OSEK NM的一致性測試做相應研究。
　　本文在深入研究OSEK網絡管理規范的基礎上提出了一種OSEK NM一致性測試方法，設計出一種基于直接網絡管理功能的測試架構，并定義了測試方案、測試報文的數據結構和測試流程。
　　1 OSEK直接網絡管理基本原理
　　在OSEK NM規范中，直接網絡管理是一種自組織形式網絡管理。網絡中節點之間沒有主從之分，每個節點都被網絡中其他的節點監控，同時該節點也監控網絡中的其他節點。直接網絡管理通過邏輯環對車載網絡進行管理與監控，如圖1所示為直接網絡管理邏輯環的體系結構。連接在總線上的A、B、C 3個節點都擁有自己唯一的網絡管理身份標識ID，且IDA《IDB《IDC，根據ID的大小，以A→B→C→A的順序傳輸特定的網絡管理報文，形成一個虛擬邏輯環。在邏輯環中連接的所有節點按照邏輯環規定的方向發送特定的網絡管理報文，實現直接網絡管理功能。
　　
　　圖2所示為直接網絡管理的狀態模型。通過網絡管理服務的調用和網絡通信狀況的改變，引起網絡管理狀態的遷移，如調用StartNM（）服務可啟動網絡管理功能，使節點的狀態從NMOff轉為NMOn。
　　
　　在直接網絡管理中，為了滿足通信和網絡管理的需要，網絡管理協議數據單元NMPDU（NM Protocol Data Unit）包括地址域、控制域和數據域。圖3是網絡管理協議數據單元的基本格式。其中，Source ID表示網絡管理報文的源地址，即發送該網絡管理報文的節點