Model-Based Approaches for Validating Business Critical Systems


Augusto, J, Howard, Y, Gravell, A, Ferreira, C, Gruner, S and Leuschel, M (2003) Model-Based Approaches for Validating Business Critical Systems At System Testing and Validation Workshop, Netherlands. , pp. 225-233.

Download

[img] PDF step2003.pdf - Other
Download (1MB)

Description/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 sysytem and its reliability

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: September, 2003
Venue - Dates: System Testing and Validation Workshop, Netherlands, 2003-09-01
Organisations: Electronic & Software Systems
ePrint ID: 262735
Date :
Date Event
September 2003Published
Date Deposited: 13 Sep 2007
Last Modified: 17 Apr 2017 21:37
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262735

Actions (login required)

View Item View Item