By Topic

Component interaction testing using model-checking

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

2 Author(s)
Liu, W. ; Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada ; Dasiewicz, P.

The Component Interaction Testing project uses model-checking technology to generate test cases from formal models. To model component interactions, we develop an object-oriented modelling language with formal semantics suitable for defining interaction coverage criteria. To analyze the large models of software components, we develop new algorithms for test generation that can analyze much larger models than previously possible. We have shown the feasibility of interaction test generation by an experiment on a design of a realistic real-time system. Using the modelling language, a detailed formal model was simple to create. The model is far beyond the capability of standard algorithms, but, using the new algorithms, useful subsets of the model can be analyzed

Published in:

Electrical and Computer Engineering, 2001. Canadian Conference on  (Volume:1 )

Date of Conference: