Loading [MathJax]/extensions/MathMenu.js
Model-based approaches for validating business critical systems | IEEE Conference Publication | IEEE Xplore

Model-based approaches for validating business critical systems


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 o...Show More

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/AtellerB, can be used to implement this idea. As a way to reinforce integration between modelling and testing we use model-based tests and trace-driven model checking. As a result we were able to anticipate problems and guide the development of our software in a safer way, increasing our understanding of the system and its reliability.
Date of Conference: 19-21 September 2003
Date Added to IEEE Xplore: 27 December 2004
Print ISBN:0-7695-2218-1
Conference Location: Amsterdam

Contact IEEE to Subscribe

References

References is not available for this document.