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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 262735 |
| Date Deposited: | 13 Sep 2007 |
| Last Modified: | 02 Mar 2012 12:20 |
| Contributors: | Augusto, J (Author) Howard, Y (Author) Gravell, A (Author) Ferreira, C (Author) Gruner, S (Author) Leuschel, M (Author) |
| Date: | September 2003 |
| Additional Information: | Event Dates: September, 2003 |
| Status: | Published |
| Publisher: | IEEE Press |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/262735 |
Actions (login required)
 |
View Item |
