Augusto, J, Howard, Y, Gravell, A, Ferreira, C, Gruner, S and Leuschel, M
Model-Based Approaches for Validating Business Critical Systems.
In, System Testing and Validation Workshop, The , Netherlands,
IEEE Press, .
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 sysytem and its reliability
Actions (login required)