Automated Model-based Software Testing

  • Nielsen, Brian (Project Manager)
  • Mikucionis, Marius (Project Participant)
  • Skou, Arne (Project Participant)
  • Justesen, Johannes (Project Participant)
  • Riisgaard-Jensen, Martin (Project Participant)
  • Madsen, Kim Bjerregård (Project Participant)

Project Details


The company Skov A/S develops intelligent controllers for climate control of live-stock stables. These controllers are characterized by large and complex functionality implemented by embedded software. Today testing is to a large a manual and informal proces, and test cases is only to some extent implemented as scripts that can be executed automatically. This is very monotonous, error prone and labour intensive. The research community envision model-based testing, where a formal state model is used as basis for automated test generation and test execution, as a means for improving testing. Model-based testing appear promising for automating the testing process and for improving the effectiveness of the test campaign. The project performs experiments with model-based testing in the application domain of Skov, and will evaluate both academic and commercial tools. The goal is to improve testing practices in Skov, and introduce model-based testing in their practical development process.
Effective start/end date01/06/200631/05/2007

Collaborative partners

  • SKOV AS (Project partner)


  • <ingen navn>


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.