loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP'03)
Model-Based Approaches for Validating Business Critical Systems
Amsterdam, The Netherlands
September 19-September 21
ISBN: 0-7695-2218-1
ASCII Text
x 
 
J. Augusto, Y. Howard, A. Gravell, C. Ferreira, S. Gruner, M. Leuschel, "Model-Based Approaches for Validating Business Critical Systems," Software Technology and Engineering Practice, International Workshop on, pp. 225-233, Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/STEP.2003.19,
author = {J. Augusto and Y. Howard and A. Gravell and C. Ferreira and S. Gruner and M. Leuschel},
title = {Model-Based Approaches for Validating Business Critical Systems},
journal ={Software Technology and Engineering Practice, International Workshop on},
volume = {0},
year = {2003},
isbn = {0-7695-2218-1},
pages = {225-233},
doi = {http://doi.ieeecomputersociety.org/10.1109/STEP.2003.19},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Technology and Engineering Practice, International Workshop on
TI - Model-Based Approaches for Validating Business Critical Systems
SN - 0-7695-2218-1
SP225
EP233
A1 - J. Augusto,
A1 - Y. Howard,
A1 - A. Gravell,
A1 - C. Ferreira,
A1 - S. Gruner,
A1 - M. Leuschel,
PY - 2003
KW - null
VL - 0
JA - Software Technology and Engineering Practice, International Workshop on
ER -
 
J. Augusto, University of Southampton
Y. Howard, University of Southampton
A. Gravell, University of Southampton
C. Ferreira, University of Southampton
S. Gruner, University of Southampton
M. Leuschel, University of Southampton

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 ans testing we use model-based tests and trace-driven model checking. As a result 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.

Citation:
J. Augusto, Y. Howard, A. Gravell, C. Ferreira, S. Gruner, M. Leuschel, "Model-Based Approaches for Validating Business Critical Systems," step, pp.225-233, Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.