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
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
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
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, .
(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.
This record has no associated files available for download.
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
Catalogue record
Date deposited: 03 Dec 2019 17:30
Last modified: 17 Mar 2024 03:45
Export record
Altmetrics
Contributors
Author:
Dana Dghaym
Author:
Tomas Fischer
Author:
Thai Son Hoang
Author:
Klaus Reichl
Author:
Colin Snook
Author:
Rupert Schlick
Author:
Peter Tummeltshammer
Editor:
Andrea Leitner
Editor:
Daniel Watzenig
Editor:
Javier Ibanez-Guzman
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