2009 35th Euromicro Conference on Software Engineering and Advanced Applications A Step Towards a More Practical Protocol Conformance Checking Algorithm Patras, Greece August 27-August 29 ISBN: 978-0-7695-3784-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.50
In previous works we suggested an approach to verify if in a component-based system the interaction behavior to a component obeys the specified requirements.We can capture unbounded recursion, synchronous method calls and call backs as well as asynchronous method calls and unbounded parallel behavior including synchronization.In an industrial environment we have the problem, that extensive use of synchronizations results in an unacceptable verification time. In this paper we will describe an approach leading to a better practical applicability.
Index Terms:
model checking, component-based software, protocol conformance, false negatives, Process Rewrite Systems
Citation:
Andreas Both, Wolf Zimmermann, "A Step Towards a More Practical Protocol Conformance Checking Algorithm," seaa, pp.458-465, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb