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 条
  • [1] An integrated requirements specification and validation framework for model-based systems
    Jiang, Michael
    Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, 2006, : 307 - 312
  • [2] A Requirements Specification Case Study with ProjectIT-Studio/Requirements
    Ferreira, David
    da Silva, Alberto Rodrigues
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 656 - 657
  • [3] Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
    Mashkoor, Atif
    Leuschel, Michael
    Egyed, Alexander
    2021 ACM/IEEE 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2021), 2021, : 1 - 5
  • [4] Domain consistency in requirements specification
    Acharya, S
    Mohanty, H
    George, C
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 231 - 238
  • [5] PARTIAL HYPERBOLICITY AND SPECIFICATION
    Sumi, Naoya
    Varandas, Paulo
    Yamamoto, Kenichiro
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2016, 144 (03) : 1161 - 1170
  • [6] Incremental requirements specification withLotos
    K. J. Turner
    Requirements Engineering, 1997, 2 (3) : 132 - 151
  • [7] A specification and validation technique based on STATEMATE and FNLOG
    Mosbahi, O
    Jemni, L
    Ben Ahmed, S
    Jaray, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 216 - 220
  • [8] ASDeX: a formal specification for analog circuit enabling a full automated design validation
    Ma, Mingyu
    Hedrich, Lars
    Sporrer, Christian
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2014, 18 (1-2) : 99 - 118
  • [9] ASDeX: a formal specification for analog circuit enabling a full automated design validation
    Mingyu Ma
    Lars Hedrich
    Christian Sporrer
    Design Automation for Embedded Systems, 2014, 18 : 99 - 118
  • [10] Specification, estimation and validation of a pedestrian walking behavior model
    Robin, Th.
    Antonini, G.
    Bierlaire, M.
    Cruz, J.
    TRANSPORTATION RESEARCH PART B-METHODOLOGICAL, 2009, 43 (01) : 36 - 56
12345