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. In, System Testing and Validation Workshop, The , Netherlands, IEEE Press, 225-233.

Download

[img] PDF
Download (1038Kb)

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
ISBNs: 07695221812004
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 262735
Date Deposited: 13 Sep 2007
Last Modified: 27 Mar 2014 20:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262735

Actions (login required)

View Item View Item

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