• DocumentCode
    2340541
  • Title

    Partial validation of a design specification with respect to requirements

  • Author

    Besse, Camille ; Cavalli, Ana

  • Author_Institution
    Inst. Nat. des Telecommun., Evry
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    131
  • Lastpage
    140
  • Abstract
    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
  • Keywords
    conformance testing; formal languages; formal specification; program verification; INRES protocol; MSC traces; MSC views; MSCR; MSCT; SDL; conformance relation verification; formal language; partial validation; specification validation; system design specifications; Algorithm design and analysis; Automata; Logic; Programming; Protocols; Quality control; Software systems; Software testing; Specification languages; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
  • Conference_Location
    Hong Kong
  • Print_ISBN
    0-7695-1287-9
  • Type

    conf

  • DOI
    10.1109/APAQS.2001.990011
  • Filename
    990011
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2340541