• DocumentCode
    1041766
  • Title

    Formal specification and design time testing

  • Author

    Gerrard, Christopher Paul ; Coleman, Derek ; Gallimore, Robin M.

  • Author_Institution
    Gerrard Software, Macclesfield, UK
  • Volume
    16
  • Issue
    1
  • fYear
    1990
  • fDate
    1/1/1990 12:00:00 AM
  • Firstpage
    1
  • Lastpage
    12
  • Abstract
    It is shown how design time testing can be used in conjunction with formal specification. Emphasis is placed on the benefits of using an executable specification language OBJ, of having a design controlled by requirements specification, and of adherence to the regularity and uniformity hypotheses in dynamic validation. It is shown that such an approach offers positive benefits by providing early design validation and a controlled, disciplined design process
  • Keywords
    formal specification; specification languages; design time testing; executable specification language OBJ; formal specification; regularity; uniformity; Computer languages; Costs; Equations; Formal specifications; Process control; Process design; Software design; Software testing; Specification languages; System testing;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.44359
  • Filename
    44359
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1041766