Tölvunarfræðideild

Viðburðir

ICE-TCS seminar: Mohammad Reza Mousavi, Model-Based Testing: From Theory to Practice and Back

  • 21.8.2013, 14:00 - 15:00

Speaker: Mohammad Reza Mousavi (Halmstad University)

When: 21st of August at 15:30

Where: M104

Model-Based Testing: From Theory to Practice and Back



Abstract:
Testing and debugging are indispensable parts of software development and count for more than half of the development time and cost. However, the theory of testing is still in its infancy and has not developed yet fully into a rigorous discipline.

In this talk, we present a foundational approach to model-based testing and show how we applied it in testing an operational financial system. Then, we reflect on the shortcomings we encountered while applying the theory and report on our ongoing theoretical work to remedy the encountered shortcomings.