The University of Southampton
University of Southampton Institutional Repository

Systematic verification and testing

Systematic verification and testing
Systematic verification and testing
In this chapter, we present a process pattern for model based specification, verification and testing. It combines concepts of behaviour driven development (BDD), graphical and formal, mathematical modelling, formal verification techniques, acceptance testing and model based testing. The rigorous approach helps to ensure that for highly dependable systems, dependability (e.g. safety) requirements are fulfilled and both the specified and the implemented behaviour are as desired. It helps bridging the gap between natural language or semi-formal requirements and mathematical abstraction. Furthermore, it addresses the issue that formal modelling expertise and domain knowledge are rarely held by the same set of people.
89-104
Springer, Cham
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Fischer, Tomas
2d38d5a2-37f5-444d-89ef-9e2ddce89e09
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Schlick, Rupert
dbd21213-7d1e-47c6-afe5-9bd7e228c847
Tummeltshammer, Peter
cc3e1edb-28e7-4b15-824b-8c618d98460a
Leitner, Andrea
Watzenig, Daniel
Ibanez-Guzman, Javier
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Fischer, Tomas
2d38d5a2-37f5-444d-89ef-9e2ddce89e09
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Reichl, Klaus
51d614c8-72dc-4722-8c4a-bbcb26ce7897
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Schlick, Rupert
dbd21213-7d1e-47c6-afe5-9bd7e228c847
Tummeltshammer, Peter
cc3e1edb-28e7-4b15-824b-8c618d98460a
Leitner, Andrea
Watzenig, Daniel
Ibanez-Guzman, Javier

Dghaym, Dana, Fischer, Tomas, Hoang, Thai Son, Reichl, Klaus, Snook, Colin, Schlick, Rupert and Tummeltshammer, Peter (2019) Systematic verification and testing. In, Leitner, Andrea, Watzenig, Daniel and Ibanez-Guzman, Javier (eds.) Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project. Springer Nature Switzerland AG 2020. Springer, Cham, pp. 89-104. (doi:10.1007/978-3-030-14628-3_9).

Record type: Book Section

Abstract

In this chapter, we present a process pattern for model based specification, verification and testing. It combines concepts of behaviour driven development (BDD), graphical and formal, mathematical modelling, formal verification techniques, acceptance testing and model based testing. The rigorous approach helps to ensure that for highly dependable systems, dependability (e.g. safety) requirements are fulfilled and both the specified and the implemented behaviour are as desired. It helps bridging the gap between natural language or semi-formal requirements and mathematical abstraction. Furthermore, it addresses the issue that formal modelling expertise and domain knowledge are rarely held by the same set of people.

Full text not available from this repository.

More information

e-pub ahead of print date: 11 November 2019

Identifiers

Local EPrints ID: 436183
URI: http://eprints.soton.ac.uk/id/eprint/436183
PURE UUID: 924a3759-3fc0-4f47-bc98-415d405eca0c
ORCID for Dana Dghaym: ORCID iD orcid.org/0000-0002-2196-2749
ORCID for Thai Son Hoang: ORCID iD orcid.org/0000-0003-4095-0732
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 03 Dec 2019 17:30
Last modified: 15 Aug 2020 01:46

Export record

Altmetrics

Contributors

Author: Dana Dghaym ORCID iD
Author: Tomas Fischer
Author: Thai Son Hoang ORCID iD
Author: Klaus Reichl
Author: Colin Snook ORCID iD
Author: Rupert Schlick
Author: Peter Tummeltshammer
Editor: Andrea Leitner
Editor: Daniel Watzenig
Editor: Javier Ibanez-Guzman

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×