291
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Tests Derivation from Model Based Formal Specifications

      proceedings-article
      3rd Irish Workshop on Formal Methods (IWFM)
      Formal Methods
      1st - 2nd July 1999
      Bookmark

            Abstract

            Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. In this work we suggest how state of the art practices in the area of testing can be applied to the systematic generation of tests from model-based formal specifications.

            Content

            Author and article information

            Conference
            July 1999
            July 1999
            : 1-12
            Affiliations
            [0001]CPM Department

            Institute of Technology Carlow

            Carlow, Eire
            Article
            10.14236/ewic/IWFM1999.11
            69d9930f-0653-444c-b4b6-2b0adb3f71ef
            © Christophe Meudec. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            3rd Irish Workshop on Formal Methods
            IWFM
            3
            Galway, Ireland
            1st - 2nd July 1999
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.11
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article