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 条
  • [41] A value-oriented specification for weak sequencing validation
    Bouabana-Tebibel, Thouraya
    Rubin, Stuart H.
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 245 - 252
  • [42] Methods for the Specification and Validation of Geolocation Accuracy and Predicted Accuracy
    Dolloff, John
    Carr, Jacqueline
    GEOSPATIAL INFORMATICS, FUSION, AND MOTION VIDEO ANALYTICS VII, 2017, 10199
  • [43] SPECIFICATION AND DESIGN OF SHARED RESOURCE ARBITRATION
    BROY, M
    STREICHER, T
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1991, 20 (01) : 1 - 22
  • [44] Formal specification methods in engineering design
    Boriani, DV
    ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
  • [45] Design Understanding: From Logic to Specification
    Fey, Goerschwin
    Ghasempouri, Tara
    Jacobs, Swen
    Martino, Gianluca
    Raik, Jaan
    Riener, Heinz
    PROCEEDINGS OF THE 2018 26TH IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2018, : 172 - 175
  • [46] THE ASIP DESIGN SPECIFICATION BASED ON ADL
    Zhu Yong
    DCABES 2009: THE 8TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, PROCEEDINGS, 2009, : 372 - 374
  • [47] Meta-requirement Method Towards Analyzing Completeness of Requirements Specification
    Ong, Muhamad Idaham Umar
    Ameedeen, Mohamed Ariff
    Kamarudin, Imran Edzereiq
    PROCEEDINGS OF THE FUTURE TECHNOLOGIES CONFERENCE (FTC) 2018, VOL 2, 2019, 881 : 444 - 454
  • [48] DESIGN SPECIFICATION AND EVALUATION TOOL FOR DESIGN ENGINEERING AND ITS MANAGEMENT
    Hosnedl, S.
    Dvorak, J.
    Srp, Z.
    Kopecky, M.
    11TH INTERNATIONAL DESIGN CONFERENCE (DESIGN 2010), VOL 1-3, 2010, : 799 - 810
  • [49] FORMAL SPECIFICATION, VALIDATION AND PERFORMANCE EVALUATION OF THE XPRESS TRANSFER PROTOCOL
    BUDKOWSKI, S
    ALKHECHI, B
    BENALYCHERIF, ML
    DEMBINSKI, P
    GARDIE, M
    LALLET, E
    LAFOSSE, JPM
    SOUISSI, Y
    PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 191 - 206
  • [50] Improving simulation specification with MBSE for better simulation validation and reuse
    Sohier, Henri
    Lamothe, Pascal
    Guermazi, Sahar
    Yagoubi, Mouadh
    Menegazzi, Pascal
    Maddaloni, Aldo
    SYSTEMS ENGINEERING, 2021, 24 (06) : 425 - 438
12345