在车载网(vehicular ad hoc networks,VANETs)中将源节点通信范围内的所有节点看作目的节点,在介质访问层耗时很小,因此,常采用广播通信技术分发VANETs的安全消息。然而,广播通信缺乏请求发送RTS/清除发送CTS(request-tosend/clear-to-s...在车载网(vehicular ad hoc networks,VANETs)中将源节点通信范围内的所有节点看作目的节点,在介质访问层耗时很小,因此,常采用广播通信技术分发VANETs的安全消息。然而,广播通信缺乏请求发送RTS/清除发送CTS(request-tosend/clear-to-send)握手连接环节以及数据包确认机制,通信易受干扰,促使通信可靠性下降。为此,提出VANETs中安全消息分发性能评估模型。该模型假定VANETs具有两类级别消息。此外,考虑IEEE 802.11广播协议并使用二维马尔可夫模型(2-D Markov modeling),推导了低级周期性消息LPPMs(low-priority periodic messages)在传输模式和退避阶段的数目的联合概率分布,并利用该联合概率分布推导出高级事件驱动型消息LPEMs(high-priority event-driven messages)的平均传输时延,其有利于网络参数间折衷,如车辆传输范围、安全消息产生率以及介质访问控制MAC(medium access control)参数,通过合适地选择参数,使其满足LPEMs对延时的高要求。展开更多
A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical ...A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.展开更多
基金Project(05JT1035) supported by the Science and Technology Plan of Hunan Province
文摘A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.
