Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A Comparison of the BTT and TTF Test-Generation Methods

      Legeard, Bruno; Peureux, Fabien; Utting, Mark
      Link
       www.springerlink.com
      Find in your library  
      Citation
      Export citation
      Legeard, B. Peureux, F. & Utting, M.(2002). A Comparison of the BTT and TTF Test-Generation Methods. In D. Bert et al. (Eds.), Proceedings of 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 (pp. 115-122). Berlin: Springer.
      Permanent Research Commons link: https://hdl.handle.net/10289/1409
      Abstract
      This paper compares two methods of generating tests from formal specifications. The Test Template Framework (TTF) method is a framework and set of heuristics for manually generating test sets from a Z specification. The B Testing Tools (BTT) method uses constraint logic programming techniques to generate test sequences from a B specification. We give a concise description of each method, then compare them on an industrial case study, which is a subset of the GSM 11.11 smart card specification.
      Date
      2002
      Type
      Conference Contribution
      Publisher
      Springer
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement