Tests Derivation from Model Based Formal Specifications

Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. In this work we suggest how state of the art practices in the area of testing can be applied to the systematic generation of tests from model-based formal specifications.

Content

Author and article information

Conference

Publication date: July 1999

Publication date (Print): July 1999

Pages: 1-12

Affiliations

[0001]CPM Department

Institute of Technology Carlow

Carlow, Eire

Article

DOI: 10.14236/ewic/IWFM1999.11

SO-VID: 69d9930f-0653-444c-b4b6-2b0adb3f71ef

License:

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/

Conference name: 3rd Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 3

Conference location: Galway, Ireland

Conference date: 1st - 2nd July 1999

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.11

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Tests Derivation from Model Based Formal Specifications

Abstract