Model-Based Approaches for Validating Business Critical Systems
Model-Based Approaches for Validating Business Critical Systems
Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relationship between modelling and testing. We illustrate how different modelling frameworks, Promela/SPIN and B/ProB/AtelierB, can be used to implement this idea. As a way to reinforce integration between modelling and testing, we were able to anticipate problems and guide the development of our software in a safer way, increasing our understanding of the system and its reliability
0-7695-2218-1, 2004
225-233
Augusto, J
174b5fe2-eb22-47d2-8aad-fb9200935d12
Howard, Y
8aecbf0f-ed6a-4ce6-9530-5fa43226a3b0
Gravell, A
f3a261c5-f057-4b5f-b6ac-c1ca37d72749
Ferreira, C
ff0f1e0e-ceca-42e8-b7d4-9b30fb7100fb
Gruner, S
a8a44670-4557-48ba-a6a0-3c90fabc26c4
Leuschel, M
38ca23f7-0d9b-4fe9-8388-f0d3a533e263
September 2003
Augusto, J
174b5fe2-eb22-47d2-8aad-fb9200935d12
Howard, Y
8aecbf0f-ed6a-4ce6-9530-5fa43226a3b0
Gravell, A
f3a261c5-f057-4b5f-b6ac-c1ca37d72749
Ferreira, C
ff0f1e0e-ceca-42e8-b7d4-9b30fb7100fb
Gruner, S
a8a44670-4557-48ba-a6a0-3c90fabc26c4
Leuschel, M
38ca23f7-0d9b-4fe9-8388-f0d3a533e263
Augusto, J, Howard, Y, Gravell, A, Ferreira, C, Gruner, S and Leuschel, M
(2003)
Model-Based Approaches for Validating Business Critical Systems.
System Testing and Validation Workshop, The, Netherlands.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relationship between modelling and testing. We illustrate how different modelling frameworks, Promela/SPIN and B/ProB/AtelierB, can be used to implement this idea. As a way to reinforce integration between modelling and testing, we were able to anticipate problems and guide the development of our software in a safer way, increasing our understanding of the system and its reliability
Text
step2003.pdf
- Other
More information
Published date: September 2003
Additional Information:
Event Dates: September, 2003
Venue - Dates:
System Testing and Validation Workshop, The, Netherlands, 2003-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262735
URI: http://eprints.soton.ac.uk/id/eprint/262735
ISBN: 0-7695-2218-1, 2004
PURE UUID: 6ad7aaac-e9a6-4b89-b875-795ce6fd0b08
Catalogue record
Date deposited: 13 Sep 2007
Last modified: 14 Mar 2024 07:17
Export record
Contributors
Author:
J Augusto
Author:
Y Howard
Author:
A Gravell
Author:
C Ferreira
Author:
S Gruner
Author:
M Leuschel
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