Sciweavers

Share
FORTE
1997

On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions

8 years 8 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, including the checking of time constraints, the independence of the current state when starting the analysis, the admittance of nondeterminism, and on-line real time analysis capability. This is achieved by a suitable modeling of the implementation under test and the generalization of the tracing algorithm to operate on state information with any degree of uncertainty. FollowSM has been implemented as a prototype system and proved capable of minimizing the time required for troubleshooting. Keywords Trace analysis, time constraints, EFSM model, real time, passive monitoring
Marek Musial
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where FORTE
Authors Marek Musial
Comments (0)
books