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.


[img] PDF
Download (1038Kb)


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
Accepted Date and Publication Date:
September 2003Published
Date Deposited: 13 Sep 2007
Last Modified: 31 Mar 2016 14:06
Further Information:Google Scholar

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