Blog
About

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

      Test Generation for Duration Systems

      , , , ,

      First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)

      Verification and Evaluation of Computer and Communication Systems

      5-6 May 2007

      Real-Time, Duration Systems, Testing, Approximation method, Digitization

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We are interested in generating tests for duration systems modeling real-time systems. The specification of a duration system is given as a duration graph. Duration graphs are an extension of timed graphs and are suitable for modeling the accumulated times spent by computations within the considered duration system.

          In this paper, we present a method for generating tests for duration systems based on the so-called approximation method. First, we use the approximation method to extend the specification model into an approximate model. The latter contains the digitization computations of the initial model. Test trees are then extracted from the approximate model. We explain how the obtained digital-test trees can be executed in an analog-fashion.

          Related collections

          Most cited references 6

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Testing Concurrent Systems: A Formal Approach

           Jan Tretmans (1999)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Black-Box Conformance Testing for Real-Time Systems

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Timed Testing with TorX

                Bookmark

                Author and article information

                Contributors
                Conference
                May 2007
                May 2007
                : 1-14
                Affiliations
                Verimag Laboratory,

                Centre Equation 2,

                avenue de Vignate,

                38610, Giéres, France.
                LIP2 Laboratory and

                Polytechnic School of Tunisia
                Verimag Laboratory and

                Cadence Berkeley Labs,

                1995 University avenue,

                Suite 460, Berkeley,

                CA 94704, USA.
                Article
                10.14236/ewic/VECOS2007.11
                © Saddek Bensalem et al. Published by BCS Learning and Development Ltd. First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), Algiers, Algeria

                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/

                First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)
                VECOS
                1
                Algiers, Algeria
                5-6 May 2007
                Electronic Workshops in Computing (eWiC)
                Verification and Evaluation of Computer and Communication Systems
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article