loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second Asia-Pacific Conference on Quality Software (APAQS'01)
Partial Validation of a Design Specification with Respect to Requirements
Hong Kong
December 10-December 11
ISBN: 0-7695-1287-9
ASCII Text
x 
 
C. Besse, A. Cavalli, F. Khendek, "Partial Validation of a Design Specification with Respect to Requirements," Asia-Pacific Conference on Quality Software, pp. 0131, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APAQS.2001.990011,
author = {C. Besse and A. Cavalli and F. Khendek},
title = {Partial Validation of a Design Specification with Respect to Requirements},
journal ={Asia-Pacific Conference on Quality Software},
volume = {0},
year = {2001},
isbn = {0-7695-1287-9},
pages = {0131},
doi = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990011},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Conference on Quality Software
TI - Partial Validation of a Design Specification with Respect to Requirements
SN - 0-7695-1287-9
SP
EP
A1 - C. Besse,
A1 - A. Cavalli,
A1 - F. Khendek,
PY - 2001
KW - Specification
KW - Validation
KW - Requirement
KW - MSC
KW - SDL
KW - MSC views
KW - MSC traces
VL - 0
JA - Asia-Pacific Conference on Quality Software
ER -
 
C. Besse, INT, Evry, FRANCE
A. Cavalli, INT, Evry, FRANCE
F. Khendek, Concordia University
This paper presents a method for partial validation of system design specifications. In our method, 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 an referred to as MSCT in this 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.
Index Terms:
Specification, Validation, Requirement, MSC, SDL, MSC views, MSC traces
Citation:
C. Besse, A. Cavalli, F. Khendek, "Partial Validation of a Design Specification with Respect to Requirements," apaqs, pp.0131, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.