By Topic

Passive Testing of Timed Systems with Timeouts

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Merayo, M.G. ; Dept. Sist. Informaticos y Comput., Univ. Complutense de Madrid, Madrid, Spain

This paper presents a framework to perform passive testing for systems where time aspects affect their behavior. Temporal aspects can be associated with both performance of actions and delays/timeouts. Actually, timeouts have the capability of affecting the subsequent behaviors of the system. Therefore, the expected functional behavior of the studied systems must take into account the possible timeouts. In our approach, so called invariants represent the most relevant expected properties of the implementation under test. We present algorithms to decide both the correctness of the proposed invariants with respect to a given specification and the correctness of the traces extracted from the implementation under test with respect to a set of invariants. The soundness of the method related to a specific implementation relation is also shown.

Published in:

Quality Software (QSIC), 2012 12th International Conference on

Date of Conference:

27-29 Aug. 2012