Model-based test

MODELBASED TEST
– ALTERNATIVE APPROACH TO TESTING
Benefits from model based development and testing:

  • easy to maintain model (MMI flow charts, use cases)
  • customer is capable of reviewing model
  • functionality is broken into manageable units
  • easy to make manual and automated test scripts

usecase1_100

 

THE UPPAAL TESTING TOOL
– ADVANCED MODELBASED TESTING
The uppaal testing tool :

  • MMI flow charts: state diagrams
  • use cases: state diagrams
  • automatic test scripting from state diagrams
  • including test coverage
  • real-time modelling
  • model simulation
  • finds dead locks in model

Benefits by using the uppaal testing tool :

  • testing specification tool
  • life sequence diagrams
  • easy generation of test scripts
  • model-based automatic test
  • true agile testing

uppaal2_151_94uppaal-edit-150_97

 

 

 

AGILE TESTING

– RECOMMENDATIONS FROM ELDOTEK
Software iteration:

  • Only test on fully implemented functions
  • Testing through the eyes of the customer

Regular (intermediant) releases:

  • Test on intermediant releases
  • No functional additions during agile test
  • Only fatal error corrections during test period
  • Timebox testing with appropriate charters

Joining the agile development:

  • Attend (daily) development stand-up meetings
  • Contribute to estimation of product quality
  • Automating weekly exploratory tests

agiletest154_91