Partial validation of a design specification with respect to requirements

被引：0
|
作者：
Besse, C [1 ]
Cavalli, A [1 ]
Khendek, F [1 ]
机构：
[1] INT, Evry, France
来源：
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2001年
关键词：
specification; validation; requirement; MSC; SDL; MSC views; MSC traces;
D O I：
10.1109/APAQS.2001.990011
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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 and 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.
引用
收藏
页码：131 / 140
页数：10
相关论文
共 50 条
  • [31] TECHNICAL SPECIFICATION FOR THE VALIDATION OF REMOTE SENSING PRODUCTS
    Ge, Y.
    Li, X.
    Hu, M. G.
    Wang, J. H.
    Jin, R.
    Wang, J. F.
    Zhang, R. H.
    8TH INTERNATIONAL SYMPOSIUM ON SPATIAL DATA QUALITY, 2013, 40-2 (w1): : 13 - 17
  • [32] Development, specification and validation of Hurricane Resiliency Index
    Cui, Yuepeng
    Liang, Daan
    Ewing, Bradley T.
    Nejat, Ali
    NATURAL HAZARDS, 2016, 82 (03) : 2149 - 2165
  • [33] Specification and validation of a concurrent system: An educational project
    Berthelot G.
    Petrucci L.
    International Journal on Software Tools for Technology Transfer, 2001, 3 (04) : 372 - 381
  • [34] Development, specification and validation of Hurricane Resiliency Index
    Yuepeng Cui
    Daan Liang
    Bradley T. Ewing
    Ali Nejat
    Natural Hazards, 2016, 82 : 2149 - 2165
  • [35] Requirements Structure for System Requirements Formal Modelling, Verification and Validation
    Bacquet, Cyril
    Marange, Pascale
    Bonjour, Eric
    Kerbrat, Alain
    IFAC PAPERSONLINE, 2024, 58 (19): : 289 - 294
  • [36] Software requirements specification: an overview from the theoretical background checking
    Toro, A.
    Galvez, J. G.
    ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
  • [37] A FRAMEWORK FOR EXPRESSING THE RELATIONSHIPS BETWEEN MULTIPLE VIEWS IN REQUIREMENTS SPECIFICATION
    NUSEIBEH, B
    KRAMER, J
    FINKELSTEIN, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (10) : 760 - 773
  • [38] Software Requirements Specification from a new paradigm perspective: aspects
    Ventura Roque-Hernandez, Ramon
    Diaz-Redondo, Rebeca
    Fernandez-Vilas, Ana
    CIENCIAUAT, 2012, 6 (03) : 56 - 59
  • [39] Best Practices for Requirements Validation Process
    Santana, Sonia R.
    Antonelli, Leandro R.
    Thomas, Pablo J.
    COMPUTER SCIENCE, CACIC 2021, 2022, 1584 : 139 - 156
  • [40] REQUIREMENTS VALIDATION THROUGH VIEWPOINT RESOLUTION
    LEITE, JCSD
    FREEMAN, PA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (12) : 1253 - 1269
12345