• DocumentCode
    2876816
  • Title

    Generation of test data from algebraic specifications

  • Author

    Gaudel, M.-C. ; Marre, B.

  • Author_Institution
    Univ. of Paris-South, Orsay, France
  • fYear
    1988
  • fDate
    19-21 Jul 1988
  • Firstpage
    138
  • Lastpage
    139
  • Abstract
    As soon as formal specifications are used in software development, it becomes possible to use these specifications to generate implementation-independent test data. In the case of algebraic specifications, these specifications consist of a structured enumeration of properties required for the system. Thus, they provide a test strategy: for each required property, the program is used to test the formula which is supposed to be valid
  • Keywords
    program testing; software engineering; specification languages; algebraic specifications; formal specifications; software development; test data; Automatic testing; Delay; Equations; Formal specifications; Logic programming; Software testing; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
  • Conference_Location
    Banff, Alta.
  • Print_ISBN
    0-8186-0868-4
  • Type

    conf

  • DOI
    10.1109/WST.1988.5367
  • Filename
    5367
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2876816