By Topic

Partial validation of a design specification with respect to requirements

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)
Besse, C. ; Inst. Nat. des Telecommun., Evry ; Cavalli, A.

The paper presents a method for partial validation of system design specifications. In the method presented, the requirements are given as a set of views described with MSC and referred to as a set of MSCR. The design specification can be given in any formal language. Our method allows for the verification, against each MSCR , of each simulation of the design specification collected into a MSC and referred to as MSCT in the paper. For the verification of MSCT against MSCR, we introduce a conformance relation and an algorithm to verify this relation. Our method is illustrated with an example, the INRES protocol

Published in:

Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on

Date of Conference: