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

      Test Generation for Duration Systems

      proceedings-article

      , , , ,

      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

      Bookmark

            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.

            Content

            Author and article information

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

            Centre Equation 2,

            avenue de Vignate,

            38610, Giéres, France.
            [0002]LIP2 Laboratory and

            Polytechnic School of Tunisia
            [0003]Verimag Laboratory and

            Cadence Berkeley Labs,

            1995 University avenue,

            Suite 460, Berkeley,

            CA 94704, USA.
            Article
            10.14236/ewic/VECOS2007.11
            b29d9c7d-1e56-4be2-943e-7fdf31eab09d
            © 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